Skip to content

Actions: LPCIC/coq-elpi

Actions

DOC

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
doc.yml
694 workflow runs
694 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adapt to rocq-prover/rocq#21067 (no mind_ntypes field) DOC #1830: Pull request #882 opened by SkySkimmer
September 9, 2025 10:57 6m 59s SkySkimmer:mind-ntypes
SkySkimmer:mind-ntypes
September 9, 2025 10:57 6m 59s
Fix #879 for Rocq <= 9.1 DOC #1829: Pull request #881 synchronize by proux01
September 8, 2025 15:24 8m 18s proux01:fix-879
proux01:fix-879
September 8, 2025 15:24 8m 18s
Fix #879 for Rocq <= 9.1 DOC #1828: Pull request #881 synchronize by proux01
September 8, 2025 13:06 7m 37s proux01:fix-879
proux01:fix-879
September 8, 2025 13:06 7m 37s
Fix #879 for Rocq <= 9.1 DOC #1827: Pull request #881 opened by proux01
September 8, 2025 12:19 7m 38s proux01:fix-879
proux01:fix-879
September 8, 2025 12:19 7m 38s
Merge pull request #879 from SkySkimmer/stream-comlex-fail DOC #1826: Commit f90cd7e pushed by SkySkimmer
September 8, 2025 09:07 7m 3s master
master
September 8, 2025 09:07 7m 3s
(HACK) Adapt to rocq-prover/rocq#20674 (stronger synterp/interp checks) DOC #1825: Pull request #880 synchronize by SkySkimmer
September 5, 2025 12:25 10m 59s SkySkimmer:stronger-synterp-flag
SkySkimmer:stronger-synterp-flag
September 5, 2025 12:25 10m 59s
(HACK) Adapt to rocq-prover/rocq#20674 (stronger synterp/interp checks) DOC #1824: Pull request #880 synchronize by SkySkimmer
September 5, 2025 12:24 8m 4s SkySkimmer:stronger-synterp-flag
SkySkimmer:stronger-synterp-flag
September 5, 2025 12:24 8m 4s
(HACK) Adapt to rocq-prover/rocq#20674 (stronger synterp/interp checks) DOC #1823: Pull request #880 opened by SkySkimmer
September 5, 2025 12:20 6m 54s SkySkimmer:stronger-synterp-flag
SkySkimmer:stronger-synterp-flag
September 5, 2025 12:20 6m 54s
Merge pull request #876 from Tragicus/collect_goals DOC #1822: Commit 68fe617 pushed by gares
September 4, 2025 21:53 7m 26s master
master
September 4, 2025 21:53 7m 26s
Fold with binders in collect-goals DOC #1821: Pull request #876 synchronize by Tragicus
September 4, 2025 16:24 7m 58s Tragicus:collect_goals
Tragicus:collect_goals
September 4, 2025 16:24 7m 58s
Merge pull request #877 from proux01/ci-algebra-tactics DOC #1820: Commit f9c21c6 pushed by gares
September 4, 2025 15:00 8m 34s master
master
September 4, 2025 15:00 8m 34s
[CI] Add algebra-tactics DOC #1819: Pull request #877 synchronize by proux01
September 4, 2025 14:53 9m 5s proux01:ci-algebra-tactics
proux01:ci-algebra-tactics
September 4, 2025 14:53 9m 5s
Merge pull request #878 from proux01/ci-odd-order DOC #1818: Commit d527ac2 pushed by gares
September 4, 2025 14:39 7m 15s master
master
September 4, 2025 14:39 7m 15s
Adapt to rocq-prover/rocq#20964 (less exn driven parser) DOC #1817: Pull request #879 opened by SkySkimmer
September 4, 2025 13:52 8m 19s SkySkimmer:stream-comlex-fail
SkySkimmer:stream-comlex-fail
September 4, 2025 13:52 8m 19s
Fold with binders in collect-goals DOC #1816: Pull request #876 synchronize by Tragicus
September 4, 2025 13:38 8m 37s Tragicus:collect_goals
Tragicus:collect_goals
September 4, 2025 13:38 8m 37s
Fold with binders in collect-goals DOC #1815: Pull request #876 synchronize by Tragicus
September 4, 2025 13:34 7m 31s Tragicus:collect_goals
Tragicus:collect_goals
September 4, 2025 13:34 7m 31s
[CI] Fix odd-order DOC #1814: Pull request #878 opened by proux01
September 3, 2025 15:38 7m 21s proux01:ci-odd-order
proux01:ci-odd-order
September 3, 2025 15:38 7m 21s
[CI] Add algebra-tactics DOC #1813: Pull request #877 opened by proux01
September 3, 2025 13:56 7m 18s proux01:ci-algebra-tactics
proux01:ci-algebra-tactics
September 3, 2025 13:56 7m 18s
Fold with binders in collect-goals DOC #1812: Pull request #876 opened by Tragicus
September 3, 2025 11:27 6m 49s Tragicus:collect_goals
Tragicus:collect_goals
September 3, 2025 11:27 6m 49s
Merge pull request #874 from yoshihiro503/yoshihiro503@glob-info-for-… DOC #1811: Commit 6633e03 pushed by gares
September 3, 2025 09:32 8m 45s master
master
September 3, 2025 09:32 8m 45s
Merge pull request #875 from LPCIC/doc DOC #1810: Commit 059edea pushed by gares
September 3, 2025 09:32 7m 27s master
master
September 3, 2025 09:32 7m 27s
fix doc DOC #1809: Pull request #875 synchronize by gares
September 3, 2025 09:14 8m 30s doc
doc
September 3, 2025 09:14 8m 30s
fix doc DOC #1808: Pull request #875 opened by gares
September 3, 2025 09:12 7m 30s doc
doc
September 3, 2025 09:12 7m 30s
fix: missing glob info for notations DOC #1807: Pull request #874 opened by yoshihiro503
September 3, 2025 05:44 7m 21s yoshihiro503:yoshihiro503@glob-info-for-notations
yoshihiro503:yoshihiro503@glob-info-for-notations
September 3, 2025 05:44 7m 21s
Merge pull request #873 from LPCIC/opam DOC #1806: Commit 36b893b pushed by gares
September 2, 2025 14:07 7m 26s master
master
September 2, 2025 14:07 7m 26s