Skip to content

Actions: rocq-community/coq-dpdgraph

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
38 workflow runs
38 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #154 from SkySkimmer/no-opt-schemes Docker CI #134: Commit 544c583 pushed by ppedrot
2m 8s coq-master
coq-master
2m 8s
Adapt to rocq-prover/rocq#21241 (eq_rec not defined using eq_rect) Docker CI #133: Pull request #154 opened by SkySkimmer
3m 14s SkySkimmer:no-opt-schemes
SkySkimmer:no-opt-schemes
3m 14s
Merge pull request #153 from rocq-community/fix-nix Docker CI #132: Commit 2c0498f pushed by proux01
5m 16s coq-master
coq-master
5m 16s
Fix install target for nix package Docker CI #131: Pull request #153 opened by proux01
4m 58s fix-nix
fix-nix
4m 58s
Modify the build instructions to avoid relying on autoconf, make better Docker CI #130: Commit 748fc54 pushed by ybertot
2m 54s coq-master
coq-master
2m 54s
take into account changes written in meta.yml Docker CI #129: Pull request #150 synchronize by ybertot
2m 24s ybertot:with-generated-files
ybertot:with-generated-files
2m 24s
Adapt to rocq-prover/rocq#16851. Docker CI #128: Pull request #152 opened by ppedrot
2m 16s ppedrot:abstract-setoid-internals
ppedrot:abstract-setoid-internals
2m 16s
take into account changes written in meta.yml Docker CI #127: Pull request #150 synchronize by ybertot
2m 34s ybertot:with-generated-files
ybertot:with-generated-files
2m 34s
take into account changes written in meta.yml Docker CI #126: Pull request #150 synchronize by ybertot
2m 18s ybertot:with-generated-files
ybertot:with-generated-files
2m 18s
take into account changes written in meta.yml Docker CI #125: Pull request #150 synchronize by ybertot
2m 30s ybertot:with-generated-files
ybertot:with-generated-files
2m 30s
take into account changes written in meta.yml Docker CI #124: Pull request #150 synchronize by ybertot
2m 23s ybertot:with-generated-files
ybertot:with-generated-files
2m 23s
take into account changes written in meta.yml Docker CI #123: Pull request #150 synchronize by ybertot
2m 35s ybertot:with-generated-files
ybertot:with-generated-files
2m 35s
take into account changes written in meta.yml Docker CI #122: Pull request #150 synchronize by Zimmi48
2m 12s ybertot:with-generated-files
ybertot:with-generated-files
2m 12s
take into account changes written in meta.yml Docker CI #121: Pull request #150 synchronize by ybertot
2m 26s ybertot:with-generated-files
ybertot:with-generated-files
2m 26s
take into account changes written in meta.yml Docker CI #120: Pull request #150 opened by ybertot
20s ybertot:with-generated-files
ybertot:with-generated-files
20s
.configure; make should work for local compilation from sources Docker CI #119: Pull request #148 opened by ybertot
10m 54s ybertot:cmxs-dep
ybertot:cmxs-dep
10m 54s
Improve documentation, following suggestion by T. Bourke Docker CI #118: Commit 7817def pushed by ybertot
6m 29s coq-master
coq-master
6m 29s
Doc n warnings may 25 Docker CI #117: Pull request #146 synchronize by ybertot
6m 25s ybertot:doc-n-warnings-May-25
ybertot:doc-n-warnings-May-25
6m 25s
Doc n warnings may 25 Docker CI #116: Pull request #146 opened by ybertot
6m 12s ybertot:doc-n-warnings-May-25
ybertot:doc-n-warnings-May-25
6m 12s
Rocq v9.0 Docker CI #115: Pull request #145 synchronize by ybertot
2m 22s ybertot:rocq-v9.0
ybertot:rocq-v9.0
2m 22s
Rocq v9.0 Docker CI #114: Pull request #145 synchronize by ybertot
2m 47s ybertot:rocq-v9.0
ybertot:rocq-v9.0
2m 47s
Rocq v9.0 Docker CI #113: Pull request #145 synchronize by ybertot
2m 10s ybertot:rocq-v9.0
ybertot:rocq-v9.0
2m 10s
Rocq v9.0 Docker CI #112: Pull request #145 opened by ybertot
14s ybertot:rocq-v9.0
ybertot:rocq-v9.0
14s
Merge pull request #143 from SkySkimmer/dirpath-full-path Docker CI #111: Commit f63ff8e pushed by ppedrot
2m 0s coq-master
coq-master
2m 0s
Adapt to coq/coq#20371 (Nametab.dirpath_of_module -> path_of_module) Docker CI #110: Pull request #143 opened by SkySkimmer
2m 12s SkySkimmer:dirpath-full-path
SkySkimmer:dirpath-full-path
2m 12s