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 #761 from proux01/param2-nicer-names Nix CI for bundle coq-8.20 #360: Commit 8335cf9 pushed by gares
January 30, 2025 21:45 23m 19s master
master
January 30, 2025 21:45 23m 19s
Change wording in documentation Nix CI for bundle coq-8.20 #359: Pull request #763 opened by patrick-nicodemus
January 30, 2025 17:12 46m 1s
January 30, 2025 17:12 46m 1s
small typo Nix CI for bundle coq-8.20 #358: Pull request #762 opened by patrick-nicodemus
January 30, 2025 17:04 48m 21s
January 30, 2025 17:04 48m 21s
Add nicer names in derive.param2 Nix CI for bundle coq-8.20 #357: Pull request #761 synchronize by proux01
January 30, 2025 09:06 48m 43s
January 30, 2025 09:06 48m 43s
Add nicer names in derive.param2 Nix CI for bundle coq-8.20 #356: Pull request #761 synchronize by proux01
January 29, 2025 16:16 47m 30s
January 29, 2025 16:16 47m 30s
Add derive.param2.register Nix CI for bundle coq-8.20 #355: Pull request #758 synchronize by proux01
January 29, 2025 07:49 44m 42s
January 29, 2025 07:49 44m 42s
Add nicer names in derive.param2 Nix CI for bundle coq-8.20 #354: Pull request #761 synchronize by proux01
January 29, 2025 07:48 43m 29s
January 29, 2025 07:48 43m 29s
Add derive.param2.register Nix CI for bundle coq-8.20 #353: Pull request #758 synchronize by proux01
January 29, 2025 07:16 5m 25s
January 29, 2025 07:16 5m 25s
Add nicer names in derive.param2 Nix CI for bundle coq-8.20 #352: Pull request #761 opened by proux01
January 29, 2025 07:15 6m 29s
January 29, 2025 07:15 6m 29s
Merge pull request #757 from proux01/ci-coq9 Nix CI for bundle coq-8.20 #351: Commit 83aaada pushed by gares
January 28, 2025 17:26 47m 25s master
master
January 28, 2025 17:26 47m 25s
Merge pull request #759 from proux01/param1-add-typecheck Nix CI for bundle coq-8.20 #350: Commit 5484806 pushed by gares
January 28, 2025 17:13 5m 20s master
master
January 28, 2025 17:13 5m 20s
[derive.param1] Add some missing universe constraints Nix CI for bundle coq-8.20 #349: Pull request #759 opened by proux01
January 28, 2025 13:48 6m 43s
January 28, 2025 13:48 6m 43s
Add derive.param2.register Nix CI for bundle coq-8.20 #348: Pull request #758 opened by proux01
January 28, 2025 13:37 6m 38s
January 28, 2025 13:37 6m 38s
[CI] Add Coq 9.0+rc1 Nix CI for bundle coq-8.20 #347: Pull request #757 opened by proux01
January 27, 2025 21:21 52m 43s proux01:ci-coq9
proux01:ci-coq9
January 27, 2025 21:21 52m 43s
[CI] Add Coq 9.0+rc1 Nix CI for bundle coq-8.20 #346: Pull request #757 opened by proux01
January 27, 2025 21:21 52m 14s
January 27, 2025 21:21 52m 14s
Merge pull request #753 from LPCIC/gares-patch-1 Nix CI for bundle coq-8.20 #345: Commit fd11b7a pushed by gares
January 25, 2025 22:25 31m 21s master
master
January 25, 2025 22:25 31m 21s
fix docker ci master Nix CI for bundle coq-8.20 #344: Pull request #753 synchronize by gares
January 25, 2025 21:59 51m 39s
January 25, 2025 21:59 51m 39s
fix docker ci master Nix CI for bundle coq-8.20 #343: Pull request #753 synchronize by gares
January 25, 2025 21:58 51m 50s
January 25, 2025 21:58 51m 50s
Merge pull request #754 from proux01/param2_coqeal Nix CI for bundle coq-8.20 #342: Commit 446c98b pushed by CohenCyril
January 24, 2025 11:23 22m 50s master
master
January 24, 2025 11:23 22m 50s
[derive] Add some missing universe constraints Nix CI for bundle coq-8.20 #341: Pull request #754 opened by proux01
January 24, 2025 09:47 46m 15s
January 24, 2025 09:47 46m 15s
Merge pull request #747 from patrick-nicodemus/apply Nix CI for bundle coq-8.20 #340: Commit cd0a9c3 pushed by gares
January 24, 2025 02:11 35m 33s master
master
January 24, 2025 02:11 35m 33s
fix docker ci master Nix CI for bundle coq-8.20 #339: Pull request #753 synchronize by gares
January 24, 2025 00:53 30m 50s
January 24, 2025 00:53 30m 50s
fix docker ci master Nix CI for bundle coq-8.20 #338: Pull request #753 opened by gares
January 24, 2025 00:37 46m 3s
January 24, 2025 00:37 46m 3s
apply tactic, similar to rewrite Nix CI for bundle coq-8.20 #337: Pull request #747 synchronize by gares
January 23, 2025 20:06 41m 25s
January 23, 2025 20:06 41m 25s
apply tactic, similar to rewrite Nix CI for bundle coq-8.20 #336: Pull request #747 synchronize by gares
January 23, 2025 20:05 41m 26s
January 23, 2025 20:05 41m 26s