Skip to content

Actions: coq/rocq-prover.org

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
153 workflow runs
153 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #43 from CohenCyril/repair-broken-link-to-ocaml-we… CI #57: Commit c51cb2e pushed by tabareau
January 3, 2025 16:55 6m 45s main
main
January 3, 2025 16:55 6m 45s
add tuto intro patterns to docs CI #56: Pull request #44 opened by thomas-lamiaux
January 3, 2025 16:32 6m 26s thomas-lamiaux:update_doc
thomas-lamiaux:update_doc
January 3, 2025 16:32 6m 26s
repairing link to ocaml website CI #55: Pull request #43 opened by CohenCyril
January 3, 2025 16:30 6m 40s CohenCyril:repair-broken-link-to-ocaml-website
CohenCyril:repair-broken-link-to-ocaml-website
January 3, 2025 16:30 6m 40s
Merge pull request #42 from yforster/words CI #54: Commit 7be631e pushed by tabareau
January 3, 2025 13:38 6m 49s main
main
January 3, 2025 13:38 6m 49s
Formulations from Ocaml website not really fitting to Rocq CI #53: Pull request #42 opened by yforster
January 3, 2025 12:51 6m 21s yforster:words
yforster:words
January 3, 2025 12:51 6m 21s
Merge pull request #40 from yforster/top-universities CI #52: Commit 4319d1d pushed by tabareau
January 3, 2025 11:27 6m 17s main
main
January 3, 2025 11:27 6m 17s
'Top Universities Teach Rocq' -> 'Selected Universities Teaching Rocq' CI #51: Pull request #40 synchronize by tabareau
January 3, 2025 11:16 6m 27s yforster:top-universities
yforster:top-universities
January 3, 2025 11:16 6m 27s
Merge pull request #39 from yforster/link-to-inria CI #50: Commit 9806077 pushed by tabareau
January 3, 2025 11:08 8m 50s main
main
January 3, 2025 11:08 8m 50s
Link Inria website from frontpage CI #48: Pull request #39 opened by yforster
January 3, 2025 10:52 7m 29s yforster:link-to-inria
yforster:link-to-inria
January 3, 2025 10:52 7m 29s
Merge pull request #37 from coq/link-to-install-page CI #47: Commit 7d09cd5 pushed by tabareau
January 2, 2025 16:42 6m 6s main
main
January 2, 2025 16:42 6m 6s
More sensible links for beginners installing Rocq. CI #46: Pull request #37 synchronize by Zimmi48
January 2, 2025 16:39 6m 35s link-to-install-page
link-to-install-page
January 2, 2025 16:39 6m 35s
Merge pull request #36 from coq/rework-recommended-books CI #45: Commit bd83709 pushed by proux01
January 2, 2025 16:30 8m 14s main
main
January 2, 2025 16:30 8m 14s
More sensible links for beginners installing Rocq. CI #44: Pull request #37 opened by Zimmi48
January 2, 2025 15:57 6m 40s link-to-install-page
link-to-install-page
January 2, 2025 15:57 6m 40s
Update recommended books for beginner and intermediate levels. CI #43: Pull request #36 opened by Zimmi48
January 2, 2025 15:43 6m 18s rework-recommended-books
rework-recommended-books
January 2, 2025 15:43 6m 18s
Proposal: structure documentation on Rocq website according to Diátaxis CI #42: Pull request #26 synchronize by mattam82
January 2, 2025 14:58 6m 20s diataxis
diataxis
January 2, 2025 14:58 6m 20s
Some steps toward easier inclusion of Platform Docs tutorials. CI #41: Pull request #22 synchronize by mattam82
January 2, 2025 14:53 6m 29s external_html
external_html
January 2, 2025 14:53 6m 29s
Merge pull request #35 from mattam82/fix-license CI #40: Commit 4023bc4 pushed by tabareau
January 2, 2025 14:47 6m 25s main
main
January 2, 2025 14:47 6m 25s
Fix wrong renaming in LICENSE CI #39: Pull request #35 opened by mattam82
January 2, 2025 14:41 6m 7s mattam82:fix-license
mattam82:fix-license
January 2, 2025 14:41 6m 7s
Capitalize in footer CI #38: Commit 9a9cad2 pushed by mattam82
January 2, 2025 13:44 6m 38s main
main
January 2, 2025 13:44 6m 38s
mention Coq on the home page CI #37: Commit a1c2425 pushed by tabareau
January 2, 2025 12:30 6m 23s main
main
January 2, 2025 12:30 6m 23s
test deployment CI #36: Commit 009b2b6 pushed by mattam82
January 2, 2025 10:58 6m 9s main
main
January 2, 2025 10:58 6m 9s
test deployment CI #35: Commit 1f8a1b5 pushed by mattam82
January 2, 2025 10:14 6m 53s main
main
January 2, 2025 10:14 6m 53s
Fix contrast in docs overview CI #34: Commit b9fb3b7 pushed by BastienSozeau
January 2, 2025 09:36 6m 23s main
main
January 2, 2025 09:36 6m 23s
test deployment CI #33: Commit 293d2d7 pushed by mattam82
January 2, 2025 08:14 6m 37s main
main
January 2, 2025 08:14 6m 37s
test deployment CI #32: Commit 0de5ba5 pushed by mattam82
January 2, 2025 08:03 6m 26s main
main
January 2, 2025 08:03 6m 26s