Skip to content

Actions: LPCIC/coq-elpi

Actions

Nix CI for bundle coq-8.20

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-coq-8.20.yml
503 workflow runs
503 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

TC Solver: prim-proj and canonical struct Nix CI for bundle coq-8.20 #503: Pull request #802 synchronize by FissoreD
April 8, 2025 20:43 55m 44s
April 8, 2025 20:43 55m 44s
TC Solver: prim-proj and canonical struct Nix CI for bundle coq-8.20 #502: Pull request #802 opened by FissoreD
April 8, 2025 20:30 48m 22s
April 8, 2025 20:30 48m 22s
Adapt to rocq-prover/rocq#20397 (removal of sort families) Nix CI for bundle coq-8.20 #501: Pull request #801 opened by jrosain
April 8, 2025 14:24 55m 22s
April 8, 2025 14:24 55m 22s
Adapt to rocq-prover/rocq#20483 (Libobject.simple_open is shallow only) Nix CI for bundle coq-8.20 #500: Pull request #800 synchronize by SkySkimmer
April 8, 2025 13:18 1h 3m 59s
April 8, 2025 13:18 1h 3m 59s
Adapt to rocq-prover/rocq#20483 (Libobject.simple_open is shallow only) Nix CI for bundle coq-8.20 #499: Pull request #800 opened by SkySkimmer
April 8, 2025 13:12 2m 55s
April 8, 2025 13:12 2m 55s
Prim proj coerc Nix CI for bundle coq-8.20 #498: Pull request #799 opened by FissoreD
April 8, 2025 12:30 45s
April 8, 2025 12:30 45s
Merge pull request #796 from ppedrot/abstract-clean-seff Nix CI for bundle coq-8.20 #497: Commit 26cc2cc pushed by SkySkimmer
April 7, 2025 11:39 46m 29s master
master
April 7, 2025 11:39 46m 29s
Adapt w.r.t. rocq-prover/rocq#20472. Nix CI for bundle coq-8.20 #496: Pull request #796 opened by ppedrot
April 5, 2025 18:27 55m 54s
April 5, 2025 18:27 55m 54s
Merge pull request #795 from LPCIC/fix-lp2goal Nix CI for bundle coq-8.20 #495: Commit 7065b03 pushed by gares
March 24, 2025 10:14 23m 18s master
master
March 24, 2025 10:14 23m 18s
lp2goal: repeat if something changed Nix CI for bundle coq-8.20 #494: Pull request #795 opened by gares
March 21, 2025 16:08 55m 11s
March 21, 2025 16:08 55m 11s
Merge pull request #789 from SkySkimmer/genarg-ntn-vars Nix CI for bundle coq-8.20 #493: Commit a8ce1db pushed by ppedrot
March 19, 2025 16:52 53m 59s master
master
March 19, 2025 16:52 53m 59s
Adapt to coq/coq#20313 (wit_tactic does not handle ltac in term) Nix CI for bundle coq-8.20 #492: Pull request #789 synchronize by SkySkimmer
March 19, 2025 11:07 51m 14s
March 19, 2025 11:07 51m 14s
Adapt to coq/coq#20313 (wit_tactic does not handle ltac in term) Nix CI for bundle coq-8.20 #491: Pull request #789 synchronize by SkySkimmer
March 19, 2025 11:01 2m 54s
March 19, 2025 11:01 2m 54s
Merge pull request #793 from FissoreD/issue_792 Nix CI for bundle coq-8.20 #490: Commit 26d13b5 pushed by gares
March 13, 2025 08:52 47m 33s master
master
March 13, 2025 08:52 47m 33s
add primitive proj to inst compiler #792 Nix CI for bundle coq-8.20 #489: Pull request #793 opened by FissoreD
March 11, 2025 18:43 53m 0s
March 11, 2025 18:43 53m 0s
Merge pull request #791 from Tragicus/primgref Nix CI for bundle coq-8.20 #488: Commit 65929f7 pushed by gares
March 11, 2025 14:26 52m 22s master
master
March 11, 2025 14:26 52m 22s
Give constant to every primitive projection Nix CI for bundle coq-8.20 #487: Pull request #791 synchronize by Tragicus
March 11, 2025 14:16 19m 12s
March 11, 2025 14:16 19m 12s
Give constant to every primitive projection Nix CI for bundle coq-8.20 #486: Pull request #791 synchronize by Tragicus
March 10, 2025 14:55 58m 22s
March 10, 2025 14:55 58m 22s
Give constant to every primitive projection Nix CI for bundle coq-8.20 #485: Pull request #791 synchronize by Tragicus
March 10, 2025 14:44 3m 19s
March 10, 2025 14:44 3m 19s
Give constant to every primitive projection Nix CI for bundle coq-8.20 #484: Pull request #791 synchronize by Tragicus
March 10, 2025 12:19 53m 12s
March 10, 2025 12:19 53m 12s
Give constant to every primitive projection Nix CI for bundle coq-8.20 #483: Pull request #791 opened by Tragicus
March 5, 2025 15:15 54m 37s
March 5, 2025 15:15 54m 37s
Merge pull request #790 from Tragicus/primgref Nix CI for bundle coq-8.20 #482: Commit 5cd165a pushed by gares
March 4, 2025 16:48 53m 10s master
master
March 4, 2025 16:48 53m 10s
Declare compatibility constant as canonical gref for primitive projections Nix CI for bundle coq-8.20 #481: Pull request #790 synchronize by Tragicus
March 4, 2025 15:23 51m 41s
March 4, 2025 15:23 51m 41s
Declare compatibility constant as canonical gref for primitive projections Nix CI for bundle coq-8.20 #480: Pull request #790 synchronize by Tragicus
March 4, 2025 12:41 54m 31s
March 4, 2025 12:41 54m 31s
Declare compatibility constant as canonical gref for primitive projections Nix CI for bundle coq-8.20 #479: Pull request #790 opened by Tragicus
March 4, 2025 10:54 55m 26s
March 4, 2025 10:54 55m 26s