Skip to content

Actions: CoqHott/logrel-coq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
94 workflow runs
94 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Deanonymize the README. LogRel CI #633: Commit d875530 pushed by ppedrot
9s ArtefactCantor
ArtefactCantor
9s
Merge pull request #77 from ppedrot/weakening-irrelevant-wf LogRel CI #632: Commit a75dab2 pushed by kyoDralliam
8m 37s rocq-9.0
rocq-9.0
8m 37s
Strengthen the weakening equational theory. LogRel CI #631: Pull request #77 opened by ppedrot
7m 38s ppedrot:weakening-irrelevant-wf
ppedrot:weakening-irrelevant-wf
7m 38s
Merge pull request #76 from CoqHott/comment-nit LogRel CI #630: Commit 7096659 pushed by kyoDralliam
7m 1s rocq-9.0
rocq-9.0
7m 1s
Correct comment on the boundary conditions LogRel CI #629: Pull request #76 synchronize by kyoDralliam
8m 40s comment-nit
comment-nit
8m 40s
Correct comment on the boundary conditions LogRel CI #628: Pull request #76 opened by kyoDralliam
3m 8s comment-nit
comment-nit
3m 8s
fix the make autosubst target LogRel CI #627: Commit cb4600c pushed by kyoDralliam
6m 54s rocq-9.0
rocq-9.0
6m 54s
rename local makefile; change notation ~ to \neg LogRel CI #626: Commit 0ab22b1 pushed by kyoDralliam
8m 25s rocq-9.0
rocq-9.0
8m 25s
wip fix CI LogRel CI #625: Commit 3c6589d pushed by kyoDralliam
6m 20s rocq-9.0
rocq-9.0
6m 20s
update coq version in CI LogRel CI #624: Commit f24d5fc pushed by kyoDralliam
1m 26s rocq-9.0
rocq-9.0
1m 26s
trying to fix opam dependencies LogRel CI #623: Commit b70f1da pushed by kyoDralliam
2m 18s rocq-9.0
rocq-9.0
2m 18s
LogRel CI LogRel CI #622: Manually run by kyoDralliam
2m 15s rocq-9.0
rocq-9.0
2m 15s
fix opam file LogRel CI #621: Commit 5bf62f1 pushed by kyoDralliam
2m 15s rocq-9.0
rocq-9.0
2m 15s
adapt .gitignore LogRel CI #620: Commit 3c49c8f pushed by kyoDralliam
2m 2s rocq-9.0
rocq-9.0
2m 2s
adapt to rocq 9.0 LogRel CI #619: Commit f47b0a9 pushed by kyoDralliam
17s rocq-9.0
rocq-9.0
17s
Remove cruft LogRel CI #618: Commit 78f14a0 pushed by ppedrot
11s ArtefactCantor
ArtefactCantor
11s
fix README LogRel CI #617: Commit 23fd2d1 pushed by ppedrot
7s ArtefactCantor
ArtefactCantor
7s
Bump Coq version in opam file LogRel CI #616: Commit d89f9d1 pushed by ppedrot
11s ArtefactCantor
ArtefactCantor
11s
Anonymize opam file LogRel CI #615: Commit 93e0c78 pushed by ppedrot
7s ArtefactCantor
ArtefactCantor
7s
Update README LogRel CI #614: Commit e8d8dca pushed by ppedrot
10s ArtefactCantor
ArtefactCantor
10s
Version missing CSS files. LogRel CI #613: Commit 983f842 pushed by ppedrot
8s ArtefactCantor
ArtefactCantor
8s
Version the documentation LogRel CI #612: Commit f5cd195 pushed by ppedrot
8s ArtefactCantor
ArtefactCantor
8s
Bump README LogRel CI #611: Commit 1e1af19 pushed by ppedrot
7s ArtefactCantor
ArtefactCantor
7s
Cleaning names LogRel CI #610: Commit fd6516f pushed by Baillon-M
8s ArtefactCantor
ArtefactCantor
8s
Update the Coq Project LogRel CI #609: Commit fba0a8a pushed by Baillon-M
11s ArtefactCantor
ArtefactCantor
11s