Skip to content

Actions: rocq-prover/platform-docs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
152 workflow runs
152 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

proposition of a call for contrib (#31) Docker CI #50: Commit 32ee04e pushed by thomas-lamiaux
July 18, 2024 12:16 2m 57s main
main
July 18, 2024 12:16 2m 57s
proposition of a call for contrib Docker CI #49: Pull request #31 synchronize by thomas-lamiaux
July 18, 2024 11:58 2m 27s Villetaneuse:call_for_contrib
Villetaneuse:call_for_contrib
July 18, 2024 11:58 2m 27s
proposition of a call for contrib Docker CI #48: Pull request #31 synchronize by thomas-lamiaux
July 17, 2024 16:30 2m 25s Villetaneuse:call_for_contrib
Villetaneuse:call_for_contrib
July 17, 2024 16:30 2m 25s
Include images/ in deployment to GitHub Pages. Docker CI #47: Commit c610ecd pushed by Zimmi48
July 17, 2024 11:22 2m 47s main
main
July 17, 2024 11:22 2m 47s
Tutorial Easy Docker CI #46: Pull request #33 opened by thomas-lamiaux
July 8, 2024 22:19 2m 24s tuto-easy
tuto-easy
July 8, 2024 22:19 2m 24s
Starting Intro pattern Docker CI #45: Pull request #32 synchronize by Villetaneuse
July 5, 2024 16:19 2m 34s Villetaneuse:Intro_Pat_Tut
Villetaneuse:Intro_Pat_Tut
July 5, 2024 16:19 2m 34s
Starting Intro pattern Docker CI #44: Pull request #32 opened by Villetaneuse
July 5, 2024 16:13 2m 10s Villetaneuse:Intro_Pat_Tut
Villetaneuse:Intro_Pat_Tut
July 5, 2024 16:13 2m 10s
proposition of a call for contrib Docker CI #43: Pull request #31 synchronize by Villetaneuse
July 5, 2024 16:05 2m 18s Villetaneuse:call_for_contrib
Villetaneuse:call_for_contrib
July 5, 2024 16:05 2m 18s
proposition of a call for contrib Docker CI #42: Pull request #31 opened by Villetaneuse
July 5, 2024 12:23 2m 27s Villetaneuse:call_for_contrib
Villetaneuse:call_for_contrib
July 5, 2024 12:23 2m 27s
Merge pull request #28 from Villetaneuse/more_structure_in_index Docker CI #41: Commit 2003cbc pushed by Villetaneuse
July 5, 2024 12:02 2m 45s main
main
July 5, 2024 12:02 2m 45s
Merge pull request #30 from Villetaneuse/typesetting_export Docker CI #40: Commit 85fe471 pushed by Villetaneuse
July 4, 2024 08:41 2m 44s main
main
July 4, 2024 08:41 2m 44s
Fix typo in expport part of RequireImport Docker CI #39: Pull request #30 opened by Villetaneuse
July 4, 2024 08:30 2m 45s Villetaneuse:typesetting_export
Villetaneuse:typesetting_export
July 4, 2024 08:30 2m 45s
More structure in index Docker CI #38: Pull request #28 synchronize by Villetaneuse
July 4, 2024 08:25 2m 21s Villetaneuse:more_structure_in_index
Villetaneuse:more_structure_in_index
July 4, 2024 08:25 2m 21s
Fix text describing selective import: not available for tactics. (#29) Docker CI #37: Commit 60969b1 pushed by thomas-lamiaux
July 4, 2024 04:27 2m 47s main
main
July 4, 2024 04:27 2m 47s
Fix text describing selective import: not available for tactics. Docker CI #36: Pull request #29 opened by Zimmi48
July 3, 2024 21:12 2m 20s fix-selective-import
fix-selective-import
July 3, 2024 21:12 2m 20s
More structure in index Docker CI #35: Pull request #28 opened by Villetaneuse
July 3, 2024 06:58 2m 20s Villetaneuse:more_structure_in_index
Villetaneuse:more_structure_in_index
July 3, 2024 06:58 2m 20s
Update Tutorial_Equations_wf.v Docker CI #34: Commit fc167a7 pushed by thomas-lamiaux
July 2, 2024 12:57 2m 49s main
main
July 2, 2024 12:57 2m 49s
Merge pull request #27 from Villetaneuse/other_emphasis_issues Docker CI #33: Commit f5c1ab3 pushed by Villetaneuse
June 22, 2024 09:39 2m 43s main
main
June 22, 2024 09:39 2m 43s
More emphasis fixes Docker CI #32: Pull request #27 opened by Villetaneuse
June 22, 2024 09:35 2m 16s Villetaneuse:other_emphasis_issues
Villetaneuse:other_emphasis_issues
June 22, 2024 09:35 2m 16s
Merge pull request #26 from Villetaneuse/tryToFixRequireImport Docker CI #31: Commit ad6dab8 pushed by Villetaneuse
June 22, 2024 09:26 2m 41s main
main
June 22, 2024 09:26 2m 41s
try to fix coqdoc emphasis Docker CI #30: Pull request #26 opened by Villetaneuse
June 22, 2024 09:26 2m 18s Villetaneuse:tryToFixRequireImport
Villetaneuse:tryToFixRequireImport
June 22, 2024 09:26 2m 18s
Merge pull request #25 from Villetaneuse/RequireImport_typos Docker CI #29: Commit f7f3c3a pushed by Villetaneuse
June 22, 2024 08:58 2m 57s main
main
June 22, 2024 08:58 2m 57s
List new tutorials in the index. Docker CI #28: Commit 74b4bdf pushed by Zimmi48
June 21, 2024 13:46 2m 52s main
main
June 21, 2024 13:46 2m 52s
Tutorial Equations: well-founded recursion (#8) Docker CI #27: Commit 0e881e9 pushed by thomas-lamiaux
June 21, 2024 12:14 2m 53s main
main
June 21, 2024 12:14 2m 53s
Tutorial Equations: well-founded recursion Docker CI #26: Pull request #8 synchronize by thomas-lamiaux
June 21, 2024 12:04 2m 26s tuto-equations-wf
tuto-equations-wf
June 21, 2024 12:04 2m 26s