Skip to content

Actions: coq/platform-docs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
129 workflow runs
129 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Slides Liber Abaci 2024 Docker CI #84: Pull request #58 synchronize by thomas-lamiaux
October 16, 2024 08:50 3m 52s thomas-lamiaux:slides-LIberAbaci24
thomas-lamiaux:slides-LIberAbaci24
October 16, 2024 08:50 3m 52s
Slides Liber Abaci 2024 Docker CI #83: Pull request #58 synchronize by thomas-lamiaux
October 15, 2024 16:24 2m 39s thomas-lamiaux:slides-LIberAbaci24
thomas-lamiaux:slides-LIberAbaci24
October 15, 2024 16:24 2m 39s
Slides Liber Abaci 2024 Docker CI #82: Pull request #58 synchronize by thomas-lamiaux
October 15, 2024 15:32 6h 2m 26s thomas-lamiaux:slides-LIberAbaci24
thomas-lamiaux:slides-LIberAbaci24
October 15, 2024 15:32 6h 2m 26s
Slides Liber Abaci 2024 Docker CI #81: Pull request #58 synchronize by thomas-lamiaux
October 15, 2024 11:59 2m 38s thomas-lamiaux:slides-LIberAbaci24
thomas-lamiaux:slides-LIberAbaci24
October 15, 2024 11:59 2m 38s
Slides Liber Abaci 2024 Docker CI #80: Pull request #58 opened by thomas-lamiaux
October 14, 2024 23:05 2m 21s thomas-lamiaux:slides-LIberAbaci24
thomas-lamiaux:slides-LIberAbaci24
October 14, 2024 23:05 2m 21s
update gitignore (#56) Docker CI #79: Commit bd8631c pushed by thomas-lamiaux
October 13, 2024 13:41 2m 35s main
main
October 13, 2024 13:41 2m 35s
update gitignore Docker CI #78: Pull request #56 opened by thomas-lamiaux
October 13, 2024 13:41 2m 29s thomas-lamiaux:update-gitignore
thomas-lamiaux:update-gitignore
October 13, 2024 13:41 2m 29s
add slides ITP24's Coq Workshop (#55) Docker CI #77: Commit 8b2cb1a pushed by thomas-lamiaux
October 13, 2024 13:34 2m 33s main
main
October 13, 2024 13:34 2m 33s
Add slides ITP24's Coq Workshop Docker CI #76: Pull request #55 opened by thomas-lamiaux
October 13, 2024 13:34 2m 34s thomas-lamiaux:slides-CoqWorkshop-09-2024
thomas-lamiaux:slides-CoqWorkshop-09-2024
October 13, 2024 13:34 2m 34s
Tutorial Equations: Indexed Inductive Types Docker CI #75: Pull request #9 synchronize by thomas-lamiaux
October 11, 2024 16:22 2m 40s tuto-equations-indexed
tuto-equations-indexed
October 11, 2024 16:22 2m 40s
Tutorial Equations: Indexed Inductive Types Docker CI #74: Pull request #9 synchronize by thomas-lamiaux
October 8, 2024 15:07 2m 28s tuto-equations-indexed
tuto-equations-indexed
October 8, 2024 15:07 2m 28s
Tutorial Equations: Indexed Inductive Types Docker CI #73: Pull request #9 synchronize by thomas-lamiaux
October 8, 2024 14:40 2m 33s tuto-equations-indexed
tuto-equations-indexed
October 8, 2024 14:40 2m 33s
Tutorial Equations: Indexed Inductive Types Docker CI #72: Pull request #9 synchronize by thomas-lamiaux
October 7, 2024 19:25 2m 44s tuto-equations-indexed
tuto-equations-indexed
October 7, 2024 19:25 2m 44s
Tutorial Equations: Indexed Inductive Types Docker CI #71: Pull request #9 synchronize by thomas-lamiaux
September 20, 2024 03:04 2m 30s tuto-equations-indexed
tuto-equations-indexed
September 20, 2024 03:04 2m 30s
Tutorial Equations: Indexed Inductive Types Docker CI #70: Pull request #9 synchronize by thomas-lamiaux
September 10, 2024 16:16 2m 34s tuto-equations-indexed
tuto-equations-indexed
September 10, 2024 16:16 2m 34s
Fix link to repository after transfer to Coq organization. Docker CI #69: Commit cceeae4 pushed by Zimmi48
September 2, 2024 16:21 3m 28s main
main
September 2, 2024 16:21 3m 28s
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