Skip to content

Actions: MetaCoq/metacoq

Actions

Nix CI for bundle coq-8.19

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

Nix CI reverse dependency compatibility testing Nix CI for bundle coq-8.19 #4: Pull request #1107 synchronize by 4ever2
December 17, 2024 13:46 2h 47m 55s 4ever2:nix-rev-ci
4ever2:nix-rev-ci
December 17, 2024 13:46 2h 47m 55s
Nix CI reverse dependency compatibility testing Nix CI for bundle coq-8.19 #3: Pull request #1107 synchronize by 4ever2
October 31, 2024 15:14 2h 48m 7s 4ever2:nix-rev-ci
4ever2:nix-rev-ci
October 31, 2024 15:14 2h 48m 7s
Nix CI reverse dependency compatibility testing Nix CI for bundle coq-8.19 #2: Pull request #1107 synchronize by 4ever2
October 29, 2024 22:00 2h 45m 59s 4ever2:nix-rev-ci
4ever2:nix-rev-ci
October 29, 2024 22:00 2h 45m 59s
Nix CI reverse dependency compatibility testing Nix CI for bundle coq-8.19 #1: Pull request #1107 opened by 4ever2
October 15, 2024 11:47 1h 18m 35s 4ever2:nix-rev-ci
4ever2:nix-rev-ci
October 15, 2024 11:47 1h 18m 35s