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

Update dependabot.yml to check main, not master Nix CI for bundle coq-8.16 #703: Commit a738c55 pushed by JasonGross
July 5, 2023 13:24 1m 17s coq-8.16
coq-8.16
July 5, 2023 13:24 1m 17s
Update dependabot.yml to check main, not master Nix CI for bundle coq-8.16 #701: Commit a738c55 pushed by JasonGross
July 5, 2023 13:24 2h 0m 31s coq-8.16
coq-8.16
July 5, 2023 13:24 2h 0m 31s
Update dependabot.yml to check main, not master MetaCoq CI #2342: Commit a738c55 pushed by JasonGross
July 5, 2023 13:24 1h 18m 17s coq-8.16
coq-8.16
July 5, 2023 13:24 1h 18m 17s
Bump cachix/install-nix-action from 21 to 22 MetaCoq CI #2341: Pull request #973 opened by dependabot bot
July 5, 2023 13:23 1h 6m 51s dependabot/github_actions/coq-8.16/cachix/install-nix-action-22
dependabot/github_actions/coq-8.16/cachix/install-nix-action-22
July 5, 2023 13:23 1h 6m 51s
Bump cachix/install-nix-action from 21 to 22 Nix CI for bundle coq-8.16 #700: Pull request #973 opened by dependabot bot
July 5, 2023 13:23 53m 30s dependabot/github_actions/coq-8.16/cachix/install-nix-action-22
dependabot/github_actions/coq-8.16/cachix/install-nix-action-22
July 5, 2023 13:23 53m 30s
Bump cachix/install-nix-action from 21 to 22 Nix CI for bundle coq-8.16 #702: Pull request #973 opened by dependabot bot
July 5, 2023 13:23 2h 7m 28s dependabot/github_actions/coq-8.16/cachix/install-nix-action-22
dependabot/github_actions/coq-8.16/cachix/install-nix-action-22
July 5, 2023 13:23 2h 7m 28s
Bump cachix/install-nix-action from 21 to 22 Nix CI for bundle coq-8.16 #699: Pull request #973 opened by dependabot bot
July 5, 2023 13:23 1h 0m 41s
July 5, 2023 13:23 1h 0m 41s
Bump cachix/install-nix-action from 21 to 22 Nix CI for bundle coq-8.16 #701: Pull request #973 opened by dependabot bot
July 5, 2023 13:23 3m 11s
July 5, 2023 13:23 3m 11s
Bump cachix/install-nix-action from 21 to 22 MetaCoq CI #2340: Commit 2f8056f pushed by dependabot bot
July 5, 2023 13:22 1h 21m 39s dependabot/github_actions/coq-8.16/cachix/install-nix-action-22
dependabot/github_actions/coq-8.16/cachix/install-nix-action-22
July 5, 2023 13:22 1h 21m 39s
Update dependabot.yml to also update other branches MetaCoq CI #2339: Commit f5967d8 pushed by JasonGross
July 5, 2023 13:22 1h 14m 46s coq-8.16
coq-8.16
July 5, 2023 13:22 1h 14m 46s
Update dependabot.yml to also update other branches Nix CI for bundle coq-8.16 #698: Commit f5967d8 pushed by JasonGross
July 5, 2023 13:22 44m 15s coq-8.16
coq-8.16
July 5, 2023 13:22 44m 15s
Update dependabot.yml to also update other branches Nix CI for bundle coq-8.16 #700: Commit f5967d8 pushed by JasonGross
July 5, 2023 13:22 1m 45s coq-8.16
coq-8.16
July 5, 2023 13:22 1m 45s
Adapt w.r.t. coq/coq#17781. MetaCoq CI #2338: Pull request #972 opened by ppedrot
July 5, 2023 09:41 1h 15m 52s ppedrot:rm-elim-case-type
ppedrot:rm-elim-case-type
July 5, 2023 09:41 1h 15m 52s
Adapt w.r.t. coq/coq#17781. Nix CI for bundle coq-dev #51: Pull request #972 opened by ppedrot
July 5, 2023 09:41 50m 3s
July 5, 2023 09:41 50m 3s
Adapt w.r.t. coq/coq#17781. Nix CI for bundle coq-dev #51: Pull request #972 opened by ppedrot
July 5, 2023 09:41 1m 16s
July 5, 2023 09:41 1m 16s
Merge pull request #971 from SkySkimmer/comind-level-compute Nix CI for bundle coq-dev #50: Commit b6fbe4f pushed by ppedrot
July 5, 2023 09:22 1m 18s main
main
July 5, 2023 09:22 1m 18s
Merge pull request #971 from SkySkimmer/comind-level-compute Nix CI for bundle coq-dev #50: Commit b6fbe4f pushed by ppedrot
July 5, 2023 09:22 53m 40s main
main
July 5, 2023 09:22 53m 40s
Merge pull request #971 from SkySkimmer/comind-level-compute MetaCoq CI #2337: Commit b6fbe4f pushed by ppedrot
July 5, 2023 09:22 1h 4m 56s main
main
July 5, 2023 09:22 1h 4m 56s
Use : Set explicitly when needed MetaCoq CI #2336: Pull request #971 opened by SkySkimmer
July 4, 2023 16:10 57m 19s SkySkimmer:comind-level-compute
SkySkimmer:comind-level-compute
July 4, 2023 16:10 57m 19s
Use : Set explicitly when needed Nix CI for bundle coq-dev #49: Pull request #971 opened by SkySkimmer
July 4, 2023 16:10 58m 42s
July 4, 2023 16:10 58m 42s
Use : Set explicitly when needed Nix CI for bundle coq-dev #49: Pull request #971 opened by SkySkimmer
July 4, 2023 16:10 1m 12s
July 4, 2023 16:10 1m 12s
Fix sneaky, useless Prop <= Type use that was breaking certified erasure MetaCoq CI #2335: Commit e0794e3 pushed by mattam82
June 28, 2023 12:15 1h 6m 47s coq-8.17
coq-8.17
June 28, 2023 12:15 1h 6m 47s
Fix a sneaky Prop <= Type use messing up certified erasure Nix CI for bundle coq-8.16 #697: Commit 6899a1a pushed by mattam82
June 28, 2023 12:08 1h 3m 15s coq-8.16
coq-8.16
June 28, 2023 12:08 1h 3m 15s
Fix a sneaky Prop <= Type use messing up certified erasure MetaCoq CI #2334: Commit 6899a1a pushed by mattam82
June 28, 2023 12:08 1h 19m 45s coq-8.16
coq-8.16
June 28, 2023 12:08 1h 19m 45s
Fix a sneaky Prop <= Type use messing up certified erasure Nix CI for bundle coq-8.16 #699: Commit 6899a1a pushed by mattam82
June 28, 2023 12:08 1m 16s coq-8.16
coq-8.16
June 28, 2023 12:08 1m 16s
ProTip! You can narrow down the results and go further in time using created:<2023-06-28 or the other filters available.