Skip to content

Actions: LPCIC/coq-elpi

Actions

Nix CI for bundle coq-8.20

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-coq-8.20.yml
360 workflow runs
360 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #746 from patrick-nicodemus/rewrite Nix CI for bundle coq-8.20 #335: Commit eab6181 pushed by gares
January 23, 2025 20:01 48m 32s master
master
January 23, 2025 20:01 48m 32s
Merge pull request #752 from erikmd/patch-1 Nix CI for bundle coq-8.20 #334: Commit 153ebf9 pushed by gares
January 23, 2025 19:51 51m 9s master
master
January 23, 2025 19:51 51m 9s
Adapt to coq/coq#19985 (template poly has pseudo sort poly) Nix CI for bundle coq-8.20 #333: Pull request #742 synchronize by SkySkimmer
January 23, 2025 14:19 43m 35s
January 23, 2025 14:19 43m 35s
Merge pull request #750 from proux01/fix_748 Nix CI for bundle coq-8.20 #332: Commit acee920 pushed by gares
January 23, 2025 14:13 13m 46s master
master
January 23, 2025 14:13 13m 46s
fix(ci.yml): Use coqorg/coq:8.20 as a future-proof image name Nix CI for bundle coq-8.20 #331: Pull request #752 opened by erikmd
January 23, 2025 12:29 46m 16s
January 23, 2025 12:29 46m 16s
Fix #748 (coq.typecheck-indt-decl failing) Nix CI for bundle coq-8.20 #330: Pull request #750 synchronize by proux01
January 23, 2025 09:58 47m 16s
January 23, 2025 09:58 47m 16s
Fix #748 (coq.typecheck-indt-decl failing) Nix CI for bundle coq-8.20 #329: Pull request #750 synchronize by proux01
January 23, 2025 08:53 46m 41s
January 23, 2025 08:53 46m 41s
Fix #748 (coq.typecheck-indt-decl failing) Nix CI for bundle coq-8.20 #328: Pull request #750 synchronize by proux01
January 22, 2025 15:17 46m 9s
January 22, 2025 15:17 46m 9s
Merge pull request #751 from proux01/ci-update Nix CI for bundle coq-8.20 #327: Commit a2d9f43 pushed by gares
January 22, 2025 15:14 48m 42s master
master
January 22, 2025 15:14 48m 42s
Merge pull request #749 from SkySkimmer/record-share-ind Nix CI for bundle coq-8.20 #326: Commit 52a62d8 pushed by gares
January 22, 2025 15:14 43m 21s master
master
January 22, 2025 15:14 43m 21s
[CI] Remove currently unused file Nix CI for bundle coq-8.20 #325: Pull request #751 synchronize by proux01
January 22, 2025 14:44 12m 53s
January 22, 2025 14:44 12m 53s
[CI] Remove currently unused file Nix CI for bundle coq-8.20 #324: Pull request #751 opened by proux01
January 22, 2025 13:55 47m 2s
January 22, 2025 13:55 47m 2s
Fix #748 (coq.typecheck-indt-decl failing) Nix CI for bundle coq-8.20 #323: Pull request #750 synchronize by proux01
January 22, 2025 13:33 42m 37s
January 22, 2025 13:33 42m 37s
Fix #748 (coq.typecheck-indt-decl failing) Nix CI for bundle coq-8.20 #322: Pull request #750 opened by proux01
January 22, 2025 11:03 7m 32s
January 22, 2025 11:03 7m 32s
Created rewrite tactic Nix CI for bundle coq-8.20 #321: Pull request #746 synchronize by patrick-nicodemus
January 21, 2025 21:32 53m 28s
January 21, 2025 21:32 53m 28s
apply tactic, similar to rewrite Nix CI for bundle coq-8.20 #320: Pull request #747 synchronize by patrick-nicodemus
January 21, 2025 21:00 48m 6s
January 21, 2025 21:00 48m 6s
Adapt to coq/coq#20095 (record.ml API changes) Nix CI for bundle coq-8.20 #319: Pull request #749 opened by SkySkimmer
January 21, 2025 16:51 49m 39s
January 21, 2025 16:51 49m 39s
apply tactic, similar to rewrite Nix CI for bundle coq-8.20 #318: Pull request #747 synchronize by patrick-nicodemus
January 19, 2025 18:14 45m 45s
January 19, 2025 18:14 45m 45s
apply tactic, similar to rewrite Nix CI for bundle coq-8.20 #317: Pull request #747 synchronize by patrick-nicodemus
January 19, 2025 18:13 46m 22s
January 19, 2025 18:13 46m 22s
Created rewrite tactic Nix CI for bundle coq-8.20 #316: Pull request #746 synchronize by patrick-nicodemus
January 19, 2025 18:02 49m 11s
January 19, 2025 18:02 49m 11s
apply tactic, similar to rewrite Nix CI for bundle coq-8.20 #315: Pull request #747 synchronize by patrick-nicodemus
January 19, 2025 17:36 39m 27s
January 19, 2025 17:36 39m 27s
Created rewrite tactic Nix CI for bundle coq-8.20 #314: Pull request #746 synchronize by patrick-nicodemus
January 19, 2025 17:25 33m 0s
January 19, 2025 17:25 33m 0s
apply tactic, similar to rewrite Nix CI for bundle coq-8.20 #313: Pull request #747 opened by patrick-nicodemus
January 19, 2025 17:18 55m 41s
January 19, 2025 17:18 55m 41s
Created rewrite tactic Nix CI for bundle coq-8.20 #312: Pull request #746 synchronize by patrick-nicodemus
January 19, 2025 17:04 45m 42s
January 19, 2025 17:04 45m 42s
Created rewrite tactic Nix CI for bundle coq-8.20 #311: Pull request #746 synchronize by patrick-nicodemus
January 19, 2025 16:53 54m 39s
January 19, 2025 16:53 54m 39s