Skip to content

Actions: coq/platform

Actions

Macos

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
macos.yml
689 workflow runs
689 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Macos Macos #1899: Scheduled
September 26, 2024 00:51 1h 24m 25s main
main
September 26, 2024 00:51 1h 24m 25s
Macos Macos #1898: Scheduled
September 25, 2024 00:52 1h 32m 23s main
main
September 25, 2024 00:52 1h 32m 23s
Macos Macos #1897: Scheduled
September 24, 2024 00:51 1h 31m 16s main
main
September 24, 2024 00:51 1h 31m 16s
Macos Macos #1896: Scheduled
September 23, 2024 00:51 1h 36m 29s main
main
September 23, 2024 00:51 1h 36m 29s
Macos Macos #1895: Scheduled
September 22, 2024 00:55 1h 21m 11s main
main
September 22, 2024 00:55 1h 21m 11s
Macos Macos #1894: Scheduled
September 21, 2024 00:49 1h 18m 51s main
main
September 21, 2024 00:49 1h 18m 51s
Macos Macos #1893: Scheduled
September 20, 2024 00:49 1h 35m 56s main
main
September 20, 2024 00:49 1h 35m 56s
Macos Macos #1892: Scheduled
September 19, 2024 00:50 1h 32m 8s main
main
September 19, 2024 00:50 1h 32m 8s
Macos Macos #1891: Scheduled
September 18, 2024 00:49 1h 27m 23s main
main
September 18, 2024 00:49 1h 27m 23s
Merge pull request #431 from MSoegtropIMC/windows-package-fixes Macos #1890: Commit ff62d7a pushed by MSoegtropIMC
September 17, 2024 07:29 1h 28m 47s main
main
September 17, 2024 07:29 1h 28m 47s
Macos Macos #1889: Scheduled
September 17, 2024 00:40 1h 44m 25s main
main
September 17, 2024 00:40 1h 44m 25s
Windows package fixes Macos #1888: Pull request #431 opened by MSoegtropIMC
September 16, 2024 20:50 1h 21m 34s MSoegtropIMC:windows-package-fixes
MSoegtropIMC:windows-package-fixes
September 16, 2024 20:50 1h 21m 34s
Macos Macos #1887: Scheduled
September 16, 2024 00:52 1h 26m 29s main
main
September 16, 2024 00:52 1h 26m 29s
Macos Macos #1886: Scheduled
September 15, 2024 00:55 1h 24m 23s main
main
September 15, 2024 00:55 1h 24m 23s
Macos Macos #1885: Scheduled
September 14, 2024 00:47 1h 23m 36s main
main
September 14, 2024 00:47 1h 23m 36s
Macos Macos #1884: Scheduled
September 13, 2024 00:49 1h 20m 18s main
main
September 13, 2024 00:49 1h 20m 18s
Macos Macos #1883: Scheduled
September 12, 2024 00:48 4h 6m 14s main
main
September 12, 2024 00:48 4h 6m 14s
Give more detail on creating customized versions Macos #1882: Pull request #430 synchronize by jfehrle
September 11, 2024 22:49 5h 27m 4s jfehrle:main
jfehrle:main
September 11, 2024 22:49 5h 27m 4s
Give more detail on creating customized versions Macos #1881: Pull request #430 opened by jfehrle
September 11, 2024 22:47 5h 17m 56s jfehrle:main
jfehrle:main
September 11, 2024 22:47 5h 17m 56s
Add a pick for 8.19.2 with the Ltac2 debugger (preview) Macos #1880: Pull request #429 synchronize by jfehrle
September 11, 2024 20:59 1h 23m 5s jfehrle:ltac2_debugger
jfehrle:ltac2_debugger
September 11, 2024 20:59 1h 23m 5s
Package updates Macos #1879: Pull request #411 synchronize by rtetley
September 11, 2024 08:46 2h 19m 4s rtetley:package-updates
rtetley:package-updates
September 11, 2024 08:46 2h 19m 4s
Package updates Macos #1878: Pull request #411 synchronize by rtetley
September 11, 2024 08:14 22m 48s rtetley:package-updates
rtetley:package-updates
September 11, 2024 08:14 22m 48s
Merge pull request #428 from MSoegtropIMC/windows-enable-long-path Macos #1877: Commit eee070b pushed by MSoegtropIMC
September 11, 2024 07:34 2h 38m 10s main
main
September 11, 2024 07:34 2h 38m 10s
Add a pick for 8.19.2 with the Ltac2 debugger (preview) Macos #1876: Pull request #429 opened by jfehrle
September 11, 2024 06:41 2h 9m 45s jfehrle:ltac2_debugger
jfehrle:ltac2_debugger
September 11, 2024 06:41 2h 9m 45s
Macos Macos #1875: Scheduled
September 11, 2024 00:48 1h 20m 28s main
main
September 11, 2024 00:48 1h 20m 28s