Workflow runs · DeepSpec/InteractionTrees · GitHub

Actions

All workflows
Actions
Loading...
Loading

Showing runs from all workflows

40 workflow runs

40 workflow runs

Using the rocq-coinduction library Build with Make #22: Pull request #285 synchronize by rogerburtonpatel

Action requiredrogerburtonpatel:new-coinduction

rogerburtonpatel:new-coinduction

Action required

Using the rocq-coinduction library Docker CI #24: Pull request #285 synchronize by rogerburtonpatel

Action requiredrogerburtonpatel:new-coinduction

rogerburtonpatel:new-coinduction

Action required

Using the rocq-coinduction library Docker CI #23: Pull request #285 synchronize by rogerburtonpatel

3m 57s rogerburtonpatel:new-coinduction

rogerburtonpatel:new-coinduction

3m 57s

Using the rocq-coinduction library Build with Make #21: Pull request #285 synchronize by rogerburtonpatel

2m 14s rogerburtonpatel:new-coinduction

rogerburtonpatel:new-coinduction

2m 14s

Merge pull request #283 from proux01/rocq21478 Build with Make #17: Commit 68b3568 pushed by YaZko

11m 33s master

11m 33s

Merge pull request #283 from proux01/rocq21478 Docker CI #19: Commit 68b3568 pushed by YaZko

6m 52s master

6m 52s

Adapt to https://github.com/rocq-prover/rocq/pull/21609 Build with Make #16: Pull request #283 synchronize by proux01

11m 10s proux01:rocq21478

proux01:rocq21478

11m 10s

Adapt to https://github.com/rocq-prover/rocq/pull/21609 Docker CI #18: Pull request #283 synchronize by proux01

6m 46s proux01:rocq21478

proux01:rocq21478

6m 46s

Adapt to https://github.com/rocq-prover/rocq/pull/21609 Docker CI #17: Pull request #283 synchronize by Lysxia

6m 47s proux01:rocq21478

proux01:rocq21478

6m 47s

Adapt to https://github.com/rocq-prover/rocq/pull/21609 Build with Make #15: Pull request #283 synchronize by Lysxia

11m 6s proux01:rocq21478

proux01:rocq21478

11m 6s

Merge pull request #284 from SkySkimmer/gene-eqs-vars Docker CI #16: Commit 163b651 pushed by YaZko

6m 30s master

6m 30s

Merge pull request #284 from SkySkimmer/gene-eqs-vars Build with Make #14: Commit 163b651 pushed by YaZko

11m 17s master

11m 17s

Adapt to rocq-prover/rocq#22001 (less agressive generalization in dependent induction) Docker CI #15: Pull request #284 opened by SkySkimmer

7m 17s SkySkimmer:gene-eqs-vars

SkySkimmer:gene-eqs-vars

7m 17s

Adapt to rocq-prover/rocq#22001 (less agressive generalization in dependent induction) Build with Make #13: Pull request #284 opened by SkySkimmer

11m 12s SkySkimmer:gene-eqs-vars

SkySkimmer:gene-eqs-vars

11m 12s

Adapt to https://github.com/rocq-prover/rocq/pull/21609 Build with Make #12: Pull request #283 opened by proux01

10m 40s proux01:rocq21478

proux01:rocq21478

10m 40s

Adapt to https://github.com/rocq-prover/rocq/pull/21609 Docker CI #14: Pull request #283 opened by proux01

6m 46s proux01:rocq21478

proux01:rocq21478

6m 46s

Use coinduction instead of paco Build with Make #11: Pull request #282 opened by Lysxia

2m 48s coinduction

2m 48s

Use coinduction instead of paco Docker CI #13: Pull request #282 opened by Lysxia

3m 3s coinduction

3m 3s

[WIP] Moving to stdpp Docker CI #12: Pull request #267 synchronize by Lysxia

3m 49s stdpp

3m 49s

[WIP] Moving to stdpp Build with Make #10: Pull request #267 synchronize by Lysxia

3m 2s stdpp

3m 2s

ci: Update meta.yaml syntax Build with Make #9: Commit bd356ec pushed by Lysxia

10m 55s master

10m 55s

ci: Update meta.yaml syntax Docker CI #11: Commit bd356ec pushed by Lysxia

6m 56s master

6m 56s

ci: Use allow-list of dependants Build with Make #8: Commit ca6887a pushed by Lysxia

11m 19s master

11m 19s

ci: Use allow-list of dependants Docker CI #10: Commit ca6887a pushed by Lysxia

6m 48s master

6m 48s

ci: Use allow-list of dependants Docker CI #9: Pull request #281 opened by Lysxia

6m 40s ci-list

6m 40s