Skip to content

Actions: Zimmi48/coq

Actions

GitHub macOS CI

Actions

Loading...

Show workflow options

Create status badge

ci-macos.yml
72 workflow runs
72 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
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. 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. GitHub macOS CI #185: Commit 3218c65 pushed by Zimmi48
May 30, 2024 13:48 29m 22s good-defaults
good-defaults
May 30, 2024 13:48 29m 22s
Fix file extensions in CODEOWNERS. GitHub macOS CI #184: Commit ae0333e pushed by Zimmi48
May 27, 2024 11:51 27m 26s fix-codeowners-md
fix-codeowners-md
May 27, 2024 11:51 27m 26s
One step further in identifying the syntax of module types and module… GitHub macOS CI #183: Commit 67cde16 pushed by herbelin
January 24, 2024 13:38 1h 18m 50s clean-include-syntax
clean-include-syntax
January 24, 2024 13:38 1h 18m 50s
Partially revert #18108: go back to canonical coq.inria.fr URLs. GitHub macOS CI #182: Commit 4c7510d pushed by Zimmi48
October 12, 2023 19:42 38m 48s switch-urls-back-to-canonical-url
switch-urls-back-to-canonical-url
October 12, 2023 19:42 38m 48s
Fix CODEOWNERS for doc/stdlib. GitHub macOS CI #181: Commit fc7b936 pushed by Zimmi48
October 11, 2023 11:28 34m 0s fix-codeowners-stdlib-doc
fix-codeowners-stdlib-doc
October 11, 2023 11:28 34m 0s
Fix CODEOWNERS for doc/stdlib. GitHub macOS CI #180: Commit d44f859 pushed by Zimmi48
October 11, 2023 11:27 40m 15s fix-codeowners-stdlib-doc
fix-codeowners-stdlib-doc
October 11, 2023 11:27 40m 15s
Fix GitHub CI badge in README by creating one for each workflow. GitHub macOS CI #179: Commit 982d7ac pushed by Zimmi48
September 20, 2023 12:50 37m 2s fix-github-ci-badge
fix-github-ci-badge
September 20, 2023 12:50 37m 2s
Remove distro-specific badges from README. GitHub macOS CI #178: Commit 65b4d04 pushed by Zimmi48
September 20, 2023 12:41 38m 36s remove-distro-badges
remove-distro-badges
September 20, 2023 12:41 38m 36s
Update doc/sphinx/proof-engine/ltac.rst GitHub macOS CI #177: Commit e48b13c pushed by Zimmi48
August 3, 2023 08:17 33m 27s note-ltac1-ltac2
note-ltac1-ltac2
August 3, 2023 08:17 33m 27s
Split Docker images in two: one for base and one for edge. GitHub macOS CI #176: Commit 6072527 pushed by Zimmi48
August 2, 2023 11:18 35m 42s split-docker-image-in-two
split-docker-image-in-two
August 2, 2023 11:18 35m 42s
Split Docker images in two: one for base and one for edge. GitHub macOS CI #175: Commit 3192b31 pushed by Zimmi48
August 2, 2023 11:16 50m 36s split-docker-image-in-two
split-docker-image-in-two
August 2, 2023 11:16 50m 36s
Advertise Ltac2 in Ltac chapter. GitHub macOS CI #174: Commit 799d8f7 pushed by Zimmi48
August 1, 2023 09:36 39m 2s note-ltac1-ltac2
note-ltac1-ltac2
August 1, 2023 09:36 39m 2s
Split Docker images in two: one for base and one for edge. GitHub macOS CI #173: Commit a156636 pushed by Zimmi48
August 1, 2023 08:04 36m 54s split-docker-image-in-two
split-docker-image-in-two
August 1, 2023 08:04 36m 54s
Fix broken link in XML protocol documentation. GitHub macOS CI #172: Commit 3e5d0cc pushed by Zimmi48
July 18, 2023 07:16 34m 36s fix-link
fix-link
July 18, 2023 07:16 34m 36s
Stop mentioning Local, Export, Global prefixes for Set. GitHub macOS CI #171: Commit 672ffeb pushed by Zimmi48
July 14, 2023 13:50 40m 28s remove-export-set-from-doc
remove-export-set-from-doc
July 14, 2023 13:50 40m 28s
Auto-generate opam files using Dune. GitHub macOS CI #170: Commit fd3604c pushed by Zimmi48
July 6, 2023 13:34 38m 47s generate-opam-files
generate-opam-files
July 6, 2023 13:34 38m 47s
Split Docker images in two: one for base and one for edge. GitHub macOS CI #169: Commit 94abecc pushed by Zimmi48
July 5, 2023 18:51 37m 4s split-docker-image-in-two
split-docker-image-in-two
July 5, 2023 18:51 37m 4s
Split Docker images in two: one for base and one for edge. GitHub macOS CI #168: Commit 0f14cf3 pushed by Zimmi48
July 5, 2023 16:24 39m 27s split-docker-image-in-two
split-docker-image-in-two
July 5, 2023 16:24 39m 27s
Auto-generate opam files using Dune. GitHub macOS CI #167: Commit f4d75a0 pushed by Zimmi48
July 4, 2023 15:52 51m 9s generate-opam-files
generate-opam-files
July 4, 2023 15:52 51m 9s
Update the coqide.opam file to match what is accepted in opam-reposit… GitHub macOS CI #166: Commit d3f2126 pushed by Zimmi48
July 4, 2023 15:47 38m 41s update-coqide-opam
update-coqide-opam
July 4, 2023 15:47 38m 41s
Split Docker images in two: one for base and one for edge. GitHub macOS CI #165: Commit 7a8c08c pushed by Zimmi48
July 4, 2023 15:40 41m 8s split-docker-image-in-two
split-docker-image-in-two
July 4, 2023 15:40 41m 8s
Auto-generate opam files using Dune. GitHub macOS CI #164: Commit b6e5b9c pushed by Zimmi48
July 3, 2023 12:04 37m 42s generate-opam-files
generate-opam-files
July 3, 2023 12:04 37m 42s
Auto-generate opam files using Dune. GitHub macOS CI #163: Commit 4065bc6 pushed by Zimmi48
July 3, 2023 11:56 38m 14s generate-opam-files
generate-opam-files
July 3, 2023 11:56 38m 14s