Skip to content

Actions: LPCIC/coq-elpi

Actions

Nix CI for bundle rocq-9.0

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-rocq-9.0.yml
134 workflow runs
134 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Give constant to every primitive projection Nix CI for bundle rocq-9.0 #134: Pull request #791 opened by Tragicus
March 5, 2025 15:15 45m 29s
March 5, 2025 15:15 45m 29s
Merge pull request #790 from Tragicus/primgref Nix CI for bundle rocq-9.0 #133: Commit 5cd165a pushed by gares
March 4, 2025 16:48 44m 32s master
master
March 4, 2025 16:48 44m 32s
Declare compatibility constant as canonical gref for primitive projections Nix CI for bundle rocq-9.0 #132: Pull request #790 synchronize by Tragicus
March 4, 2025 15:23 50m 15s
March 4, 2025 15:23 50m 15s
Declare compatibility constant as canonical gref for primitive projections Nix CI for bundle rocq-9.0 #131: Pull request #790 synchronize by Tragicus
March 4, 2025 12:41 45m 49s
March 4, 2025 12:41 45m 49s
Declare compatibility constant as canonical gref for primitive projections Nix CI for bundle rocq-9.0 #130: Pull request #790 opened by Tragicus
March 4, 2025 10:54 41m 27s
March 4, 2025 10:54 41m 27s
Adapt to coq/coq#20313 (wit_tactic does not handle ltac in term) Nix CI for bundle rocq-9.0 #129: Pull request #789 opened by SkySkimmer
March 3, 2025 14:39 46m 31s
March 3, 2025 14:39 46m 31s
Merge pull request #788 from proux01/ci-update Nix CI for bundle rocq-9.0 #128: Commit 640d04e pushed by gares
February 28, 2025 08:36 20m 52s master
master
February 28, 2025 08:36 20m 52s
[CI] Update Nix toolbox Nix CI for bundle rocq-9.0 #127: Pull request #788 synchronize by proux01
February 27, 2025 14:29 47m 26s proux01:ci-update
proux01:ci-update
February 27, 2025 14:29 47m 26s
[CI] Update Nix toolbox Nix CI for bundle rocq-9.0 #126: Pull request #788 synchronize by proux01
February 27, 2025 14:29 50m 31s
February 27, 2025 14:29 50m 31s
[CI] Update Nix toolbox Nix CI for bundle rocq-9.0 #125: Pull request #788 opened by proux01
February 27, 2025 14:18 53m 7s proux01:ci-update
proux01:ci-update
February 27, 2025 14:18 53m 7s
[CI] Update Nix toolbox Nix CI for bundle rocq-9.0 #124: Pull request #788 opened by proux01
February 27, 2025 14:18 55m 21s
February 27, 2025 14:18 55m 21s
Merge pull request #782 from SkySkimmer/def-loc Nix CI for bundle rocq-9.0 #123: Commit f141c7e pushed by SkySkimmer
February 27, 2025 09:02 43m 5s master
master
February 27, 2025 09:02 43m 5s
Merge pull request #787 from LPCIC/gares-patch-1 Nix CI for bundle rocq-9.0 #122: Commit 2f2daed pushed by gares
February 26, 2025 13:45 27m 34s master
master
February 26, 2025 13:45 27m 34s
Update PrimStringAxioms.v.in Nix CI for bundle rocq-9.0 #121: Pull request #787 opened by gares
February 26, 2025 13:19 48m 1s
February 26, 2025 13:19 48m 1s
Merge pull request #784 from LPCIC/fix-780 Nix CI for bundle rocq-9.0 #120: Commit a130e2b pushed by gares
February 26, 2025 13:13 48m 40s master
master
February 26, 2025 13:13 48m 40s
derive: param1 support for is_true and primitive strings Nix CI for bundle rocq-9.0 #119: Pull request #784 synchronize by gares
February 26, 2025 13:05 39s
February 26, 2025 13:05 39s
derive: param1 support for is_true and primitive strings Nix CI for bundle rocq-9.0 #118: Pull request #784 synchronize by gares
February 26, 2025 12:57 1m 32s
February 26, 2025 12:57 1m 32s
derive: param1 support for is_true and primitive strings Nix CI for bundle rocq-9.0 #117: Pull request #784 synchronize by gares
February 26, 2025 10:44 4m 33s
February 26, 2025 10:44 4m 33s
derive: param1 support for is_true and primitive strings Nix CI for bundle rocq-9.0 #116: Pull request #784 synchronize by gares
February 26, 2025 09:16 21s
February 26, 2025 09:16 21s
derive: param1 support for is_true and primitive strings Nix CI for bundle rocq-9.0 #115: Pull request #784 synchronize by gares
February 26, 2025 09:00 2m 34s
February 26, 2025 09:00 2m 34s
derive: param1 support for is_true and primitive strings Nix CI for bundle rocq-9.0 #114: Pull request #784 synchronize by gares
February 26, 2025 08:24 38m 20s
February 26, 2025 08:24 38m 20s
derive: param1 support for is_true and primitive strings Nix CI for bundle rocq-9.0 #113: Pull request #784 synchronize by gares
February 26, 2025 08:20 41m 49s
February 26, 2025 08:20 41m 49s
derive: param1 support for is_true and primitive strings Nix CI for bundle rocq-9.0 #112: Pull request #784 synchronize by gares
February 25, 2025 16:17 48m 30s
February 25, 2025 16:17 48m 30s
Merge pull request #785 from proux01/makefile-notparallel Nix CI for bundle rocq-9.0 #111: Commit ab6881e pushed by gares
February 25, 2025 15:30 21m 52s master
master
February 25, 2025 15:30 21m 52s
Add .NOTPARALLEL: to makefile Nix CI for bundle rocq-9.0 #110: Pull request #786 opened by SkySkimmer
February 25, 2025 14:32 53m 34s
February 25, 2025 14:32 53m 34s