Skip to content

Actions: LPCIC/coq-elpi

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
763 workflow runs
763 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix version parser CI #1798: Commit 959bdcd pushed by gares
October 7, 2024 13:21 11m 45s master
master
October 7, 2024 13:21 11m 45s
Merge pull request #700 from FissoreD/setupinit-order CI #1797: Commit 53dd0e6 pushed by gares
October 4, 2024 07:49 11m 26s master
master
October 4, 2024 07:49 11m 26s
[setup.init] elpi-builtin loaded before coq-builtin CI #1796: Pull request #700 opened by FissoreD
October 4, 2024 07:11 11m 35s FissoreD:setupinit-order
FissoreD:setupinit-order
October 4, 2024 07:11 11m 35s
Merge pull request #699 from LPCIC/gares-patch-1 CI #1795: Commit 373a0b6 pushed by gares
October 3, 2024 12:22 11m 42s master
master
October 3, 2024 12:22 11m 42s
Update version_parser.ml CI #1794: Pull request #699 opened by gares
October 3, 2024 12:22 11m 25s gares-patch-1
gares-patch-1
October 3, 2024 12:22 11m 25s
Merge pull request #698 from LPCIC/gares-patch-1 CI #1793: Commit 0601276 pushed by gares
October 3, 2024 11:28 11m 26s master
master
October 3, 2024 11:28 11m 26s
Update coq-elpi.opam CI #1792: Pull request #698 synchronize by gares
October 3, 2024 11:14 11m 36s gares-patch-1
gares-patch-1
October 3, 2024 11:14 11m 36s
Update coq-elpi.opam CI #1791: Pull request #698 opened by gares
October 3, 2024 11:08 11m 6s gares-patch-1
gares-patch-1
October 3, 2024 11:08 11m 6s
Merge pull request #693 from LPCIC/support-multiple-elpi-version CI #1790: Commit 5403138 pushed by gares
October 2, 2024 11:44 11m 35s master
master
October 2, 2024 11:44 11m 35s
[TC] CS projections replaced with uvar CI #1789: Pull request #648 synchronize by gares
October 2, 2024 11:35 13m 3s FissoreD:tc-compile-more-constructors
FissoreD:tc-compile-more-constructors
October 2, 2024 11:35 13m 3s
[TC] CS projections replaced with uvar CI #1788: Pull request #648 synchronize by gares
October 2, 2024 11:28 7m 4s FissoreD:tc-compile-more-constructors
FissoreD:tc-compile-more-constructors
October 2, 2024 11:28 7m 4s
Adapt to https://github.com/coq/coq/pull/19530 CI #1787: Pull request #688 synchronize by proux01
October 2, 2024 11:23 13m 36s proux01:stdlib_repo
proux01:stdlib_repo
October 2, 2024 11:23 13m 36s
[TC] CS projections replaced with uvar CI #1786: Pull request #648 synchronize by gares
October 2, 2024 11:21 15m 3s FissoreD:tc-compile-more-constructors
FissoreD:tc-compile-more-constructors
October 2, 2024 11:21 15m 3s
Merge pull request #656 from FissoreD/premise_with_solution CI #1785: Commit 92c1879 pushed by gares
October 2, 2024 11:20 2m 47s master
master
October 2, 2024 11:20 2m 47s
[TC] CS projections replaced with uvar CI #1784: Pull request #648 synchronize by gares
October 2, 2024 11:16 13m 11s FissoreD:tc-compile-more-constructors
FissoreD:tc-compile-more-constructors
October 2, 2024 11:16 13m 11s
[TC] CS projections replaced with uvar CI #1783: Pull request #648 synchronize by gares
October 2, 2024 11:14 12m 23s FissoreD:tc-compile-more-constructors
FissoreD:tc-compile-more-constructors
October 2, 2024 11:14 12m 23s
[TC] CS projections replaced with uvar CI #1782: Pull request #648 synchronize by gares
October 2, 2024 11:06 13m 5s FissoreD:tc-compile-more-constructors
FissoreD:tc-compile-more-constructors
October 2, 2024 11:06 13m 5s
[TC] CS projections replaced with uvar CI #1781: Pull request #648 synchronize by gares
October 2, 2024 11:05 11m 34s FissoreD:tc-compile-more-constructors
FissoreD:tc-compile-more-constructors
October 2, 2024 11:05 11m 34s
[TC] premise not run if rigid solution CI #1780: Pull request #656 synchronize by gares
October 2, 2024 11:04 11m 43s FissoreD:premise_with_solution
FissoreD:premise_with_solution
October 2, 2024 11:04 11m 43s
Merge pull request #697 from LPCIC/fix-ci-820 CI #1779: Commit ff14ff5 pushed by gares
October 2, 2024 08:55 12m 6s master
master
October 2, 2024 08:55 12m 6s
fix compilation on 8.20 CI #1778: Pull request #697 opened by gares
October 2, 2024 08:46 12m 13s fix-ci-820
fix-ci-820
October 2, 2024 08:46 12m 13s
Adapt to coq/coq#19620 (Global.push_context_set no strict argument) CI #1777: Pull request #696 opened by SkySkimmer
October 1, 2024 14:04 10m 3s SkySkimmer:push-context-strict
SkySkimmer:push-context-strict
October 1, 2024 14:04 10m 3s
Merge pull request #668 from gares/fix-primproj-notype CI #1776: Commit a379c07 pushed by gares
October 1, 2024 13:51 11m 4s master
master
October 1, 2024 13:51 11m 4s
[TC] CS projections replaced with uvar CI #1775: Pull request #648 synchronize by FissoreD
September 30, 2024 11:48 11m 43s FissoreD:tc-compile-more-constructors
FissoreD:tc-compile-more-constructors
September 30, 2024 11:48 11m 43s
Timeout raised to 10s CI #1774: Commit 335867a pushed by gares
September 27, 2024 10:59 11m 43s master
master
September 27, 2024 10:59 11m 43s