Skip to content

Actions: weakmemory/promising-ir-coq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
17 workflow runs
17 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.15 #3: Commit b441d94 pushed by anlun
October 23, 2023 16:32 42s dev-add-nix
dev-add-nix
October 23, 2023 16:32 42s
Removed all version of Coq from CI except for 8.18 Nix CI for bundle 8.17 #4: Commit b441d94 pushed by anlun
October 23, 2023 16:32 47s dev-add-nix
dev-add-nix
October 23, 2023 16:32 47s
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
Removed all version of Coq from CI except for 8.18 Nix CI for bundle 8.16 #4: Commit b441d94 pushed by anlun
October 23, 2023 16:32 43s dev-add-nix
dev-add-nix
October 23, 2023 16:32 43s
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.15 #2: Commit da203b7 pushed by anlun
October 23, 2023 16:19 10m 16s dev-add-nix
dev-add-nix
October 23, 2023 16:19 10m 16s
Added Coq 8.15 to CI Nix CI for bundle 8.16 #3: Commit da203b7 pushed by anlun
October 23, 2023 16:19 5m 57s dev-add-nix
dev-add-nix
October 23, 2023 16:19 5m 57s
Added Coq 8.15 to CI Nix CI for bundle 8.17 #3: Commit da203b7 pushed by anlun
October 23, 2023 16:19 6m 53s dev-add-nix
dev-add-nix
October 23, 2023 16:19 6m 53s
Added Coq 8.15 to CI Nix CI for bundle 8.15 #1: Commit 990b6af pushed by anlun
October 23, 2023 16:07 37s dev-add-nix
dev-add-nix
October 23, 2023 16:07 37s
Added Coq 8.15 to CI Nix CI for bundle 8.16 #2: Commit 990b6af pushed by anlun
October 23, 2023 16:07 4m 55s dev-add-nix
dev-add-nix
October 23, 2023 16:07 4m 55s
Added Coq 8.15 to CI Nix CI for bundle 8.17 #2: Commit 990b6af pushed by anlun
October 23, 2023 16:07 6m 12s dev-add-nix
dev-add-nix
October 23, 2023 16:07 6m 12s
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.16 #1: Commit adcc2e6 pushed by anlun
October 23, 2023 15:51 9m 26s dev-add-nix
dev-add-nix
October 23, 2023 15:51 9m 26s
Added testing on 8.16 and 8.17 Nix CI for bundle 8.17 #1: Commit adcc2e6 pushed by anlun
October 23, 2023 15:51 7m 35s dev-add-nix
dev-add-nix
October 23, 2023 15:51 7m 35s
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