Skip to content

Actions: LPCIC/coq-elpi

Actions

DOC

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
doc.yml
815 workflow runs
815 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Give constant to every primitive projection DOC #1578: Pull request #791 opened by Tragicus
March 5, 2025 15:15 7m 58s Tragicus:primgref
Tragicus:primgref
March 5, 2025 15:15 7m 58s
Merge pull request #790 from Tragicus/primgref DOC #1577: Commit 5cd165a pushed by gares
March 4, 2025 16:48 8m 1s master
master
March 4, 2025 16:48 8m 1s
Declare compatibility constant as canonical gref for primitive projections DOC #1576: Pull request #790 synchronize by Tragicus
March 4, 2025 15:23 12m 11s Tragicus:primgref
Tragicus:primgref
March 4, 2025 15:23 12m 11s
Declare compatibility constant as canonical gref for primitive projections DOC #1575: Pull request #790 synchronize by Tragicus
March 4, 2025 12:41 8m 35s Tragicus:primgref
Tragicus:primgref
March 4, 2025 12:41 8m 35s
Declare compatibility constant as canonical gref for primitive projections DOC #1574: Pull request #790 opened by Tragicus
March 4, 2025 10:54 7m 34s Tragicus:primgref
Tragicus:primgref
March 4, 2025 10:54 7m 34s
Adapt to coq/coq#20313 (wit_tactic does not handle ltac in term) DOC #1573: Pull request #789 opened by SkySkimmer
March 3, 2025 14:39 7m 55s SkySkimmer:genarg-ntn-vars
SkySkimmer:genarg-ntn-vars
March 3, 2025 14:39 7m 55s
Merge pull request #788 from proux01/ci-update DOC #1572: Commit 640d04e pushed by gares
February 28, 2025 08:36 8m 11s master
master
February 28, 2025 08:36 8m 11s
[CI] Update Nix toolbox DOC #1571: Pull request #788 synchronize by proux01
February 27, 2025 14:29 8m 12s proux01:ci-update
proux01:ci-update
February 27, 2025 14:29 8m 12s
[CI] Update Nix toolbox DOC #1570: Pull request #788 opened by proux01
February 27, 2025 14:18 7m 54s proux01:ci-update
proux01:ci-update
February 27, 2025 14:18 7m 54s
Merge pull request #782 from SkySkimmer/def-loc DOC #1569: Commit f141c7e pushed by SkySkimmer
February 27, 2025 09:02 7m 34s master
master
February 27, 2025 09:02 7m 34s
Merge pull request #787 from LPCIC/gares-patch-1 DOC #1568: Commit 2f2daed pushed by gares
February 26, 2025 13:45 8m 37s master
master
February 26, 2025 13:45 8m 37s
Update PrimStringAxioms.v.in DOC #1567: Pull request #787 opened by gares
February 26, 2025 13:20 7m 49s gares-patch-1
gares-patch-1
February 26, 2025 13:20 7m 49s
Merge pull request #784 from LPCIC/fix-780 DOC #1566: Commit a130e2b pushed by gares
February 26, 2025 13:13 11m 6s master
master
February 26, 2025 13:13 11m 6s
derive: param1 support for is_true and primitive strings DOC #1565: Pull request #784 synchronize by gares
February 26, 2025 13:05 8m 44s fix-780
fix-780
February 26, 2025 13:05 8m 44s
derive: param1 support for is_true and primitive strings DOC #1564: Pull request #784 synchronize by gares
February 26, 2025 12:59 8m 1s fix-780
fix-780
February 26, 2025 12:59 8m 1s
derive: param1 support for is_true and primitive strings DOC #1563: Pull request #784 synchronize by gares
February 26, 2025 10:44 8m 51s fix-780
fix-780
February 26, 2025 10:44 8m 51s
derive: param1 support for is_true and primitive strings DOC #1562: Pull request #784 synchronize by gares
February 26, 2025 09:18 7m 37s fix-780
fix-780
February 26, 2025 09:18 7m 37s
derive: param1 support for is_true and primitive strings DOC #1561: Pull request #784 synchronize by gares
February 26, 2025 09:02 8m 24s fix-780
fix-780
February 26, 2025 09:02 8m 24s
derive: param1 support for is_true and primitive strings DOC #1560: Pull request #784 synchronize by gares
February 26, 2025 08:24 12m 19s fix-780
fix-780
February 26, 2025 08:24 12m 19s
derive: param1 support for is_true and primitive strings DOC #1559: Pull request #784 synchronize by gares
February 26, 2025 08:20 8m 1s fix-780
fix-780
February 26, 2025 08:20 8m 1s
derive: param1 support for is_true and primitive strings DOC #1558: Pull request #784 synchronize by gares
February 25, 2025 16:17 7m 56s fix-780
fix-780
February 25, 2025 16:17 7m 56s
Merge pull request #785 from proux01/makefile-notparallel DOC #1557: Commit ab6881e pushed by gares
February 25, 2025 15:30 8m 17s master
master
February 25, 2025 15:30 8m 17s
Add .NOTPARALLEL: to makefile DOC #1556: Pull request #786 opened by SkySkimmer
February 25, 2025 14:32 7m 51s SkySkimmer:notparallel
SkySkimmer:notparallel
February 25, 2025 14:32 7m 51s
Add NOTPARALLEL to Makefile DOC #1555: Pull request #785 opened by proux01
February 25, 2025 14:26 8m 1s proux01:makefile-notparallel
proux01:makefile-notparallel
February 25, 2025 14:26 8m 1s
derive: param1 support for is_true and primitive strings DOC #1554: Pull request #784 opened by gares
February 25, 2025 13:53 7m 57s fix-780
fix-780
February 25, 2025 13:53 7m 57s