Skip to content

Actions: coq/platform-docs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
68 workflow runs
68 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
a tutorial draft about SSReflect tactics Docker CI #63: Pull request #37 synchronize by grianneau
August 26, 2024 13:45 Action required grianneau:SSReflect_tactics
grianneau:SSReflect_tactics
August 26, 2024 13:45 Action required
a tutorial draft about SSReflect tactics Docker CI #62: Pull request #37 synchronize by grianneau
August 26, 2024 13:31 Action required grianneau:SSReflect_tactics
grianneau:SSReflect_tactics
August 26, 2024 13:31 Action required
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