Skip to content

Actions: LPCIC/coq-elpi

Actions

Nix CI for bundle coq-master

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-coq-master.yml
743 workflow runs
743 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adapt w.r.t. coq/coq#18996. Nix CI for bundle coq-master #18: Pull request #626 synchronize by ppedrot
May 4, 2024 10:01 2m 25s
May 4, 2024 10:01 2m 25s
Adapt w.r.t. coq/coq#18996. Nix CI for bundle coq-master #17: Pull request #626 opened by ppedrot
May 3, 2024 08:02 6m 11s
May 3, 2024 08:02 6m 11s
Adapt to coq/coq#18900 (private mono univs) Nix CI for bundle coq-master #16: Pull request #625 opened by SkySkimmer
May 2, 2024 12:17 6m 6s
May 2, 2024 12:17 6m 6s
Adapt to coq/coq#18989 (warn when auto lowering inductive to Prop) Nix CI for bundle coq-master #15: Pull request #624 opened by SkySkimmer
April 30, 2024 10:44 5m 54s
April 30, 2024 10:44 5m 54s
Adapt to coq/coq#18981 (universe syntax change) Nix CI for bundle coq-master #14: Pull request #623 opened by SkySkimmer
April 29, 2024 12:24 5m 59s
April 29, 2024 12:24 5m 59s
Adapt to coq/coq#18938 (EConstr.ERelevance) Nix CI for bundle coq-master #13: Pull request #621 opened by SkySkimmer
April 17, 2024 11:27 5m 57s
April 17, 2024 11:27 5m 57s
Adapt to coq/coq#18867 (cominductive returns default dep elim) Nix CI for bundle coq-master #12: Pull request #617 synchronize by SkySkimmer
April 4, 2024 13:51 11m 22s
April 4, 2024 13:51 11m 22s
Adapt to coq/coq#18867 (cominductive returns default dep elim) Nix CI for bundle coq-master #11: Pull request #617 opened by SkySkimmer
April 4, 2024 13:51 1m 59s
April 4, 2024 13:51 1m 59s
Adapt to coq/coq#18546. Nix CI for bundle coq-master #10: Pull request #588 synchronize by rlepigre
April 2, 2024 08:51 6m 2s
April 2, 2024 08:51 6m 2s
Adapt to coq/coq#18852 (interp_red_expr can be done without ltac) Nix CI for bundle coq-master #9: Pull request #616 opened by SkySkimmer
March 28, 2024 15:36 4h 25m 42s
March 28, 2024 15:36 4h 25m 42s
Adapt to Coq PR #18742: clause "using" moved from CInfo to Info Nix CI for bundle coq-master #8: Pull request #609 opened by herbelin
March 6, 2024 14:13 5m 58s
March 6, 2024 14:13 5m 58s
Adapt to https://github.com/coq/coq/pull/18590 Nix CI for bundle coq-master #7: Pull request #607 opened by proux01
March 4, 2024 10:22 41m 41s
March 4, 2024 10:22 41m 41s
Adapt to Coq PR#18397: Change of ComAssumption.declare_variable and C… Nix CI for bundle coq-master #6: Pull request #603 opened by proux01
February 22, 2024 10:38 41m 31s
February 22, 2024 10:38 41m 31s
[CI] Add Trakt Nix CI for bundle coq-master #5: Pull request #598 synchronize by proux01
February 20, 2024 09:05 2h 10m 15s proux01:ci_trakt
proux01:ci_trakt
February 20, 2024 09:05 2h 10m 15s
[CI] Add Trakt Nix CI for bundle coq-master #4: Pull request #598 synchronize by proux01
February 19, 2024 21:56 2h 18m 49s proux01:ci_trakt
proux01:ci_trakt
February 19, 2024 21:56 2h 18m 49s
[CI] Add Trakt Nix CI for bundle coq-master #3: Pull request #598 synchronize by proux01
February 19, 2024 21:13 8m 50s proux01:ci_trakt
proux01:ci_trakt
February 19, 2024 21:13 8m 50s
[CI] Add Trakt Nix CI for bundle coq-master #2: Pull request #598 synchronize by proux01
February 19, 2024 16:52 8m 40s proux01:ci_trakt
proux01:ci_trakt
February 19, 2024 16:52 8m 40s
[CI] Add Trakt Nix CI for bundle coq-master #1: Pull request #598 opened by proux01
February 19, 2024 16:51 8m 43s proux01:ci_trakt
proux01:ci_trakt
February 19, 2024 16:51 8m 43s
ProTip! You can narrow down the results and go further in time using created:<2024-02-19 or the other filters available.