Skip to content

Actions: LPCIC/coq-elpi

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
558 workflow runs
558 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
Add HOAS support for mutual fixpoints (mfix constructor) CI #758: Pull request #999 synchronize by ebmoon
Action required theorem-labs:mfix-hoas-master
theorem-labs:mfix-hoas-master
Action required
Support module types and functors: implement real subst_functions CI #757: Pull request #993 synchronize by JasonGross
Action required JasonGross:support-module-types
JasonGross:support-module-types
Action required
Add HOAS support for mutual fixpoints (mfix constructor) CI #756: Pull request #999 synchronize by ebmoon
Action required theorem-labs:mfix-hoas-master
theorem-labs:mfix-hoas-master
Action required
Add HOAS support for mutual fixpoints (mfix constructor) CI #755: Pull request #999 synchronize by ebmoon
Action required theorem-labs:mfix-hoas-master
theorem-labs:mfix-hoas-master
Action required
Add HOAS support for mutual fixpoints (mfix constructor) CI #754: Pull request #999 synchronize by ebmoon
11m 1s theorem-labs:mfix-hoas-master
theorem-labs:mfix-hoas-master
11m 1s
Add HOAS support for mutual fixpoints (mfix constructor) CI #753: Pull request #999 synchronize by ebmoon
Action required theorem-labs:mfix-hoas-master
theorem-labs:mfix-hoas-master
Action required
Adjust Rocq-Elpi logo size and clean up README CI #752: Commit 17a384c pushed by gares
7m 32s master
master
7m 32s
Add HOAS support for mutual fixpoints (mfix constructor) CI #751: Pull request #999 synchronize by ebmoon
Action required theorem-labs:mfix-hoas-master
theorem-labs:mfix-hoas-master
Action required
Add HOAS support for mutual fixpoints (mfix constructor) CI #750: Pull request #999 synchronize by ebmoon
Action required theorem-labs:mfix-hoas-master
theorem-labs:mfix-hoas-master
Action required
Add HOAS support for mutual fixpoints (mfix constructor) CI #749: Pull request #999 synchronize by ebmoon
Action required theorem-labs:mfix-hoas-master
theorem-labs:mfix-hoas-master
Action required
Elpi 3.7.0 CI #748: Pull request #997 synchronize by gares
10m 15s elpi-3.7
elpi-3.7
10m 15s
Elpi 3.7.0 CI #747: Pull request #997 synchronize by gares
11m 55s elpi-3.7
elpi-3.7
11m 55s
Elpi 3.7.0 CI #746: Pull request #997 synchronize by gares
10m 12s elpi-3.7
elpi-3.7
10m 12s
Elpi 3.7.0 CI #745: Pull request #997 synchronize by gares
7m 8s elpi-3.7
elpi-3.7
7m 8s
Elpi 3.7.0 CI #744: Pull request #997 synchronize by gares
7m 53s elpi-3.7
elpi-3.7
7m 53s
Elpi 3.7.0 CI #743: Pull request #997 synchronize by gares
3m 1s elpi-3.7
elpi-3.7
3m 1s
Elpi 3.7.0 CI #742: Pull request #997 synchronize by gares
2m 4s elpi-3.7
elpi-3.7
2m 4s
Elpi 3.7.0 CI #741: Pull request #997 synchronize by gares
2m 0s elpi-3.7
elpi-3.7
2m 0s
Add HOAS support for mutual fixpoints (mfix constructor) CI #740: Pull request #999 opened by ebmoon
Action required theorem-labs:mfix-hoas-master
theorem-labs:mfix-hoas-master
Action required
Elpi 3.7.0 CI #739: Pull request #997 synchronize by gares
3m 39s elpi-3.7
elpi-3.7
3m 39s
Elpi 3.7.0 CI #738: Pull request #997 synchronize by gares
3m 35s elpi-3.7
elpi-3.7
3m 35s
Adapt to https://github.com/rocq-prover/stdlib/pull/251 CI #737: Pull request #998 opened by proux01
4m 55s proux01:stdlib251
proux01:stdlib251
4m 55s
Elpi 3.7.0 CI #736: Pull request #997 synchronize by gares
4m 35s elpi-3.7
elpi-3.7
4m 35s
Elpi 3.7.0 CI #735: Pull request #997 opened by gares
3m 32s elpi-3.7
elpi-3.7
3m 32s
Adapt to rocq-prover/rocq#21912 (add argument to default_flags_of) CI #734: Pull request #996 opened by yannl35133
5m 36s Yann-Leray:rr-evars-no-unif-default
Yann-Leray:rr-evars-no-unif-default
5m 36s