Skip to content

Actions: 4ever2/metacoq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12 workflow runs
12 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Nix rev ci Nix CI for bundle coq-8.19 #12: Pull request #3 synchronize by 4ever2
October 15, 2024 10:04 1h 19m 1s nix-rev-ci
nix-rev-ci
October 15, 2024 10:04 1h 19m 1s
CI test Nix CI for bundle coq-8.19 #11: Pull request #4 synchronize by 4ever2
October 15, 2024 09:12 28s nix-rev-ci-test
nix-rev-ci-test
October 15, 2024 09:12 28s
CI test Nix CI for bundle coq-8.19 #10: Pull request #4 synchronize by 4ever2
October 14, 2024 15:47 1h 27m 45s nix-rev-ci-test
nix-rev-ci-test
October 14, 2024 15:47 1h 27m 45s
CI test Nix CI for bundle coq-8.19 #9: Pull request #4 opened by 4ever2
October 14, 2024 15:43 2m 33s nix-rev-ci-test
nix-rev-ci-test
October 14, 2024 15:43 2m 33s
Nix rev ci Nix CI for bundle coq-8.19 #8: Pull request #3 opened by 4ever2
October 13, 2024 12:09 1h 18m 26s nix-rev-ci
nix-rev-ci
October 13, 2024 12:09 1h 18m 26s
Nix test 2 Nix CI for bundle coq-8.19 #7: Pull request #2 synchronize by 4ever2
October 12, 2024 14:50 3m 8s nix2
nix2
October 12, 2024 14:50 3m 8s
Nix test 2 Nix CI for bundle coq-8.19 #6: Pull request #2 opened by 4ever2
October 12, 2024 14:43 3m 39s nix2
nix2
October 12, 2024 14:43 3m 39s
Nix test Nix CI for bundle coq-8.19 #5: Pull request #1 synchronize by 4ever2
October 12, 2024 13:48 45m 54s nix
nix
October 12, 2024 13:48 45m 54s
Nix test Nix CI for bundle coq-8.19 #4: Pull request #1 synchronize by 4ever2
October 12, 2024 12:30 40m 31s nix
nix
October 12, 2024 12:30 40m 31s
Nix test Nix CI for bundle coq-8.19 #3: Pull request #1 synchronize by 4ever2
October 12, 2024 02:30 1h 18m 12s nix
nix
October 12, 2024 02:30 1h 18m 12s
Nix test Nix CI for bundle coq-8.19 #2: Pull request #1 synchronize by 4ever2
October 12, 2024 02:11 16m 32s nix
nix
October 12, 2024 02:11 16m 32s
Nix test Nix CI for bundle coq-8.19 #1: Pull request #1 opened by 4ever2
October 11, 2024 21:34 39m 20s nix
nix
October 11, 2024 21:34 39m 20s