Skip to content

Actions: MetaCoq/metacoq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
693 workflow runs
693 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix definition of Transform.t's observational equivalence preservation MetaCoq CI #2353: Commit 09a7d18 pushed by mattam82
July 7, 2023 16:29 1h 9m 34s verified_erasure_pipeline
verified_erasure_pipeline
July 7, 2023 16:29 1h 9m 34s
remove assumption MetaCoq CI #2352: Commit eae214e pushed by yforster
July 6, 2023 13:39 1h 4m 46s verified_erasure_pipeline
verified_erasure_pipeline
July 6, 2023 13:39 1h 4m 46s
adapt name pass to not consider box MetaCoq CI #2351: Commit 582aca5 pushed by yforster
July 6, 2023 13:21 1h 14m 9s verified_erasure_pipeline
verified_erasure_pipeline
July 6, 2023 13:21 1h 14m 9s
split out verified erasure pipeline MetaCoq CI #2350: Commit 4d7bc44 pushed by yforster
July 6, 2023 06:56 1h 10m 0s verified_erasure_pipeline
verified_erasure_pipeline
July 6, 2023 06:56 1h 10m 0s
Merge pull request #972 from ppedrot/rm-elim-case-type MetaCoq CI #2349: Commit 6843d48 pushed by ppedrot
July 5, 2023 16:19 1h 9m 3s main
main
July 5, 2023 16:19 1h 9m 3s
Merge pull request #972 from ppedrot/rm-elim-case-type Nix CI for bundle coq-dev #56: Commit 6843d48 pushed by ppedrot
July 5, 2023 16:19 11m 16s main
main
July 5, 2023 16:19 11m 16s
Merge pull request #972 from ppedrot/rm-elim-case-type Nix CI for bundle coq-dev #56: Commit 6843d48 pushed by ppedrot
July 5, 2023 16:19 2m 12s main
main
July 5, 2023 16:19 2m 12s
Adapt w.r.t. coq/coq#17781. MetaCoq CI #2348: Pull request #972 synchronize by ppedrot
July 5, 2023 13:51 1h 44m 17s ppedrot:rm-elim-case-type
ppedrot:rm-elim-case-type
July 5, 2023 13:51 1h 44m 17s
Adapt w.r.t. coq/coq#17781. Nix CI for bundle coq-dev #55: Pull request #972 synchronize by ppedrot
July 5, 2023 13:51 1h 25m 33s
July 5, 2023 13:51 1h 25m 33s
Adapt w.r.t. coq/coq#17781. Nix CI for bundle coq-dev #55: Pull request #972 synchronize by ppedrot
July 5, 2023 13:51 2h 27m 27s
July 5, 2023 13:51 2h 27m 27s
Bump cachix/install-nix-action from 20 to 22 (#974) Nix CI for bundle coq-dev #54: Commit d956431 pushed by JasonGross
July 5, 2023 13:26 2h 9m 25s main
main
July 5, 2023 13:26 2h 9m 25s
Bump cachix/install-nix-action from 20 to 22 (#974) Nix CI for bundle coq-dev #54: Commit d956431 pushed by JasonGross
July 5, 2023 13:26 1h 53m 20s main
main
July 5, 2023 13:26 1h 53m 20s
Bump cachix/install-nix-action from 20 to 22 (#974) MetaCoq CI #2347: Commit d956431 pushed by JasonGross
July 5, 2023 13:26 2h 6m 4s main
main
July 5, 2023 13:26 2h 6m 4s
Bump cachix/install-nix-action from 21 to 22 (#973) Nix CI for bundle coq-8.16 #703: Commit 943cc72 pushed by JasonGross
July 5, 2023 13:25 1h 9m 11s coq-8.16
coq-8.16
July 5, 2023 13:25 1h 9m 11s
Bump cachix/install-nix-action from 21 to 22 (#973) MetaCoq CI #2346: Commit 943cc72 pushed by JasonGross
July 5, 2023 13:25 1h 55m 3s coq-8.16
coq-8.16
July 5, 2023 13:25 1h 55m 3s
Bump cachix/install-nix-action from 21 to 22 (#973) Nix CI for bundle coq-8.16 #705: Commit 943cc72 pushed by JasonGross
July 5, 2023 13:25 2h 9m 18s coq-8.16
coq-8.16
July 5, 2023 13:25 2h 9m 18s
Bump cachix/install-nix-action from 21 to 22 (#970) Nix CI for bundle coq-8.16 #702: Commit e8d0b36 pushed by JasonGross
July 5, 2023 13:25 1h 9m 32s coq-8.16
coq-8.16
July 5, 2023 13:25 1h 9m 32s
Bump cachix/install-nix-action from 21 to 22 (#970) Nix CI for bundle coq-8.16 #704: Commit e8d0b36 pushed by JasonGross
July 5, 2023 13:25 2h 10m 23s coq-8.16
coq-8.16
July 5, 2023 13:25 2h 10m 23s
Bump cachix/install-nix-action from 21 to 22 (#970) MetaCoq CI #2345: Commit e8d0b36 pushed by JasonGross
July 5, 2023 13:25 1h 38m 7s coq-8.16
coq-8.16
July 5, 2023 13:25 1h 38m 7s
Bump cachix/install-nix-action from 20 to 22 Nix CI for bundle coq-dev #53: Pull request #974 opened by dependabot bot
July 5, 2023 13:24 2h 2m 3s dependabot/github_actions/main/cachix/install-nix-action-22
dependabot/github_actions/main/cachix/install-nix-action-22
July 5, 2023 13:24 2h 2m 3s
Bump cachix/install-nix-action from 20 to 22 Nix CI for bundle coq-dev #53: Pull request #974 opened by dependabot bot
July 5, 2023 13:24 2h 1m 35s dependabot/github_actions/main/cachix/install-nix-action-22
dependabot/github_actions/main/cachix/install-nix-action-22
July 5, 2023 13:24 2h 1m 35s
Bump cachix/install-nix-action from 20 to 22 MetaCoq CI #2344: Pull request #974 opened by dependabot bot
July 5, 2023 13:24 1h 13m 58s dependabot/github_actions/main/cachix/install-nix-action-22
dependabot/github_actions/main/cachix/install-nix-action-22
July 5, 2023 13:24 1h 13m 58s
Bump cachix/install-nix-action from 20 to 22 Nix CI for bundle coq-dev #52: Pull request #974 opened by dependabot bot
July 5, 2023 13:24 1h 42m 34s
July 5, 2023 13:24 1h 42m 34s
Bump cachix/install-nix-action from 20 to 22 Nix CI for bundle coq-dev #52: Pull request #974 opened by dependabot bot
July 5, 2023 13:24 2m 59s
July 5, 2023 13:24 2m 59s
Bump cachix/install-nix-action from 20 to 22 MetaCoq CI #2343: Commit 79cdd34 pushed by dependabot bot
July 5, 2023 13:24 1h 7m 5s dependabot/github_actions/main/cachix/install-nix-action-22
dependabot/github_actions/main/cachix/install-nix-action-22
July 5, 2023 13:24 1h 7m 5s
ProTip! You can narrow down the results and go further in time using created:<2023-07-05 or the other filters available.