Skip to content

Actions: rocq-prover/platform-docs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
129 workflow runs
129 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Fix typos and rephrased some parts of ltac2:how_to_contradiction (#127) Docker CI #278: Commit e20920d pushed by thomas-lamiaux
4m 49s main
main
4m 49s
Fix typos and rephrased some parts of ltac2:how_to_contradiction Docker CI #277: Pull request #127 opened by TDiazT
4m 26s TDiazT:ltac2_contradiction
TDiazT:ltac2_contradiction
4m 26s
Port to 9.0.1 (#126) Docker CI #276: Commit f9862b1 pushed by thomas-lamiaux
5m 14s main
main
5m 14s
Port to 9.0.1 Docker CI #275: Pull request #126 synchronize by thomas-lamiaux
4m 33s thomas-lamiaux:update9.0
thomas-lamiaux:update9.0
4m 33s
Port to 9.0.1 Docker CI #274: Pull request #126 synchronize by thomas-lamiaux
4m 4s thomas-lamiaux:update9.0
thomas-lamiaux:update9.0
4m 4s
Port to 9.0.1 Docker CI #273: Pull request #126 synchronize by thomas-lamiaux
5m 7s thomas-lamiaux:update9.0
thomas-lamiaux:update9.0
5m 7s
Port to 9.0.1 Docker CI #272: Pull request #126 synchronize by thomas-lamiaux
4m 36s thomas-lamiaux:update9.0
thomas-lamiaux:update9.0
4m 36s
Port to 9.0.1 Docker CI #271: Pull request #126 synchronize by thomas-lamiaux
4m 7s thomas-lamiaux:update9.0
thomas-lamiaux:update9.0
4m 7s
Port to 9.0.1 Docker CI #270: Pull request #126 synchronize by thomas-lamiaux
1m 42s thomas-lamiaux:update9.0
thomas-lamiaux:update9.0
1m 42s
Port to 9.0.1 Docker CI #269: Pull request #126 synchronize by thomas-lamiaux
8s thomas-lamiaux:update9.0
thomas-lamiaux:update9.0
8s
Port to 9.0.1 Docker CI #268: Pull request #126 synchronize by thomas-lamiaux
2m 0s thomas-lamiaux:update9.0
thomas-lamiaux:update9.0
2m 0s
Port to 9.0.1 Docker CI #267: Pull request #126 synchronize by thomas-lamiaux
1m 57s thomas-lamiaux:update9.0
thomas-lamiaux:update9.0
1m 57s
Port to 9.0.1 Docker CI #266: Pull request #126 opened by thomas-lamiaux
4m 19s thomas-lamiaux:update9.0
thomas-lamiaux:update9.0
4m 19s
Merge pull request #125 from SkySkimmer/make-dev-null Docker CI #265: Commit 80ac1f9 pushed by SkySkimmer
5m 1s main
main
5m 1s
Makefile (CI) redirect stdout to /dev/null Docker CI #264: Pull request #125 opened by SkySkimmer
4m 27s SkySkimmer:make-dev-null
SkySkimmer:make-dev-null
4m 27s
Merge pull request #124 from SkySkimmer/fix-ci Docker CI #263: Commit f212025 pushed by SkySkimmer
5m 1s main
main
5m 1s
Try to fix CI by forcing HB version Docker CI #262: Pull request #124 opened by SkySkimmer
4m 17s SkySkimmer:fix-ci
SkySkimmer:fix-ci
4m 17s
Ltac2 Quotation tutorial (#123) Docker CI #261: Commit 5abb1fa pushed by thomas-lamiaux
4m 10s main
main
4m 10s
Ltac2 Quotation tutorial Docker CI #260: Pull request #123 synchronize by thomas-lamiaux
3m 15s SkySkimmer:ltac2-quot
SkySkimmer:ltac2-quot
3m 15s
Ltac2 Quotation tutorial Docker CI #259: Pull request #123 synchronize by thomas-lamiaux
3m 29s SkySkimmer:ltac2-quot
SkySkimmer:ltac2-quot
3m 29s
Ltac2 Quotation tutorial Docker CI #258: Pull request #123 synchronize by thomas-lamiaux
3m 21s SkySkimmer:ltac2-quot
SkySkimmer:ltac2-quot
3m 21s
Ltac2 Quotation tutorial Docker CI #257: Pull request #123 synchronize by thomas-lamiaux
4m 2s SkySkimmer:ltac2-quot
SkySkimmer:ltac2-quot
4m 2s
Ltac2 Quotation tutorial Docker CI #256: Pull request #123 synchronize by thomas-lamiaux
3m 57s SkySkimmer:ltac2-quot
SkySkimmer:ltac2-quot
3m 57s
Ltac2 Quotation tutorial Docker CI #255: Pull request #123 synchronize by thomas-lamiaux
3m 54s SkySkimmer:ltac2-quot
SkySkimmer:ltac2-quot
3m 54s
Ltac2 Quotation tutorial Docker CI #254: Pull request #123 synchronize by thomas-lamiaux
4m 8s SkySkimmer:ltac2-quot
SkySkimmer:ltac2-quot
4m 8s