Skip to content

Actions: DeepSpec/InteractionTrees

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
26 workflow runs
26 workflow runs

Filter by Workflow

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
[WIP] Moving to stdpp Build with Make #10: Pull request #267 synchronize by Lysxia
3m 2s stdpp
stdpp
3m 2s
ci: Update meta.yaml syntax Build with Make #9: Commit bd356ec pushed by Lysxia
10m 55s master
master
10m 55s
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 Build with Make #8: Commit ca6887a pushed by Lysxia
11m 19s master
master
11m 19s
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
ci: Use allow-list of dependants Build with Make #7: Pull request #281 opened by Lysxia
11m 6s ci-list
ci-list
11m 6s
Revert lower bound on dune (reverts 9ef8d229ddeb4863f6c38918b410ff5b6… Build with Make #6: Commit 3553666 pushed by Lysxia
11m 9s master
master
11m 9s
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) Build with Make #5: Pull request #279 synchronize by Lysxia
11m 1s lower
lower
11m 1s
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 Build with Make #4: Commit a041f90 pushed by Lysxia
11m 14s master
master
11m 14s
ci: Switch to Github Actions Docker CI #6: Commit a041f90 pushed by Lysxia
10m 19s master
master
10m 19s
ci: Switch to Github Actions Build with Make #3: Pull request #280 synchronize by Lysxia
10m 58s ci
ci
10m 58s
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 Build with Make #2: Pull request #280 synchronize by Lysxia
11m 1s ci
ci
11m 1s
ci: Switch to Github Actions Build with Make #1: Pull request #280 synchronize by Lysxia
2m 21s ci
ci
2m 21s
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