Skip to content

Actions: weakmemory/promising-ir-coq

Actions

Nix CI for bundle 8.15

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
3 workflow runs
3 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
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.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