Skip to content

Actions: LPCIC/coq-elpi

Actions

DOC

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
doc.yml
545 workflow runs
545 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
Elpi 3.7.1 DOC #2172: Pull request #997 synchronize by gares
7m 33s elpi-3.7
elpi-3.7
7m 33s
Modifies derive.param2 to translate universe polymorphic terms DOC #2171: Pull request #1003 synchronize by Tvallejos
Action required Tvallejos:param2-univpoly
Tvallejos:param2-univpoly
Action required
Elpi 3.7.1 DOC #2170: Pull request #997 synchronize by gares
7m 20s elpi-3.7
elpi-3.7
7m 20s
Modifies derive.param2 to translate universe polymorphic terms DOC #2169: Pull request #1003 opened by Tvallejos
9m 53s Tvallejos:param2-univpoly
Tvallejos:param2-univpoly
9m 53s
Elpi 3.7.1 DOC #2168: Pull request #997 synchronize by gares
10m 34s elpi-3.7
elpi-3.7
10m 34s
[HOAS] add mutual fixpoints DOC #2167: Pull request #1000 synchronize by gares
8m 8s mfix
mfix
8m 8s
[HOAS] add mutual fixpoints DOC #2166: Pull request #1000 opened by gares
10m 35s mfix
mfix
10m 35s
Add HOAS support for mutual fixpoints (mfix constructor) DOC #2165: 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 DOC #2164: 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) DOC #2163: 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) DOC #2162: 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) DOC #2161: Pull request #999 synchronize by ebmoon
10m 59s theorem-labs:mfix-hoas-master
theorem-labs:mfix-hoas-master
10m 59s
Add HOAS support for mutual fixpoints (mfix constructor) DOC #2160: 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 DOC #2159: Commit 17a384c pushed by gares
7m 49s master
master
7m 49s
Add HOAS support for mutual fixpoints (mfix constructor) DOC #2158: 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) DOC #2157: 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) DOC #2156: Pull request #999 synchronize by ebmoon
Action required theorem-labs:mfix-hoas-master
theorem-labs:mfix-hoas-master
Action required
Elpi 3.7.1 DOC #2155: Pull request #997 synchronize by gares
9m 42s elpi-3.7
elpi-3.7
9m 42s
Elpi 3.7.1 DOC #2154: Pull request #997 synchronize by gares
10m 27s elpi-3.7
elpi-3.7
10m 27s
Elpi 3.7.1 DOC #2153: Pull request #997 synchronize by gares
8m 50s elpi-3.7
elpi-3.7
8m 50s
Elpi 3.7.1 DOC #2152: Pull request #997 synchronize by gares
8m 23s elpi-3.7
elpi-3.7
8m 23s
Elpi 3.7.1 DOC #2151: Pull request #997 synchronize by gares
8m 29s elpi-3.7
elpi-3.7
8m 29s
Elpi 3.7.1 DOC #2150: Pull request #997 synchronize by gares
8m 15s elpi-3.7
elpi-3.7
8m 15s
Elpi 3.7.1 DOC #2149: Pull request #997 synchronize by gares
6m 23s elpi-3.7
elpi-3.7
6m 23s
Elpi 3.7.1 DOC #2148: Pull request #997 synchronize by gares
6m 25s elpi-3.7
elpi-3.7
6m 25s