Skip to content

Actions: DeepSpec/InteractionTrees

Actions

Build with Make

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build-with-make.yml
21 workflow runs
21 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 Build with Make #21: Pull request #285 synchronize by rogerburtonpatel
2m 14s rogerburtonpatel:new-coinduction
rogerburtonpatel:new-coinduction
2m 14s
Using the rocq-coinduction library Build with Make #20: Pull request #285 synchronize by rogerburtonpatel
Action required rogerburtonpatel:new-coinduction
rogerburtonpatel:new-coinduction
Action required
Using the rocq-coinduction library Build with Make #19: Pull request #285 synchronize by rogerburtonpatel
Action required rogerburtonpatel:new-coinduction
rogerburtonpatel:new-coinduction
Action required
Using the rocq-coinduction library Build with Make #18: Pull request #285 synchronize by rogerburtonpatel
Action required rogerburtonpatel:new-coinduction
rogerburtonpatel:new-coinduction
Action required
Merge pull request #283 from proux01/rocq21478 Build with Make #17: Commit 68b3568 pushed by YaZko
11m 33s master
master
11m 33s
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 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 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) 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
Use coinduction instead of paco Build with Make #11: Pull request #282 opened by Lysxia
2m 48s coinduction
coinduction
2m 48s
[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: 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 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 9ef8d229ddeb4863f6c38918b410ff5b660a8244) Build with Make #5: Pull request #279 synchronize by Lysxia
11m 1s lower
lower
11m 1s
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 Build with Make #3: Pull request #280 synchronize by Lysxia
10m 58s ci
ci
10m 58s
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