Skip to content

Actions: LPCIC/coq-elpi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,100 workflow runs
3,100 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adapt to coq/coq#19584 (record raw ast has loc on idbuild) CI #1894: Pull request #718 opened by SkySkimmer
November 25, 2024 13:16 11m 58s SkySkimmer:jump-to-def
SkySkimmer:jump-to-def
November 25, 2024 13:16 11m 58s
Adapt to coq/coq#19584 (record raw ast has loc on idbuild) DOC #1305: Pull request #718 opened by SkySkimmer
November 25, 2024 13:16 11m 46s SkySkimmer:jump-to-def
SkySkimmer:jump-to-def
November 25, 2024 13:16 11m 46s
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
Adapt to coq/coq#19584 (record raw ast has loc on idbuild) Nix CI for bundle coq-8.20 #169: Pull request #718 opened by SkySkimmer
November 25, 2024 13:16 57m 41s
November 25, 2024 13:16 57m 41s
Adapt to coq/coq#19584 (record raw ast has loc on idbuild) Nix CI for bundle coq-master #413: Pull request #718 opened by SkySkimmer
November 25, 2024 13:16 2m 58s
November 25, 2024 13:16 2m 58s
[coq.TC.get-inst-prio] new get-inst-prio (#716) CI #1893: Pull request #717 opened by FissoreD
November 25, 2024 08:43 12m 18s FissoreD:new-inst-prio
FissoreD:new-inst-prio
November 25, 2024 08:43 12m 18s
[coq.TC.get-inst-prio] new get-inst-prio (#716) DOC #1304: Pull request #717 opened by FissoreD
November 25, 2024 08:43 11m 42s FissoreD:new-inst-prio
FissoreD:new-inst-prio
November 25, 2024 08:43 11m 42s
[coq.TC.get-inst-prio] new get-inst-prio (#716) Nix CI for bundle coq-8.20 #168: Pull request #717 opened by FissoreD
November 25, 2024 08:41 53m 19s
November 25, 2024 08:41 53m 19s
[coq.TC.get-inst-prio] new get-inst-prio (#716) Nix CI for bundle coq-master #412: Pull request #717 opened by FissoreD
November 25, 2024 08:41 47m 19s
November 25, 2024 08:41 47m 19s
[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 DOC #1303: Pull request #708 synchronize by gares
November 22, 2024 12:22 4m 6s elpi-new-compiler
elpi-new-compiler
November 22, 2024 12:22 4m 6s
Port to elpi 2.0 CI #1892: Pull request #708 synchronize by gares
November 22, 2024 12:22 5m 42s elpi-new-compiler
elpi-new-compiler
November 22, 2024 12:22 5m 42s
Port to elpi 2.0 Nix CI for bundle coq-8.20 #167: Pull request #708 synchronize by gares
November 22, 2024 12:22 3m 6s
November 22, 2024 12:22 3m 6s
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
Port to elpi 2.0 Nix CI for bundle coq-master #411: Pull request #708 synchronize by gares
November 22, 2024 12:22 6m 5s
November 22, 2024 12:22 6m 5s
pages build and deployment pages-build-deployment #205: by github-pages bot
November 22, 2024 10:13 42s
November 22, 2024 10:13 42s
Merge pull request #715 from Janno/janno/declare-instance-export-upst… Nix CI for bundle coq-master #410: Commit 11a121e pushed by gares
November 22, 2024 10:02 46m 36s master
master
November 22, 2024 10:02 46m 36s
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
Merge pull request #715 from Janno/janno/declare-instance-export-upst… DOC #1302: Commit 11a121e pushed by gares
November 22, 2024 10:02 11m 53s master
master
November 22, 2024 10:02 11m 53s
Merge pull request #715 from Janno/janno/declare-instance-export-upst… Nix CI for bundle coq-8.20 #166: Commit 11a121e pushed by gares
November 22, 2024 10:02 38m 35s master
master
November 22, 2024 10:02 38m 35s
Merge pull request #715 from Janno/janno/declare-instance-export-upst… CI #1891: Commit 11a121e pushed by gares
November 22, 2024 10:02 16m 10s master
master
November 22, 2024 10:02 16m 10s
Port to elpi 2.0 CI #1890: Pull request #708 synchronize by gares
November 21, 2024 15:11 6m 35s elpi-new-compiler
elpi-new-compiler
November 21, 2024 15:11 6m 35s
Port to elpi 2.0 DOC #1301: Pull request #708 synchronize by gares
November 21, 2024 15:11 4m 11s elpi-new-compiler
elpi-new-compiler
November 21, 2024 15:11 4m 11s
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 #409: Pull request #708 synchronize by gares
November 21, 2024 15:10 3m 0s
November 21, 2024 15:10 3m 0s