Skip to content

Actions: LPCIC/coq-elpi

Actions

Nix CI for bundle coq-master

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-coq-master.yml
614 workflow runs
614 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-master #614: Commit 8335cf9 pushed by gares
January 30, 2025 21:45 1h 1m 39s master
master
January 30, 2025 21:45 1h 1m 39s
Change wording in documentation Nix CI for bundle coq-master #613: Pull request #763 opened by patrick-nicodemus
January 30, 2025 17:12 44m 23s
January 30, 2025 17:12 44m 23s
small typo Nix CI for bundle coq-master #612: Pull request #762 opened by patrick-nicodemus
January 30, 2025 17:04 49m 21s
January 30, 2025 17:04 49m 21s
Add nicer names in derive.param2 Nix CI for bundle coq-master #611: Pull request #761 synchronize by proux01
January 30, 2025 09:06 44m 27s
January 30, 2025 09:06 44m 27s
Add nicer names in derive.param2 Nix CI for bundle coq-master #610: Pull request #761 synchronize by proux01
January 29, 2025 16:16 45m 11s
January 29, 2025 16:16 45m 11s
Add derive.param2.register Nix CI for bundle coq-master #609: Pull request #758 synchronize by proux01
January 29, 2025 07:49 44m 24s
January 29, 2025 07:49 44m 24s
Add nicer names in derive.param2 Nix CI for bundle coq-master #608: Pull request #761 synchronize by proux01
January 29, 2025 07:48 44m 26s
January 29, 2025 07:48 44m 26s
Add derive.param2.register Nix CI for bundle coq-master #607: Pull request #758 synchronize by proux01
January 29, 2025 07:16 6m 27s
January 29, 2025 07:16 6m 27s
Add nicer names in derive.param2 Nix CI for bundle coq-master #606: Pull request #761 opened by proux01
January 29, 2025 07:15 7m 24s
January 29, 2025 07:15 7m 24s
Merge pull request #757 from proux01/ci-coq9 Nix CI for bundle coq-master #605: Commit 83aaada pushed by gares
January 28, 2025 17:26 45m 29s master
master
January 28, 2025 17:26 45m 29s
Merge pull request #759 from proux01/param1-add-typecheck Nix CI for bundle coq-master #604: Commit 5484806 pushed by gares
January 28, 2025 17:13 6m 52s master
master
January 28, 2025 17:13 6m 52s
[derive.param1] Add some missing universe constraints Nix CI for bundle coq-master #603: Pull request #759 opened by proux01
January 28, 2025 13:48 7m 35s
January 28, 2025 13:48 7m 35s
Add derive.param2.register Nix CI for bundle coq-master #602: Pull request #758 opened by proux01
January 28, 2025 13:37 11m 43s
January 28, 2025 13:37 11m 43s
[CI] Add Coq 9.0+rc1 Nix CI for bundle coq-master #601: Pull request #757 opened by proux01
January 27, 2025 21:21 46m 28s proux01:ci-coq9
proux01:ci-coq9
January 27, 2025 21:21 46m 28s
[CI] Add Coq 9.0+rc1 Nix CI for bundle coq-master #600: Pull request #757 opened by proux01
January 27, 2025 21:21 45m 30s
January 27, 2025 21:21 45m 30s
Merge pull request #753 from LPCIC/gares-patch-1 Nix CI for bundle coq-master #599: Commit fd11b7a pushed by gares
January 25, 2025 22:25 22m 40s master
master
January 25, 2025 22:25 22m 40s
fix docker ci master Nix CI for bundle coq-master #598: Pull request #753 synchronize by gares
January 25, 2025 21:59 45m 35s
January 25, 2025 21:59 45m 35s
fix docker ci master Nix CI for bundle coq-master #597: Pull request #753 synchronize by gares
January 25, 2025 21:58 46m 44s
January 25, 2025 21:58 46m 44s
Merge pull request #754 from proux01/param2_coqeal Nix CI for bundle coq-master #596: Commit 446c98b pushed by CohenCyril
January 24, 2025 11:23 47m 14s master
master
January 24, 2025 11:23 47m 14s
[derive] Add some missing universe constraints Nix CI for bundle coq-master #595: Pull request #754 opened by proux01
January 24, 2025 09:47 47m 38s
January 24, 2025 09:47 47m 38s
Merge pull request #747 from patrick-nicodemus/apply Nix CI for bundle coq-master #594: Commit cd0a9c3 pushed by gares
January 24, 2025 02:11 32m 0s master
master
January 24, 2025 02:11 32m 0s
fix docker ci master Nix CI for bundle coq-master #593: Pull request #753 synchronize by gares
January 24, 2025 00:53 34m 51s
January 24, 2025 00:53 34m 51s
fix docker ci master Nix CI for bundle coq-master #592: Pull request #753 opened by gares
January 24, 2025 00:37 48m 34s
January 24, 2025 00:37 48m 34s
apply tactic, similar to rewrite Nix CI for bundle coq-master #591: Pull request #747 synchronize by gares
January 23, 2025 20:06 37m 42s
January 23, 2025 20:06 37m 42s
apply tactic, similar to rewrite Nix CI for bundle coq-master #590: Pull request #747 synchronize by gares
January 23, 2025 20:05 38m 19s
January 23, 2025 20:05 38m 19s