Skip to content

Actions: DeepSpec/InteractionTrees

Actions

Docker CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker-action.yml
20 workflow runs
20 workflow runs

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
Using the rocq-coinduction library Docker CI #23: Pull request #285 synchronize by rogerburtonpatel
3m 57s rogerburtonpatel:new-coinduction
rogerburtonpatel:new-coinduction
3m 57s
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 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
Merge pull request #284 from SkySkimmer/gene-eqs-vars Docker CI #16: Commit 163b651 pushed by YaZko
6m 30s master
master
6m 30s
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 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 Docker CI #13: Pull request #282 opened by Lysxia
3m 3s coinduction
coinduction
3m 3s
[WIP] Moving to stdpp Docker CI #12: Pull request #267 synchronize by Lysxia
3m 49s stdpp
stdpp
3m 49s
ci: Update meta.yaml syntax Docker CI #11: Commit bd356ec pushed by Lysxia
6m 56s master
master
6m 56s
ci: Use allow-list of dependants Docker CI #10: Commit ca6887a pushed by Lysxia
6m 48s master
master
6m 48s
ci: Use allow-list of dependants Docker CI #9: Pull request #281 opened by Lysxia
6m 40s ci-list
ci-list
6m 40s
Revert lower bound on dune (reverts 9ef8d229ddeb4863f6c38918b410ff5b6… Docker CI #8: Commit 3553666 pushed by Lysxia
10m 47s master
master
10m 47s
Revert lower bound on dune (reverts 9ef8d229ddeb4863f6c38918b410ff5b660a8244) Docker CI #7: Pull request #279 synchronize by Lysxia
10m 12s lower
lower
10m 12s
ci: Switch to Github Actions Docker CI #6: Commit a041f90 pushed by Lysxia
10m 19s master
master
10m 19s
ci: Switch to Github Actions Docker CI #5: Pull request #280 synchronize by Lysxia
10m 42s ci
ci
10m 42s
ci: Switch to Github Actions Docker CI #4: Pull request #280 synchronize by Lysxia
10m 46s ci
ci
10m 46s
ci: Switch to Github Actions Docker CI #3: Pull request #280 synchronize by Lysxia
10m 29s ci
ci
10m 29s
ci: Switch to Github Actions Docker CI #2: Pull request #280 synchronize by Lysxia
10m 52s ci
ci
10m 52s
ci: Switch to Github Actions Docker CI #1: Pull request #280 opened by Lysxia
20s ci
ci
20s