Skip to content

Actions: LPCIC/coq-elpi

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
104 workflow runs
104 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

small typo CI #65: Pull request #762 opened by patrick-nicodemus
January 30, 2025 17:04 5m 17s patrick-nicodemus:patch-2
patrick-nicodemus:patch-2
January 30, 2025 17:04 5m 17s
Add nicer names in derive.param2 CI #64: Pull request #761 synchronize by proux01
January 30, 2025 09:06 5m 17s proux01:param2-nicer-names
proux01:param2-nicer-names
January 30, 2025 09:06 5m 17s
Add nicer names in derive.param2 CI #63: Pull request #761 synchronize by proux01
January 29, 2025 16:16 5m 10s proux01:param2-nicer-names
proux01:param2-nicer-names
January 29, 2025 16:16 5m 10s
Add derive.param2.register CI #62: Pull request #758 synchronize by proux01
January 29, 2025 07:50 5m 9s proux01:param2-register
proux01:param2-register
January 29, 2025 07:50 5m 9s
Add nicer names in derive.param2 CI #61: Pull request #761 synchronize by proux01
January 29, 2025 07:48 5m 29s proux01:param2-nicer-names
proux01:param2-nicer-names
January 29, 2025 07:48 5m 29s
Add derive.param2.register CI #60: Pull request #758 synchronize by proux01
January 29, 2025 07:16 5m 7s proux01:param2-register
proux01:param2-register
January 29, 2025 07:16 5m 7s
Add nicer names in derive.param2 CI #59: Pull request #761 opened by proux01
January 29, 2025 07:15 5m 19s proux01:param2-nicer-names
proux01:param2-nicer-names
January 29, 2025 07:15 5m 19s
Merge pull request #757 from proux01/ci-coq9 CI #58: Commit 83aaada pushed by gares
January 28, 2025 17:26 5m 23s master
master
January 28, 2025 17:26 5m 23s
Merge pull request #759 from proux01/param1-add-typecheck CI #57: Commit 5484806 pushed by gares
January 28, 2025 17:13 5m 48s master
master
January 28, 2025 17:13 5m 48s
[derive.param1] Add some missing universe constraints CI #56: Pull request #759 opened by proux01
January 28, 2025 13:48 5m 39s proux01:param1-add-typecheck
proux01:param1-add-typecheck
January 28, 2025 13:48 5m 39s
Add derive.param2.register CI #55: Pull request #758 opened by proux01
January 28, 2025 13:37 5m 11s proux01:param2-register
proux01:param2-register
January 28, 2025 13:37 5m 11s
[CI] Add Coq 9.0+rc1 CI #54: Pull request #757 opened by proux01
January 27, 2025 21:21 3m 50s proux01:ci-coq9
proux01:ci-coq9
January 27, 2025 21:21 3m 50s
Merge pull request #753 from LPCIC/gares-patch-1 CI #53: Commit fd11b7a pushed by gares
January 25, 2025 22:25 5m 3s master
master
January 25, 2025 22:25 5m 3s
fix docker ci master CI #52: Pull request #753 synchronize by gares
January 25, 2025 21:59 5m 15s gares-patch-1
gares-patch-1
January 25, 2025 21:59 5m 15s
fix docker ci master CI #51: Pull request #753 synchronize by gares
January 25, 2025 21:58 5m 12s gares-patch-1
gares-patch-1
January 25, 2025 21:58 5m 12s
Merge pull request #754 from proux01/param2_coqeal CI #50: Commit 446c98b pushed by CohenCyril
January 24, 2025 11:23 5m 19s master
master
January 24, 2025 11:23 5m 19s
[derive] Add some missing universe constraints CI #49: Pull request #754 opened by proux01
January 24, 2025 09:47 6m 58s proux01:param2_coqeal
proux01:param2_coqeal
January 24, 2025 09:47 6m 58s
Merge pull request #747 from patrick-nicodemus/apply CI #48: Commit cd0a9c3 pushed by gares
January 24, 2025 02:11 5m 29s master
master
January 24, 2025 02:11 5m 29s
fix docker ci master CI #47: Pull request #753 synchronize by gares
January 24, 2025 00:53 5m 18s gares-patch-1
gares-patch-1
January 24, 2025 00:53 5m 18s
fix docker ci master CI #46: Pull request #753 opened by gares
January 24, 2025 00:37 5m 9s gares-patch-1
gares-patch-1
January 24, 2025 00:37 5m 9s
apply tactic, similar to rewrite CI #45: Pull request #747 synchronize by gares
January 23, 2025 20:06 5m 17s patrick-nicodemus:apply
patrick-nicodemus:apply
January 23, 2025 20:06 5m 17s
apply tactic, similar to rewrite CI #44: Pull request #747 synchronize by gares
January 23, 2025 20:05 4m 46s patrick-nicodemus:apply
patrick-nicodemus:apply
January 23, 2025 20:05 4m 46s
Merge pull request #746 from patrick-nicodemus/rewrite CI #43: Commit eab6181 pushed by gares
January 23, 2025 20:01 4m 57s master
master
January 23, 2025 20:01 4m 57s
Merge pull request #752 from erikmd/patch-1 CI #42: Commit 153ebf9 pushed by gares
January 23, 2025 19:51 4m 58s master
master
January 23, 2025 19:51 4m 58s
Adapt to coq/coq#19985 (template poly has pseudo sort poly) CI #41: Pull request #742 synchronize by SkySkimmer
January 23, 2025 14:19 6m 46s SkySkimmer:cominductive-lbound
SkySkimmer:cominductive-lbound
January 23, 2025 14:19 6m 46s