Skip to content

Actions: weakmemory/promising-ir-coq

Actions

Nix CI for bundle 8.16

Actions

Loading...
Loading

Show workflow options

Create status badge

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