Docker CI

docker-action.yml

22 workflow runs

docs: point build badge to GitHub Actions
failed:
Docker CI#26:Commita2bc2c3pushedbyLysxia
master
Oct 18, 20266m 37s
docs: point build badge to GitHub Actions
failed:
Docker CI#25:Pull request#286openedbydajiaohuang
dajiaohuang:docs/current-build-badge-20261016
Oct 16, 20264m 58s
Using the rocq-coinduction library
failed:
Docker CI#23:Pull request#285synchronizebyrogerburtonpatel
rogerburtonpatel:new-coinduction
Jun 30, 20263m 57s
Merge pull request #283 from proux01/rocq21478
failed:
Docker CI#19:Commit68b3568pushedbyYaZko
master
Jun 12, 20266m 52s
Adapt to https://github.com/rocq-prover/rocq/pull/21609
failed:
Docker CI#18:Pull request#283synchronizebyproux01
proux01:rocq21478
Jun 11, 20266m 46s
Adapt to https://github.com/rocq-prover/rocq/pull/21609
failed:
Docker CI#17:Pull request#283synchronizebyLysxia
proux01:rocq21478
May 21, 20266m 47s
Merge pull request #284 from SkySkimmer/gene-eqs-vars
failed:
Docker CI#16:Commit163b651pushedbyYaZko
master
May 7, 20266m 30s
Adapt to rocq-prover/rocq#22001 (less agressive generalization in dependent induction)
failed:
Docker CI#15:Pull request#284openedbySkySkimmer
SkySkimmer:gene-eqs-vars
May 5, 20267m 17s
Adapt to https://github.com/rocq-prover/rocq/pull/21609
completed successfully:
Docker CI#14:Pull request#283openedbyproux01
proux01:rocq21478
Jan 27, 20266m 46s
Use coinduction instead of paco
failed:
Docker CI#13:Pull request#282openedbyLysxia
coinduction
Jan 22, 20263m 3s
[WIP] Moving to stdpp
failed:
Docker CI#12:Pull request#267synchronizebyLysxia
stdpp
Nov 19, 20253m 49s
ci: Update meta.yaml syntax
completed successfully:
Docker CI#11:Commitbd356ecpushedbyLysxia
master
Oct 2, 20256m 56s
ci: Use allow-list of dependants
completed successfully:
Docker CI#10:Commitca6887apushedbyLysxia
master
Oct 1, 20256m 48s
ci: Use allow-list of dependants
completed successfully:
Docker CI#9:Pull request#281openedbyLysxia
ci-list
Oct 1, 20256m 40s
Revert lower bound on dune (reverts 9ef8d229ddeb4863f6c38918b410ff5b6…
completed successfully:
Docker CI#8:Commit3553666pushedbyLysxia
master
Sep 22, 202510m 47s
Revert lower bound on dune (reverts 9ef8d229ddeb4863f6c38918b410ff5b660a8244)
completed successfully:
Docker CI#7:Pull request#279synchronizebyLysxia
lower
Sep 22, 202510m 12s
ci: Switch to Github Actions
completed successfully:
Docker CI#6:Commita041f90pushedbyLysxia
master
Sep 16, 202510m 19s
ci: Switch to Github Actions
completed successfully:
Docker CI#5:Pull request#280synchronizebyLysxia
ci
Sep 16, 202510m 42s
ci: Switch to Github Actions
completed successfully:
Docker CI#4:Pull request#280synchronizebyLysxia
ci
Sep 16, 202510m 46s
ci: Switch to Github Actions
failed:
Docker CI#3:Pull request#280synchronizebyLysxia
ci
Sep 16, 202510m 29s
ci: Switch to Github Actions
failed:
Docker CI#2:Pull request#280synchronizebyLysxia
ci
Sep 16, 202510m 52s
ci: Switch to Github Actions
failed:
Docker CI#1:Pull request#280openedbyLysxia
ci
Sep 16, 202520s

Navigation Menu

Docker CI

22 workflow runs

docs: point build badge to GitHub Actions

docs: point build badge to GitHub Actions

Using the `rocq-coinduction` library

Merge pull request #283 from proux01/rocq21478

Adapt to https://github.com/rocq-prover/rocq/pull/21609

Adapt to https://github.com/rocq-prover/rocq/pull/21609

Merge pull request #284 from SkySkimmer/gene-eqs-vars

Adapt to rocq-prover/rocq#22001 (less agressive generalization in dependent induction)

Adapt to https://github.com/rocq-prover/rocq/pull/21609

Use coinduction instead of paco

[WIP] Moving to stdpp

ci: Update meta.yaml syntax

ci: Use allow-list of dependants

ci: Use allow-list of dependants

Revert lower bound on dune (reverts 9ef8d229ddeb4863f6c38918b410ff5b6…

Revert lower bound on dune (reverts 9ef8d229ddeb4863f6c38918b410ff5b660a8244)

ci: Switch to Github Actions

ci: Switch to Github Actions

ci: Switch to Github Actions

ci: Switch to Github Actions

ci: Switch to Github Actions

ci: Switch to Github Actions

Workflow runs for Docker CI

22 workflow runs