Skip to content

Actions: weakmemory/promising-ir-coq

Actions

Nix CI for bundle 8.18

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
6 workflow runs
6 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Removed all version of Coq from CI except for 8.18 Nix CI for bundle 8.18 #6: Commit b441d94 pushed by anlun
October 23, 2023 16:32 4m 0s dev-add-nix
dev-add-nix
October 23, 2023 16:32 4m 0s
Added Coq 8.15 to CI Nix CI for bundle 8.18 #5: Commit da203b7 pushed by anlun
October 23, 2023 16:19 6m 6s dev-add-nix
dev-add-nix
October 23, 2023 16:19 6m 6s
Added Coq 8.15 to CI Nix CI for bundle 8.18 #4: Commit 990b6af pushed by anlun
October 23, 2023 16:07 5m 36s dev-add-nix
dev-add-nix
October 23, 2023 16:07 5m 36s
Added testing on 8.16 and 8.17 Nix CI for bundle 8.18 #3: Commit adcc2e6 pushed by anlun
October 23, 2023 15:51 8m 29s dev-add-nix
dev-add-nix
October 23, 2023 15:51 8m 29s
Fixed for iTree stuff Nix CI for bundle 8.18 #2: Commit b45ecac pushed by InnocentusLime
October 20, 2023 12:44 7m 5s dev-add-nix
dev-add-nix
October 20, 2023 12:44 7m 5s
Added CI Nix CI for bundle 8.18 #1: Commit 22a669d pushed by anlun
October 20, 2023 08:27 7m 17s dev-add-nix
dev-add-nix
October 20, 2023 08:27 7m 17s