Skip to content

Actions: coq/platform-docs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
113 workflow runs
113 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

a few small improvements to the template tutorial (#47) Docker CI #68: Commit 8e8f6b1 pushed by thomas-lamiaux
September 2, 2024 15:08 3m 8s main
main
September 2, 2024 15:08 3m 8s
A few small improvements to the template tutorial Docker CI #67: Pull request #47 opened by MevenBertrand
September 2, 2024 14:37 2m 53s MevenBertrand:cleaner_template
MevenBertrand:cleaner_template
September 2, 2024 14:37 2m 53s
New explanation about template universe polymorphism (#34) Docker CI #66: Commit 8cd5d40 pushed by thomas-lamiaux
September 1, 2024 14:53 3m 16s main
main
September 1, 2024 14:53 3m 16s
New explanation about template universe polymorphism Docker CI #65: Pull request #34 synchronize by lephe
September 1, 2024 10:58 2m 42s lephe:template-poly
lephe:template-poly
September 1, 2024 10:58 2m 42s
Fix link to webpage after repo transfer. Docker CI #64: Commit 6f9e811 pushed by Zimmi48
August 28, 2024 15:25 3m 33s main
main
August 28, 2024 15:25 3m 33s
New explanation about template universe polymorphism Docker CI #60: Pull request #34 synchronize by lephe
August 19, 2024 12:53 2m 45s lephe:template-poly
lephe:template-poly
August 19, 2024 12:53 2m 45s
Merge pull request #35 from Zimmi48/licensing Docker CI #57: Commit bef063a pushed by Zimmi48
August 1, 2024 14:21 4m 4s main
main
August 1, 2024 14:21 4m 4s
Added the link to CEP to the extended abstract for CoqWorkshopITP24 Docker CI #56: Commit d0e4d8a pushed by thomas-lamiaux
August 1, 2024 14:02 3m 16s main
main
August 1, 2024 14:02 3m 16s
Licensing Docker CI #55: Pull request #35 opened by Zimmi48
July 31, 2024 10:17 2m 43s licensing
licensing
July 31, 2024 10:17 2m 43s
New explanation about template universe polymorphism Docker CI #53: Pull request #34 synchronize by lephe
July 29, 2024 20:09 2m 53s lephe:template-poly
lephe:template-poly
July 29, 2024 20:09 2m 53s
Remove gallicism. Docker CI #51: Commit fa4c2d6 pushed by Zimmi48
July 26, 2024 14:09 2m 41s main
main
July 26, 2024 14:09 2m 41s
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