Skip to content

Actions: weakmemory/hahn

Actions

Nix CI for bundle 8.19

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-8.19.yml
5 workflow runs
5 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Updated coq-nix-toolbox version Nix CI for bundle 8.19 #5: Commit 067fe35 pushed by anlun
May 10, 2024 10:31 3m 25s testCoqNixToolboxVersion
testCoqNixToolboxVersion
May 10, 2024 10:31 3m 25s
Fixed compilation on Coq 8.17 and 8.18 Nix CI for bundle 8.19 #4: Commit 5439684 pushed by anlun
May 10, 2024 10:31 1m 22s testCoqNixToolboxVersion
testCoqNixToolboxVersion
May 10, 2024 10:31 1m 22s
Fixed compilation on Coq 8.17 and 8.18 Nix CI for bundle 8.19 #3: Commit 5439684 pushed by anlun
May 10, 2024 10:26 1m 19s master
master
May 10, 2024 10:26 1m 19s
Fixed compilation on Coq 8.17 and 8.18 Nix CI for bundle 8.19 #2: Commit 5439684 pushed by anlun
May 10, 2024 10:15 3m 39s test818
test818
May 10, 2024 10:15 3m 39s
Made compatible w/ Coq 8.19 Nix CI for bundle 8.19 #1: Commit 1025881 pushed by anlun
April 16, 2024 13:54 7m 42s master
master
April 16, 2024 13:54 7m 42s