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

Remove Stdlib dependency CI #90: Pull request #767 synchronize by gares
February 7, 2025 10:30 4m 47s proux01:split-stdlib
proux01:split-stdlib
February 7, 2025 10:30 4m 47s
Merge pull request #770 from proux01/fix-766 CI #89: Commit c95de28 pushed by gares
February 7, 2025 08:48 5m 0s master
master
February 7, 2025 08:48 5m 0s
Remove Stdlib dependency CI #88: Pull request #767 synchronize by proux01
February 6, 2025 15:38 4m 39s proux01:split-stdlib
proux01:split-stdlib
February 6, 2025 15:38 4m 39s
Fix #766 CI #87: Pull request #770 opened by proux01
February 6, 2025 15:37 5m 0s proux01:fix-766
proux01:fix-766
February 6, 2025 15:37 5m 0s
Remove Stdlib dependency CI #86: Pull request #767 synchronize by proux01
February 6, 2025 15:19 4m 30s proux01:split-stdlib
proux01:split-stdlib
February 6, 2025 15:19 4m 30s
Remove Stdlib dependency CI #85: Pull request #767 synchronize by proux01
February 6, 2025 15:14 4m 38s proux01:split-stdlib
proux01:split-stdlib
February 6, 2025 15:14 4m 38s
Merge pull request #766 from SkySkimmer/template-entry-qvar CI #84: Commit fde097c pushed by ppedrot
February 6, 2025 15:05 4m 25s master
master
February 6, 2025 15:05 4m 25s
Remove Stdlib dependency CI #83: Pull request #767 synchronize by proux01
February 6, 2025 14:25 5m 44s proux01:split-stdlib
proux01:split-stdlib
February 6, 2025 14:25 5m 44s
Merge pull request #769 from LPCIC/fix-focker-ci CI #82: Commit 84ca172 pushed by gares
February 6, 2025 13:51 5m 6s master
master
February 6, 2025 13:51 5m 6s
Remove Stdlib dependency CI #81: Pull request #767 synchronize by proux01
February 6, 2025 13:49 3m 21s proux01:split-stdlib
proux01:split-stdlib
February 6, 2025 13:49 3m 21s
fix docker ci CI #80: Pull request #769 opened by gares
February 6, 2025 13:27 5m 17s fix-focker-ci
fix-focker-ci
February 6, 2025 13:27 5m 17s
Adapt w.r.t. coq/coq#20201. CI #79: Pull request #768 opened by ppedrot
February 6, 2025 10:54 3m 32s ppedrot:hint-opaque-modes
ppedrot:hint-opaque-modes
February 6, 2025 10:54 3m 32s
Remove Stdlib dependency CI #78: Pull request #767 opened by proux01
February 5, 2025 20:13 3m 25s proux01:split-stdlib
proux01:split-stdlib
February 5, 2025 20:13 3m 25s
Update README.md CI #77: Commit c0fae44 pushed by gares
February 5, 2025 13:02 3m 21s master
master
February 5, 2025 13:02 3m 21s
Adapt to coq/coq#20178 (cominductive API change) CI #76: Pull request #766 opened by SkySkimmer
February 3, 2025 15:05 4m 54s SkySkimmer:template-entry-qvar
SkySkimmer:template-entry-qvar
February 3, 2025 15:05 4m 54s
Merge pull request #765 from proux01/ci-coqeal CI #75: Commit 84e409d pushed by gares
February 3, 2025 14:38 4m 47s master
master
February 3, 2025 14:38 4m 47s
[CI] Readd coqeal CI #74: Pull request #765 synchronize by proux01
February 3, 2025 13:26 4m 19s proux01:ci-coqeal
proux01:ci-coqeal
February 3, 2025 13:26 4m 19s
[CI] Readd coqeal CI #73: Pull request #765 synchronize by proux01
February 3, 2025 10:41 4m 54s proux01:ci-coqeal
proux01:ci-coqeal
February 3, 2025 10:41 4m 54s
[CI] Readd coqeal CI #72: Pull request #765 opened by proux01
February 3, 2025 09:58 4m 53s proux01:ci-coqeal
proux01:ci-coqeal
February 3, 2025 09:58 4m 53s
Update README.md CI #71: Commit 7ee951d pushed by gares
February 2, 2025 13:14 5m 50s master
master
February 2, 2025 13:14 5m 50s
Merge pull request #758 from proux01/param2-register CI #70: Commit eea1606 pushed by gares
February 2, 2025 07:46 5m 47s master
master
February 2, 2025 07:46 5m 47s
Merge pull request #764 from LPCIC/gares-patch-1 CI #69: Commit cd0e0eb pushed by gares
February 1, 2025 08:26 5m 4s master
master
February 1, 2025 08:26 5m 4s
Update README.md CI #68: Pull request #764 opened by gares
February 1, 2025 08:26 5m 16s gares-patch-1
gares-patch-1
February 1, 2025 08:26 5m 16s
Merge pull request #761 from proux01/param2-nicer-names CI #67: Commit 8335cf9 pushed by gares
January 30, 2025 21:45 5m 9s master
master
January 30, 2025 21:45 5m 9s
Change wording in documentation CI #66: Pull request #763 opened by patrick-nicodemus
January 30, 2025 17:12 3m 38s patrick-nicodemus:patch-3
patrick-nicodemus:patch-3
January 30, 2025 17:12 3m 38s