Skip to content

Actions: rocq-prover/platform-docs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
234 workflow runs
234 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

An explanation of Prop, SProp and hProp Docker CI #241: Pull request #109 synchronize by LeoAlexElouan
July 4, 2025 13:59 4m 28s LeoAlexElouan:prop
LeoAlexElouan:prop
July 4, 2025 13:59 4m 28s
Make path transformation more robust and support deeply nested HTML f… Docker CI #240: Commit 863008d pushed by Zimmi48
July 3, 2025 18:26 5m 13s main
main
July 3, 2025 18:26 5m 13s
Attempt to move files to subdirectory. (#114) Docker CI #239: Commit f1c2a76 pushed by Zimmi48
July 3, 2025 18:11 4m 54s main
main
July 3, 2025 18:11 4m 54s
Fix CI broken by previous commit. Docker CI #238: Commit 9bcc9bc pushed by Zimmi48
July 3, 2025 18:02 4m 31s main
main
July 3, 2025 18:02 4m 31s
Make path transformation more robust and support deeply nested HTML f… Docker CI #237: Commit 614b00f pushed by Zimmi48
July 3, 2025 17:43 4m 22s main
main
July 3, 2025 17:43 4m 22s
Attempt to move files to subdirectory. (#114) Docker CI #236: Commit f1c2a76 pushed by thomas-lamiaux
July 3, 2025 13:44 5m 3s main
main
July 3, 2025 13:44 5m 3s
Attempt to move files to subdirectory. Docker CI #235: Pull request #114 synchronize by Zimmi48
June 30, 2025 15:42 5m 4s sub-directories
sub-directories
June 30, 2025 15:42 5m 4s
Add subdirectories 2 Docker CI #234: Pull request #116 opened by thomas-lamiaux
June 30, 2025 12:18 4m 50s thomas-lamiaux:sub_dir
thomas-lamiaux:sub_dir
June 30, 2025 12:18 4m 50s
Attempt to move files to subdirectory. Docker CI #233: Pull request #114 synchronize by thomas-lamiaux
June 30, 2025 12:15 4m 33s sub-directories
sub-directories
June 30, 2025 12:15 4m 33s
Add subdirectories Docker CI #232: Pull request #115 opened by thomas-lamiaux
June 30, 2025 12:14 4m 46s thomas-lamiaux:sub_dir
thomas-lamiaux:sub_dir
June 30, 2025 12:14 4m 46s
Remove no longer useful index of Platform Docs. (#113) Docker CI #231: Commit 43f6758 pushed by thomas-lamiaux
June 30, 2025 10:11 5m 26s main
main
June 30, 2025 10:11 5m 26s
Attempt to move files to subdirectory. Docker CI #230: Pull request #114 synchronize by Zimmi48
June 30, 2025 08:54 4m 24s sub-directories
sub-directories
June 30, 2025 08:54 4m 24s
Attempt to move files to subdirectory. Docker CI #229: Pull request #114 synchronize by Zimmi48
June 30, 2025 08:50 4m 49s sub-directories
sub-directories
June 30, 2025 08:50 4m 49s
Attempt to move files to subdirectory. Docker CI #228: Pull request #114 synchronize by Zimmi48
June 30, 2025 08:48 4m 43s sub-directories
sub-directories
June 30, 2025 08:48 4m 43s
Attempt to move files to subdirectory. Docker CI #227: Pull request #114 opened by Zimmi48
June 27, 2025 14:08 4m 47s sub-directories
sub-directories
June 27, 2025 14:08 4m 47s
Remove no longer useful index of Platform Docs. Docker CI #226: Pull request #113 opened by Zimmi48
June 27, 2025 13:25 4m 50s delete-index
delete-index
June 27, 2025 13:25 4m 50s
Update Tutorial_Equations_Obligations.v (#112) Docker CI #225: Commit 0436482 pushed by thomas-lamiaux
June 24, 2025 12:46 5m 25s main
main
June 24, 2025 12:46 5m 25s
Fix typo of a vernacular command Docker CI #224: Pull request #112 opened by yoshihiro503
June 24, 2025 10:56 4m 43s yoshihiro503:patch-4
yoshihiro503:patch-4
June 24, 2025 10:56 4m 43s
Update Tutorial_Equations_basics.v (#111) Docker CI #223: Commit 084e49a pushed by thomas-lamiaux
June 10, 2025 12:52 5m 37s main
main
June 10, 2025 12:52 5m 37s
Fix a typographical error of Tutorial_Equations_basics.v Docker CI #222: Pull request #111 opened by yoshihiro503
June 10, 2025 10:41 4m 4s yoshihiro503:patch-3
yoshihiro503:patch-3
June 10, 2025 10:41 4m 4s
Tuto matching terms and goal + How to write a tactic contradiction wi… Docker CI #221: Commit 821f1ab pushed by thomas-lamiaux
May 28, 2025 13:33 5m 23s main
main
May 28, 2025 13:33 5m 23s
Tuto matching terms and goal + How to write a tactic contradiction with Ltac2 Docker CI #220: Pull request #105 synchronize by thomas-lamiaux
May 28, 2025 13:28 4m 5s thomas-lamiaux:how_to_ltac2_contradiction
thomas-lamiaux:how_to_ltac2_contradiction
May 28, 2025 13:28 4m 5s
Tuto matching terms and goal + How to write a tactic contradiction with Ltac2 Docker CI #219: Pull request #105 synchronize by thomas-lamiaux
May 27, 2025 17:57 4m 4s thomas-lamiaux:how_to_ltac2_contradiction
thomas-lamiaux:how_to_ltac2_contradiction
May 27, 2025 17:57 4m 4s
Tuto matching terms and goal + How to write a tactic contradiction with Ltac2 Docker CI #218: Pull request #105 synchronize by thomas-lamiaux
May 27, 2025 17:36 4m 7s thomas-lamiaux:how_to_ltac2_contradiction
thomas-lamiaux:how_to_ltac2_contradiction
May 27, 2025 17:36 4m 7s
Tuto matching terms and goal + How to write a tactic contradiction with Ltac2 Docker CI #217: Pull request #105 synchronize by thomas-lamiaux
May 27, 2025 17:26 4m 15s thomas-lamiaux:how_to_ltac2_contradiction
thomas-lamiaux:how_to_ltac2_contradiction
May 27, 2025 17:26 4m 15s