Skip to content

Actions: coq/platform-docs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
108 workflow runs
108 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Tutorial Equations: well-founded recursion Docker CI #25: Pull request #8 synchronize by thomas-lamiaux
June 21, 2024 12:04 2m 27s tuto-equations-wf
tuto-equations-wf
June 21, 2024 12:04 2m 27s
fix some typose in RequireImport tutorial Docker CI #24: Pull request #25 opened by Villetaneuse
June 21, 2024 07:39 2m 28s Villetaneuse:RequireImport_typos
Villetaneuse:RequireImport_typos
June 21, 2024 07:39 2m 28s
Update README.md Docker CI #23: Commit a469ba8 pushed by thomas-lamiaux
June 20, 2024 21:34 2m 48s main
main
June 20, 2024 21:34 2m 48s
Update README.md with interface Docker CI #22: Commit 1bd0ec5 pushed by thomas-lamiaux
June 20, 2024 21:11 2m 42s main
main
June 20, 2024 21:11 2m 42s
Tutorial Equations: well-founded recursion Docker CI #21: Pull request #8 synchronize by thomas-lamiaux
June 20, 2024 20:45 2m 27s tuto-equations-wf
tuto-equations-wf
June 20, 2024 20:45 2m 27s
Merge pull request #24 from Zimmi48/ci-cd Docker CI #20: Commit 4811bb1 pushed by Zimmi48
June 20, 2024 11:52 3m 13s main
main
June 20, 2024 11:52 3m 13s
Introduce GitHub Action. Docker CI #19: Pull request #24 synchronize by Zimmi48
June 20, 2024 11:49 2m 26s ci-cd
ci-cd
June 20, 2024 11:49 2m 26s
Tentative fix. Docker CI #18: Commit eef25e4 pushed by Zimmi48
June 20, 2024 11:40 2m 32s ci-cd
ci-cd
June 20, 2024 11:40 2m 32s
Tmp commit to test deploy job. Docker CI #17: Commit 3f88b88 pushed by Zimmi48
June 20, 2024 10:55 2m 38s ci-cd
ci-cd
June 20, 2024 10:55 2m 38s
Fix attempt. Docker CI #16: Commit cd3e273 pushed by Zimmi48
June 20, 2024 10:40 25s ci-cd
ci-cd
June 20, 2024 10:40 25s
Tmp commit to test deploy job. Docker CI #15: Commit 72227f6 pushed by Zimmi48
June 20, 2024 10:02 2m 15s ci-cd
ci-cd
June 20, 2024 10:02 2m 15s
Introduce GitHub Action. Docker CI #14: Pull request #24 synchronize by Zimmi48
June 20, 2024 10:01 54s ci-cd
ci-cd
June 20, 2024 10:01 54s
Introduce GitHub Action. Docker CI #13: Pull request #24 synchronize by Zimmi48
June 20, 2024 09:37 2m 20s ci-cd
ci-cd
June 20, 2024 09:37 2m 20s
Introduce GitHub Action. Docker CI #12: Pull request #24 synchronize by Zimmi48
June 20, 2024 09:29 2m 9s ci-cd
ci-cd
June 20, 2024 09:29 2m 9s
Introduce GitHub Action. Docker CI #11: Pull request #24 synchronize by Zimmi48
June 20, 2024 09:16 2m 18s ci-cd
ci-cd
June 20, 2024 09:16 2m 18s
Introduce GitHub Action. Docker CI #10: Pull request #24 synchronize by Zimmi48
June 20, 2024 09:02 2m 6s ci-cd
ci-cd
June 20, 2024 09:02 2m 6s
Introduce GitHub Action. Docker CI #9: Pull request #24 synchronize by Zimmi48
June 20, 2024 08:46 2m 6s ci-cd
ci-cd
June 20, 2024 08:46 2m 6s
Introduce GitHub Action. Docker CI #8: Pull request #24 synchronize by Zimmi48
June 19, 2024 18:58 1m 58s ci-cd
ci-cd
June 19, 2024 18:58 1m 58s
Introduce GitHub Action. Docker CI #7: Pull request #24 synchronize by Zimmi48
June 19, 2024 18:50 2m 12s ci-cd
ci-cd
June 19, 2024 18:50 2m 12s