Skip to content

Actions: LPCIC/coq-elpi

Actions

DOC

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
doc.yml
621 workflow runs
621 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
[TC] CS projections replaced with uvar DOC #1025: Pull request #648 synchronize by FissoreD
July 8, 2024 14:39 12m 45s FissoreD:tc-compile-more-constructors
FissoreD:tc-compile-more-constructors
July 8, 2024 14:39 12m 45s
[TC] premise not run if rigid solution DOC #1024: Pull request #656 synchronize by FissoreD
July 8, 2024 14:27 13m 26s FissoreD:premise_with_solution
FissoreD:premise_with_solution
July 8, 2024 14:27 13m 26s
[add-const] do not recompute the uctx for the evar map DOC #1023: Pull request #651 synchronize by gares
July 8, 2024 13:37 12m 37s master-of-the-universes
master-of-the-universes
July 8, 2024 13:37 12m 37s
[TC] premise not run if rigid solution DOC #1022: Pull request #656 opened by FissoreD
July 8, 2024 12:58 13m 19s FissoreD:premise_with_solution
FissoreD:premise_with_solution
July 8, 2024 12:58 13m 19s
[add-const] do not recompute the uctx for the evar map DOC #1021: Pull request #651 synchronize by gares
July 8, 2024 12:48 16m 31s master-of-the-universes
master-of-the-universes
July 8, 2024 12:48 16m 31s
[add-const] do not recompute the uctx for the evar map DOC #1020: Pull request #651 synchronize by gares
July 8, 2024 12:47 12m 24s master-of-the-universes
master-of-the-universes
July 8, 2024 12:47 12m 24s
[add-const] do not recompute the uctx for the evar map DOC #1019: Pull request #651 synchronize by gares
July 8, 2024 12:41 11m 17s master-of-the-universes
master-of-the-universes
July 8, 2024 12:41 11m 17s
[add-const] do not recompute the uctx for the evar map DOC #1018: Pull request #651 synchronize by gares
July 8, 2024 12:26 12m 30s master-of-the-universes
master-of-the-universes
July 8, 2024 12:26 12m 30s
[add-const] do not recompute the uctx for the evar map DOC #1017: Pull request #651 synchronize by gares
July 8, 2024 11:43 11m 38s master-of-the-universes
master-of-the-universes
July 8, 2024 11:43 11m 38s
[add-const] do not recompute the uctx for the evar map DOC #1016: Pull request #651 synchronize by gares
July 8, 2024 11:32 11m 32s master-of-the-universes
master-of-the-universes
July 8, 2024 11:32 11m 32s
[add-const] do not recompute the uctx for the evar map DOC #1015: Pull request #651 synchronize by gares
July 8, 2024 11:23 11m 17s master-of-the-universes
master-of-the-universes
July 8, 2024 11:23 11m 17s
put tests in coq-elpi-tests and run them in CI DOC #1014: Pull request #655 opened by gares
July 8, 2024 10:53 12m 44s fix-ci
fix-ci
July 8, 2024 10:53 12m 44s
Merge pull request #649 from gares/quickfix-deprecated DOC #1013: Commit f421547 pushed by gares
July 8, 2024 09:23 12m 53s master
master
July 8, 2024 09:23 12m 53s
adapt to coq/coq#19300 DOC #1012: Pull request #649 synchronize by gares
July 5, 2024 15:50 12m 51s gares:quickfix-deprecated
gares:quickfix-deprecated
July 5, 2024 15:50 12m 51s
adapt to coq/coq#19300 DOC #1011: Pull request #649 synchronize by gares
July 5, 2024 15:19 13m 4s gares:quickfix-deprecated
gares:quickfix-deprecated
July 5, 2024 15:19 13m 4s
Merge pull request #654 from LPCIC/fixup-652 DOC #1010: Commit 50b305a pushed by gares
July 5, 2024 13:05 13m 0s master
master
July 5, 2024 13:05 13m 0s
fix PR #652 DOC #1009: Pull request #654 opened by gares
July 5, 2024 12:48 12m 53s fixup-652
fixup-652
July 5, 2024 12:48 12m 53s
adapt to coq/coq#19300 DOC #1008: Pull request #649 synchronize by gares
July 5, 2024 12:36 13m 23s gares:quickfix-deprecated
gares:quickfix-deprecated
July 5, 2024 12:36 13m 23s
Merge pull request #653 from LPCIC/fix-install DOC #1007: Commit 81c6c15 pushed by gares
July 4, 2024 16:38 13m 20s master
master
July 4, 2024 16:38 13m 20s
do not rebuild before installing DOC #1006: Pull request #653 opened by gares
July 4, 2024 16:33 12m 45s fix-install
fix-install
July 4, 2024 16:33 12m 45s
[add-const] do not recompute the uctx for the evar map DOC #1005: Pull request #651 synchronize by gares
July 4, 2024 15:55 11m 11s master-of-the-universes
master-of-the-universes
July 4, 2024 15:55 11m 11s
[add-const] do not recompute the uctx for the evar map DOC #1004: Pull request #651 synchronize by gares
July 4, 2024 14:41 11m 20s master-of-the-universes
master-of-the-universes
July 4, 2024 14:41 11m 20s
[add-const] do not recompute the uctx for the evar map DOC #1003: Pull request #651 synchronize by gares
July 4, 2024 14:08 11m 20s master-of-the-universes
master-of-the-universes
July 4, 2024 14:08 11m 20s
[add-const] do not recompute the uctx for the evar map DOC #1002: Pull request #651 opened by gares
July 4, 2024 13:12 13m 29s master-of-the-universes
master-of-the-universes
July 4, 2024 13:12 13m 29s
[TC] all tc predicates are inside a tc namespace DOC #1001: Pull request #650 opened by FissoreD
July 4, 2024 09:40 12m 51s FissoreD:tc-all-in-namespace
FissoreD:tc-all-in-namespace
July 4, 2024 09:40 12m 51s