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 54m 0s
October 16, 2023 15:10 54m 0s
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 26m 52s
October 16, 2023 15:09 26m 52s
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 48m 26s main-updates-8.18
main-updates-8.18
October 16, 2023 13:39 48m 26s
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 49m 19s
October 16, 2023 13:39 49m 19s
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 37m 8s coq-8.18-updates-8.17
coq-8.18-updates-8.17
October 16, 2023 13:37 37m 8s
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 3m 38s main
main
October 1, 2023 19:07 1h 3m 38s
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 12m 42s
September 26, 2023 11:53 12m 42s
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 12m 52s
September 22, 2023 13:45 12m 52s
Remove Int31 Nix CI for bundle coq-dev #64: Pull request #983 opened by Villetaneuse
September 14, 2023 07:24 47m 7s
September 14, 2023 07:24 47m 7s
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 10m 28s main
main
September 4, 2023 20:27 10m 28s
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 2h 46m 25s dependabot/github_actions/main/actions/checkout-4
dependabot/github_actions/main/actions/checkout-4
September 4, 2023 16:59 2h 46m 25s
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 28m 59s
September 4, 2023 16:59 2h 28m 59s
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 16s 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 16s
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 1h 2m 16s
September 4, 2023 16:59 1h 2m 16s
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 2m 13s main
main
August 31, 2023 16:43 2m 13s
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 55m 17s
August 31, 2023 15:14 55m 17s