Skip to content

Actions: coq/platform

Actions

Macos

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
macos.yml
680 workflow runs
680 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix ubuntu CI failiures Macos #1788: Pull request #422 opened by rtetley
July 12, 2024 13:02 4h 41m 28s rtetley:remove-patch
rtetley:remove-patch
July 12, 2024 13:02 4h 41m 28s
Macos Macos #1787: Scheduled
July 12, 2024 00:43 1h 12m 4s main
main
July 12, 2024 00:43 1h 12m 4s
Macos Macos #1786: Scheduled
July 11, 2024 00:44 1h 43m 46s main
main
July 11, 2024 00:44 1h 43m 46s
Patching latest lablgtk version Macos #1785: Pull request #416 synchronize by rtetley
July 10, 2024 14:07 6m 35s rtetley:main
rtetley:main
July 10, 2024 14:07 6m 35s
Merge pull request #421 from MSoegtropIMC/fix-coq-metacoq-template Macos #1784: Commit d446c8e pushed by MSoegtropIMC
July 10, 2024 06:53 1h 25m 27s main
main
July 10, 2024 06:53 1h 25m 27s
Macos Macos #1783: Scheduled
July 10, 2024 00:43 1h 24m 57s main
main
July 10, 2024 00:43 1h 24m 57s
Fix coq metacoq template Macos #1782: Pull request #421 synchronize by MSoegtropIMC
July 9, 2024 13:49 1h 21m 55s MSoegtropIMC:fix-coq-metacoq-template
MSoegtropIMC:fix-coq-metacoq-template
July 9, 2024 13:49 1h 21m 55s
Fix coq metacoq template Macos #1781: Pull request #421 opened by MSoegtropIMC
July 9, 2024 08:29 2h 46m 45s MSoegtropIMC:fix-coq-metacoq-template
MSoegtropIMC:fix-coq-metacoq-template
July 9, 2024 08:29 2h 46m 45s
Merge pull request #420 from MSoegtropIMC/macos-upload-build-on-failure Macos #1780: Commit 499489d pushed by MSoegtropIMC
July 9, 2024 07:25 1h 32m 5s main
main
July 9, 2024 07:25 1h 32m 5s
Macos Macos #1779: Scheduled
July 9, 2024 00:43 1h 12m 22s main
main
July 9, 2024 00:43 1h 12m 22s
Macos upload build on failure Macos #1778: Pull request #420 synchronize by MSoegtropIMC
July 8, 2024 16:23 1h 16m 8s MSoegtropIMC:macos-upload-build-on-failure
MSoegtropIMC:macos-upload-build-on-failure
July 8, 2024 16:23 1h 16m 8s
Macos upload build on failure Macos #1777: Pull request #420 synchronize by MSoegtropIMC
July 8, 2024 11:39 1h 13m 53s MSoegtropIMC:macos-upload-build-on-failure
MSoegtropIMC:macos-upload-build-on-failure
July 8, 2024 11:39 1h 13m 53s
Macos upload build on failure Macos #1776: Pull request #420 synchronize by MSoegtropIMC
July 8, 2024 09:44 1h 50m 41s MSoegtropIMC:macos-upload-build-on-failure
MSoegtropIMC:macos-upload-build-on-failure
July 8, 2024 09:44 1h 50m 41s
Macos upload build on failure Macos #1775: Pull request #420 opened by MSoegtropIMC
July 8, 2024 07:56 1h 6m 37s MSoegtropIMC:macos-upload-build-on-failure
MSoegtropIMC:macos-upload-build-on-failure
July 8, 2024 07:56 1h 6m 37s
Macos Macos #1774: Scheduled
July 8, 2024 00:44 1h 12m 30s main
main
July 8, 2024 00:44 1h 12m 30s
Macos Macos #1773: Scheduled
July 7, 2024 00:48 1h 7m 26s main
main
July 7, 2024 00:48 1h 7m 26s
Macos Macos #1772: Scheduled
July 6, 2024 00:41 1h 8m 3s main
main
July 6, 2024 00:41 1h 8m 3s
Merge pull request #418 from MSoegtropIMC/fix-windows-packport-pr19247 Macos #1771: Commit 0f6181d pushed by MSoegtropIMC
July 5, 2024 19:31 1h 11m 2s main
main
July 5, 2024 19:31 1h 11m 2s
Fix windows CI by packport pr19247 Macos #1770: Pull request #418 synchronize by MSoegtropIMC
July 5, 2024 15:45 2h 4m 44s MSoegtropIMC:fix-windows-packport-pr19247
MSoegtropIMC:fix-windows-packport-pr19247
July 5, 2024 15:45 2h 4m 44s
Fix windows CI by packport pr19247 Macos #1769: Pull request #418 opened by MSoegtropIMC
July 5, 2024 12:50 2h 6m 46s MSoegtropIMC:fix-windows-packport-pr19247
MSoegtropIMC:fix-windows-packport-pr19247
July 5, 2024 12:50 2h 6m 46s
Merge pull request #417 from MSoegtropIMC/update-dune-ocaml-fix-macos Macos #1768: Commit 23d03ef pushed by MSoegtropIMC
July 5, 2024 07:15 1h 26m 22s main
main
July 5, 2024 07:15 1h 26m 22s
Macos Macos #1767: Scheduled
July 5, 2024 00:42 1h 4m 19s main
main
July 5, 2024 00:42 1h 4m 19s
Update dune to 3.15.3, update OCaml to 4.14.2 Macos #1766: Pull request #417 synchronize by MSoegtropIMC
July 4, 2024 10:42 51m 36s MSoegtropIMC:update-dune-ocaml-fix-macos
MSoegtropIMC:update-dune-ocaml-fix-macos
July 4, 2024 10:42 51m 36s
Macos Macos #1765: Scheduled
July 4, 2024 00:43 1h 4m 30s main
main
July 4, 2024 00:43 1h 4m 30s
Update dune to 3.15.3, update OCaml to 4.14.2 Macos #1764: Pull request #417 synchronize by MSoegtropIMC
July 3, 2024 19:43 1h 13m 32s MSoegtropIMC:update-dune-ocaml-fix-macos
MSoegtropIMC:update-dune-ocaml-fix-macos
July 3, 2024 19:43 1h 13m 32s