Skip to content

Actions: LPCIC/coq-elpi

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
568 workflow runs
568 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge pull request #1005 from proux01/ci-update CI #783: Commit 5909509 pushed by gares
5m 42s master
master
5m 42s
[CI] Update Nix toolbox CI #782: Pull request #1005 synchronize by proux01
6m 4s proux01:ci-update
proux01:ci-update
6m 4s
[CI] Update Nix toolbox CI #781: Pull request #1005 synchronize by gares
6m 40s proux01:ci-update
proux01:ci-update
6m 40s
Modifies derive.param2 to translate universe polymorphic terms CI #780: Pull request #1003 synchronize by Tvallejos
Action required Tvallejos:param2-univpoly
Tvallejos:param2-univpoly
Action required
Modifies derive.param2 to translate universe polymorphic terms CI #779: Pull request #1003 synchronize by Tvallejos
Action required Tvallejos:param2-univpoly
Tvallejos:param2-univpoly
Action required
[CI] Update Nix toolbox CI #778: Pull request #1005 synchronize by proux01
13m 52s proux01:ci-update
proux01:ci-update
13m 52s
[CI] Update Nix toolbox CI #777: Pull request #1005 synchronize by proux01
5m 48s proux01:ci-update
proux01:ci-update
5m 48s
Adapt to rocq-prover/rocq#21986. CI #776: Pull request #1006 opened by ppedrot
5m 44s ppedrot:hints-rm-canord-globref
ppedrot:hints-rm-canord-globref
5m 44s
Update rocq-elpi-xml.opam CI #775: Commit 38e131e pushed by gares
5m 46s master
master
5m 46s
[CI] Update Nix toolbox CI #774: Pull request #1005 synchronize by proux01
6m 15s proux01:ci-update
proux01:ci-update
6m 15s
Fix error reporting CI #773: Commit 1399d71 pushed by gares
15m 45s master
master
15m 45s
[CI] Update Nix toolbox CI #772: Pull request #1005 synchronize by proux01
13m 52s proux01:ci-update
proux01:ci-update
13m 52s
[CI] Update Nix toolbox CI #771: Pull request #1005 synchronize by proux01
5m 43s proux01:ci-update
proux01:ci-update
5m 43s
[CI] Update Nix toolbox CI #770: Pull request #1005 synchronize by proux01
8m 54s proux01:ci-update
proux01:ci-update
8m 54s
[CI] Update Nix toolbox CI #769: Pull request #1005 synchronize by proux01
6m 12s proux01:ci-update
proux01:ci-update
6m 12s
[CI] Update Nix toolbox CI #768: Pull request #1005 opened by proux01
5m 49s proux01:ci-update
proux01:ci-update
5m 49s
Upgrade elpi-version from v3.6.1 to v3.7.1 CI #767: Pull request #1004 opened by gares
5m 45s fix-nix-ci
fix-nix-ci
5m 45s
Merge pull request #997 from LPCIC/elpi-3.7 CI #766: Commit fdef547 pushed by SkySkimmer
5m 48s master
master
5m 48s
Elpi 3.7.1 CI #765: Pull request #997 synchronize by gares
5m 48s elpi-3.7
elpi-3.7
5m 48s
Modifies derive.param2 to translate universe polymorphic terms CI #764: Pull request #1003 synchronize by Tvallejos
Action required Tvallejos:param2-univpoly
Tvallejos:param2-univpoly
Action required
Elpi 3.7.1 CI #763: Pull request #997 synchronize by gares
5m 38s elpi-3.7
elpi-3.7
5m 38s
Modifies derive.param2 to translate universe polymorphic terms CI #762: Pull request #1003 opened by Tvallejos
5m 39s Tvallejos:param2-univpoly
Tvallejos:param2-univpoly
5m 39s
Elpi 3.7.1 CI #761: Pull request #997 synchronize by gares
5m 17s elpi-3.7
elpi-3.7
5m 17s
[HOAS] add mutual fixpoints CI #760: Pull request #1000 synchronize by gares
9m 14s mfix
mfix
9m 14s
[HOAS] add mutual fixpoints CI #759: Pull request #1000 opened by gares
5m 43s mfix
mfix
5m 43s