Skip to content

Actions: LPCIC/coq-elpi

Actions

Nix CI for bundle coq-master-min-elpi

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-coq-master-min-elpi.yml
298 workflow runs
298 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

example with open terms: extensional replace Nix CI for bundle coq-master-min-elpi #198: Pull request #720 synchronize by gares
November 27, 2024 22:30 3m 1s
November 27, 2024 22:30 3m 1s
example with open terms: extensional replace Nix CI for bundle coq-master-min-elpi #197: Pull request #720 synchronize by gares
November 27, 2024 22:18 3m 2s
November 27, 2024 22:18 3m 2s
example with open terms: extensional replace Nix CI for bundle coq-master-min-elpi #196: Pull request #720 synchronize by gares
November 27, 2024 21:59 2m 53s
November 27, 2024 21:59 2m 53s
example with open terms: extensional replace Nix CI for bundle coq-master-min-elpi #195: Pull request #720 opened by gares
November 27, 2024 21:55 6m 41s
November 27, 2024 21:55 6m 41s
port to Elpi 2.0 Nix CI for bundle coq-master-min-elpi #194: Pull request #719 synchronize by gares
November 27, 2024 15:58 3m 10s
November 27, 2024 15:58 3m 10s
port to Elpi 2.0 Nix CI for bundle coq-master-min-elpi #193: Pull request #719 opened by gares
November 27, 2024 13:42 3m 9s
November 27, 2024 13:42 3m 9s
Port to elpi 2.0 Nix CI for bundle coq-master-min-elpi #192: Pull request #708 synchronize by gares
November 27, 2024 13:01 3m 3s
November 27, 2024 13:01 3m 3s
Merge pull request #717 from FissoreD/new-inst-prio Nix CI for bundle coq-master-min-elpi #191: Commit a7b9cfb pushed by gares
November 26, 2024 21:58 48m 47s master
master
November 26, 2024 21:58 48m 47s
Merge pull request #718 from SkySkimmer/jump-to-def Nix CI for bundle coq-master-min-elpi #190: Commit 7818596 pushed by gares
November 26, 2024 17:34 53m 18s master
master
November 26, 2024 17:34 53m 18s
[coq.TC.get-inst-prio] new get-inst-prio (#716) Nix CI for bundle coq-master-min-elpi #189: Pull request #717 synchronize by FissoreD
November 26, 2024 08:35 47m 42s
November 26, 2024 08:35 47m 42s
Port to elpi 2.0 Nix CI for bundle coq-master-min-elpi #188: Pull request #708 synchronize by gares
November 25, 2024 17:56 6m 52s
November 25, 2024 17:56 6m 52s
Adapt to coq/coq#19584 (record raw ast has loc on idbuild) Nix CI for bundle coq-master-min-elpi #187: Pull request #718 opened by SkySkimmer
November 25, 2024 13:16 3m 1s
November 25, 2024 13:16 3m 1s
[coq.TC.get-inst-prio] new get-inst-prio (#716) Nix CI for bundle coq-master-min-elpi #186: Pull request #717 opened by FissoreD
November 25, 2024 08:41 43m 52s
November 25, 2024 08:41 43m 52s
Port to elpi 2.0 Nix CI for bundle coq-master-min-elpi #185: Pull request #708 synchronize by gares
November 22, 2024 12:22 6m 9s
November 22, 2024 12:22 6m 9s
Merge pull request #715 from Janno/janno/declare-instance-export-upst… Nix CI for bundle coq-master-min-elpi #184: Commit 11a121e pushed by gares
November 22, 2024 10:02 44m 26s master
master
November 22, 2024 10:02 44m 26s
Port to elpi 2.0 Nix CI for bundle coq-master-min-elpi #183: Pull request #708 synchronize by gares
November 21, 2024 15:10 2m 57s
November 21, 2024 15:10 2m 57s
Port to elpi 2.0 Nix CI for bundle coq-master-min-elpi #182: Pull request #708 synchronize by gares
November 21, 2024 13:50 6m 40s
November 21, 2024 13:50 6m 40s
Support export locality in coq.TC.declare-instance. Nix CI for bundle coq-master-min-elpi #181: Pull request #715 opened by Janno
November 21, 2024 11:54 46m 13s
November 21, 2024 11:54 46m 13s
Port to elpi 2.0 Nix CI for bundle coq-master-min-elpi #180: Pull request #708 synchronize by gares
November 20, 2024 15:35 3m 1s
November 20, 2024 15:35 3m 1s
Port to elpi 2.0 Nix CI for bundle coq-master-min-elpi #179: Pull request #708 synchronize by gares
November 20, 2024 14:59 3m 4s
November 20, 2024 14:59 3m 4s
Port to elpi 2.0 Nix CI for bundle coq-master-min-elpi #178: Pull request #708 synchronize by gares
November 20, 2024 14:03 7m 4s
November 20, 2024 14:03 7m 4s
Port to elpi 2.0 Nix CI for bundle coq-master-min-elpi #177: Pull request #708 synchronize by gares
November 17, 2024 20:20 3m 4s
November 17, 2024 20:20 3m 4s
Port to elpi 2.0 Nix CI for bundle coq-master-min-elpi #176: Pull request #708 synchronize by gares
November 15, 2024 15:17 3m 19s
November 15, 2024 15:17 3m 19s
Port to elpi 2.0 Nix CI for bundle coq-master-min-elpi #175: Pull request #708 synchronize by gares
November 15, 2024 12:47 3m 14s
November 15, 2024 12:47 3m 14s
Port to elpi 2.0 Nix CI for bundle coq-master-min-elpi #174: Pull request #708 synchronize by gares
November 15, 2024 09:29 2m 54s
November 15, 2024 09:29 2m 54s