Skip to content

Actions: Zimmi48/coq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
185 workflow runs
185 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Rename occurrence of Coq in Sphinx configuration. GitHub macOS CI #193: Commit 41db2bf pushed by Zimmi48
October 10, 2024 15:15 29m 36s renaming-sphinx-conf
renaming-sphinx-conf
October 10, 2024 15:15 29m 36s
Rename occurrence of Coq in Sphinx configuration. Check conflicts #497: Commit 41db2bf pushed by Zimmi48
October 10, 2024 15:15 11s renaming-sphinx-conf
renaming-sphinx-conf
October 10, 2024 15:15 11s
Rename occurrence of Coq in Sphinx configuration. Windows CI #192: Commit 41db2bf pushed by Zimmi48
October 10, 2024 15:15 42m 0s renaming-sphinx-conf
renaming-sphinx-conf
October 10, 2024 15:15 42m 0s
Replace most occurrences of Coq into Rocq in the refman. Check conflicts #496: Commit 3c3ebb0 pushed by Zimmi48
October 9, 2024 12:24 15s renaming-refman
renaming-refman
October 9, 2024 12:24 15s
Replace most occurrences of Coq into Rocq in the refman. GitHub macOS CI #192: Commit 3c3ebb0 pushed by Zimmi48
October 9, 2024 12:24 29m 55s renaming-refman
renaming-refman
October 9, 2024 12:24 29m 55s
Replace most occurrences of Coq into Rocq in the refman. Windows CI #191: Commit 3c3ebb0 pushed by Zimmi48
October 9, 2024 12:24 1h 0m 49s renaming-refman
renaming-refman
October 9, 2024 12:24 1h 0m 49s
Replace most occurrences of Coq into Rocq in the refman. Windows CI #190: Commit 8a05546 pushed by Zimmi48
October 9, 2024 09:13 1h 4m 0s renaming-refman
renaming-refman
October 9, 2024 09:13 1h 4m 0s
Replace most occurrences of Coq into Rocq in the refman. Check conflicts #495: Commit 8a05546 pushed by Zimmi48
October 9, 2024 09:13 10s renaming-refman
renaming-refman
October 9, 2024 09:13 10s
Replace most occurrences of Coq into Rocq in the refman. GitHub macOS CI #191: Commit 8a05546 pushed by Zimmi48
October 9, 2024 09:13 31m 59s renaming-refman
renaming-refman
October 9, 2024 09:13 31m 59s
Replace forgotten Coq prefixes by Stdlib. Windows CI #189: Commit b4ec8da pushed by Zimmi48
October 9, 2024 09:09 41m 37s fix-forgotten-coq-prefixes
fix-forgotten-coq-prefixes
October 9, 2024 09:09 41m 37s
Replace forgotten Coq prefixes by Stdlib. Check conflicts #494: Commit b4ec8da pushed by Zimmi48
October 9, 2024 09:09 12s fix-forgotten-coq-prefixes
fix-forgotten-coq-prefixes
October 9, 2024 09:09 12s
Replace forgotten Coq prefixes by Stdlib. GitHub macOS CI #190: Commit b4ec8da pushed by Zimmi48
October 9, 2024 09:09 31m 59s fix-forgotten-coq-prefixes
fix-forgotten-coq-prefixes
October 9, 2024 09:09 31m 59s
Adapt issue template to renaming. Check conflicts #493: Commit 063419e pushed by Zimmi48
October 9, 2024 06:44 13s renaming-issue-template
renaming-issue-template
October 9, 2024 06:44 13s
Adapt issue template to renaming. GitHub macOS CI #189: Commit 063419e pushed by Zimmi48
October 9, 2024 06:44 28m 23s renaming-issue-template
renaming-issue-template
October 9, 2024 06:44 28m 23s
Adapt issue template to renaming. Windows CI #188: Commit 063419e pushed by Zimmi48
October 9, 2024 06:44 59m 15s renaming-issue-template
renaming-issue-template
October 9, 2024 06:44 59m 15s
Clarify what is qualid after #18295. GitHub macOS CI #188: Commit a86a47a pushed by Zimmi48
September 30, 2024 12:53 28m 35s fix-qualid-ref
fix-qualid-ref
September 30, 2024 12:53 28m 35s
Clarify what is qualid after #18295. Check conflicts #492: Commit a86a47a pushed by Zimmi48
September 30, 2024 12:53 21s fix-qualid-ref
fix-qualid-ref
September 30, 2024 12:53 21s
Clarify what is qualid after #18295. Windows CI #187: Commit a86a47a pushed by Zimmi48
September 30, 2024 12:53 1h 1m 27s fix-qualid-ref
fix-qualid-ref
September 30, 2024 12:53 1h 1m 27s
Add detailed instructions to update the Zenodo record. GitHub macOS CI #187: Commit 141abde pushed by Zimmi48
June 11, 2024 07:00 26m 48s zenodo
zenodo
June 11, 2024 07:00 26m 48s
Add detailed instructions to update the Zenodo record. Check conflicts #491: Commit 141abde pushed by Zimmi48
June 11, 2024 07:00 12s zenodo
zenodo
June 11, 2024 07:00 12s
Add detailed instructions to update the Zenodo record. Windows CI #186: Commit 141abde pushed by Zimmi48
June 11, 2024 07:00 44m 28s zenodo
zenodo
June 11, 2024 07:00 44m 28s
Add detailed instructions to update the Zenodo record. Check conflicts #490: Commit afbd51c pushed by Zimmi48
June 10, 2024 16:32 11s zenodo
zenodo
June 10, 2024 16:32 11s
Add detailed instructions to update the Zenodo record. Windows CI #185: Commit afbd51c pushed by Zimmi48
June 10, 2024 16:32 1h 8m 11s zenodo
zenodo
June 10, 2024 16:32 1h 8m 11s
Add detailed instructions to update the Zenodo record. GitHub macOS CI #186: Commit afbd51c pushed by Zimmi48
June 10, 2024 16:32 27m 56s zenodo
zenodo
June 10, 2024 16:32 27m 56s
Start a GoodDefaults file collecting recommended option settings. Check conflicts #489: Commit 3218c65 pushed by Zimmi48
May 30, 2024 13:48 13s good-defaults
good-defaults
May 30, 2024 13:48 13s