Skip to content

Actions: MetaCoq/metacoq

Actions

Nix CI for bundle coq-dev

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
16 workflow runs
16 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge 8.16 and 8.17 into 8.18 Nix CI for bundle coq-dev #72: Pull request #991 synchronize by yforster
October 16, 2023 15:10 1h 2m 35s
October 16, 2023 15:10 1h 2m 35s
Merge 8.16, 8.17 and 8.18 into main Nix CI for bundle coq-dev #71: Pull request #993 synchronize by yforster
October 16, 2023 15:09 1h 6m 29s
October 16, 2023 15:09 1h 6m 29s
Merge 8.16, 8.17 and 8.18 into main Nix CI for bundle coq-dev #70: Pull request #993 opened by yforster
October 16, 2023 13:39 51m 38s main-updates-8.18
main-updates-8.18
October 16, 2023 13:39 51m 38s
Merge 8.16, 8.17 and 8.18 into main Nix CI for bundle coq-dev #69: Pull request #993 opened by yforster
October 16, 2023 13:39 1h 0m 56s
October 16, 2023 13:39 1h 0m 56s
Merge 8.16 and 8.17 into 8.18 Nix CI for bundle coq-dev #68: Pull request #991 opened by yforster
October 16, 2023 13:37 1h 2m 48s coq-8.18-updates-8.17
coq-8.18-updates-8.17
October 16, 2023 13:37 1h 2m 48s
Merge pull request #983 from Villetaneuse/remove_Int31 Nix CI for bundle coq-dev #67: Commit 573587b pushed by tabareau
October 1, 2023 19:07 1h 8m 10s main
main
October 1, 2023 19:07 1h 8m 10s
Adapt to coq/coq#17836 (sort poly) Nix CI for bundle coq-dev #66: Pull request #984 synchronize by SkySkimmer
September 26, 2023 11:53 27m 40s
September 26, 2023 11:53 27m 40s
Adapt to coq/coq#17836 (sort poly) Nix CI for bundle coq-dev #65: Pull request #984 opened by SkySkimmer
September 22, 2023 13:45 27m 25s
September 22, 2023 13:45 27m 25s
Remove Int31 Nix CI for bundle coq-dev #64: Pull request #983 opened by Villetaneuse
September 14, 2023 07:24 1h 15m 2s
September 14, 2023 07:24 1h 15m 2s
Bump actions/checkout from 3 to 4 (#982) Nix CI for bundle coq-dev #63: Commit cde7d00 pushed by dependabot bot
September 4, 2023 20:27 17m 4s main
main
September 4, 2023 20:27 17m 4s
Bump actions/checkout from 3 to 4 Nix CI for bundle coq-dev #62: Pull request #982 opened by dependabot bot
September 4, 2023 16:59 3h 27m 1s dependabot/github_actions/main/actions/checkout-4
dependabot/github_actions/main/actions/checkout-4
September 4, 2023 16:59 3h 27m 1s
Bump actions/checkout from 3 to 4 Nix CI for bundle coq-dev #61: Pull request #982 opened by dependabot bot
September 4, 2023 16:59 2h 50m 4s
September 4, 2023 16:59 2h 50m 4s
Bump cachix/install-nix-action from 22 to 23 Nix CI for bundle coq-dev #60: Pull request #981 opened by dependabot bot
September 4, 2023 16:59 1h 11m 17s dependabot/github_actions/main/cachix/install-nix-action-23
dependabot/github_actions/main/cachix/install-nix-action-23
September 4, 2023 16:59 1h 11m 17s
Bump cachix/install-nix-action from 22 to 23 Nix CI for bundle coq-dev #59: Pull request #981 opened by dependabot bot
September 4, 2023 16:59 2h 44m 36s
September 4, 2023 16:59 2h 44m 36s
Merge pull request #975 from herbelin/master+adapt-coq-pr17991-refold… Nix CI for bundle coq-dev #58: Commit 657eb6a pushed by tabareau
August 31, 2023 16:43 7m 40s main
main
August 31, 2023 16:43 7m 40s
Adapt to coq PR #17991 which lets "simpl" refolds partial applications of fixpoints Nix CI for bundle coq-dev #57: Pull request #975 opened by herbelin
August 31, 2023 15:14 1h 24m 30s
August 31, 2023 15:14 1h 24m 30s