Skip to content

Actions: weakmemory/hahn

Actions

Nix CI for bundle 8.17

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-8.17.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.17 #8: Commit 067fe35 pushed by anlun
May 10, 2024 10:31 3m 31s testCoqNixToolboxVersion
testCoqNixToolboxVersion
May 10, 2024 10:31 3m 31s
Fixed compilation on Coq 8.17 and 8.18 Nix CI for bundle 8.17 #7: Commit 5439684 pushed by anlun
May 10, 2024 10:31 1m 32s testCoqNixToolboxVersion
testCoqNixToolboxVersion
May 10, 2024 10:31 1m 32s
Fixed compilation on Coq 8.17 and 8.18 Nix CI for bundle 8.17 #6: Commit 5439684 pushed by anlun
May 10, 2024 10:26 1m 21s master
master
May 10, 2024 10:26 1m 21s
Fixed compilation on Coq 8.17 and 8.18 Nix CI for bundle 8.17 #5: Commit 5439684 pushed by anlun
May 10, 2024 10:15 3m 37s test818
test818
May 10, 2024 10:15 3m 37s
Made compatible w/ Coq 8.19 Nix CI for bundle 8.17 #4: Commit 1025881 pushed by anlun
April 16, 2024 13:54 3m 16s master
master
April 16, 2024 13:54 3m 16s