Skip to content

Actions: DeepSpec/InteractionTrees

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
34 workflow runs
34 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
ci: Use a different version of OCaml for coq-8.14 and 8.15 Docker CI #29: Commit 284d422 pushed by Lysxia
7m 7s master
master
7m 7s
ci: Use a different version of OCaml for coq-8.14 and 8.15 Build with Make #27: Commit 284d422 pushed by Lysxia
11m 36s master
master
11m 36s
Fix depgraph Docker CI #28: Pull request #287 synchronize by Lysxia
6m 53s depgraph
depgraph
6m 53s
Fix depgraph Build with Make #26: Pull request #287 synchronize by Lysxia
10m 21s depgraph
depgraph
10m 21s
Fix depgraph Docker CI #27: Pull request #287 opened by Lysxia
7m 5s depgraph
depgraph
7m 5s
Fix depgraph Build with Make #25: Pull request #287 opened by Lysxia
12m 19s depgraph
depgraph
12m 19s
docs: point build badge to GitHub Actions Docker CI #26: Commit a2bc2c3 pushed by Lysxia
6m 37s master
master
6m 37s
docs: point build badge to GitHub Actions Build with Make #24: Commit a2bc2c3 pushed by Lysxia
7m 43s master
master
7m 43s
docs: point build badge to GitHub Actions Build with Make #23: Pull request #286 opened by dajiaohuang
7m 51s dajiaohuang:docs/current-build-badge-20261016
dajiaohuang:docs/current-build-badge-20261016
7m 51s
docs: point build badge to GitHub Actions Docker CI #25: Pull request #286 opened by dajiaohuang
4m 58s dajiaohuang:docs/current-build-badge-20261016
dajiaohuang:docs/current-build-badge-20261016
4m 58s
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
master
11m 33s
Merge pull request #283 from proux01/rocq21478 Docker CI #19: Commit 68b3568 pushed by YaZko
6m 52s master
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
master
6m 30s
Merge pull request #284 from SkySkimmer/gene-eqs-vars Build with Make #14: Commit 163b651 pushed by YaZko
11m 17s master
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
coinduction
2m 48s