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

Merge pull request #424 from MSoegtropIMC/add-back-metacoq-rm Macos #1813: Commit 4a04a4d pushed by MSoegtropIMC
July 24, 2024 06:14 1h 14m 45s main
main
July 24, 2024 06:14 1h 14m 45s
Macos Macos #1812: Scheduled
July 24, 2024 00:45 1h 22m 5s main
main
July 24, 2024 00:45 1h 22m 5s
Opam: coq-metacoq-template: add back the 'rm _PluginProject' fix Macos #1811: Pull request #424 opened by MSoegtropIMC
July 23, 2024 15:54 1h 17m 3s MSoegtropIMC:add-back-metacoq-rm
MSoegtropIMC:add-back-metacoq-rm
July 23, 2024 15:54 1h 17m 3s
Merge pull request #422 from rtetley/remove-patch Macos #1810: Commit 0956664 pushed by MSoegtropIMC
July 23, 2024 10:08 1h 30m 21s main
main
July 23, 2024 10:08 1h 30m 21s
Macos Macos #1809: Scheduled
July 23, 2024 00:44 1h 17m 53s main
main
July 23, 2024 00:44 1h 17m 53s
Fix ubuntu CI failiures Macos #1808: Pull request #422 synchronize by MSoegtropIMC
July 22, 2024 19:49 1h 15m 49s rtetley:remove-patch
rtetley:remove-patch
July 22, 2024 19:49 1h 15m 49s
Fix ubuntu CI failiures Macos #1807: Pull request #422 synchronize by MSoegtropIMC
July 22, 2024 16:24 1h 6m 32s rtetley:remove-patch
rtetley:remove-patch
July 22, 2024 16:24 1h 6m 32s
Fix ubuntu CI failiures Macos #1806: Pull request #422 synchronize by MSoegtropIMC
July 22, 2024 08:22 1h 22m 57s rtetley:remove-patch
rtetley:remove-patch
July 22, 2024 08:22 1h 22m 57s
Macos Macos #1805: Scheduled
July 22, 2024 00:46 1h 40m 39s main
main
July 22, 2024 00:46 1h 40m 39s
Macos Macos #1804: Scheduled
July 21, 2024 00:48 1h 13m 38s main
main
July 21, 2024 00:48 1h 13m 38s
Macos Macos #1803: Scheduled
July 20, 2024 00:43 1h 19m 32s main
main
July 20, 2024 00:43 1h 19m 32s
Add Tactician to the platform Macos #1802: Pull request #423 opened by LasseBlaauwbroek
July 19, 2024 02:09 1h 47m 39s coq-tactician:tactician
coq-tactician:tactician
July 19, 2024 02:09 1h 47m 39s
Macos Macos #1801: Scheduled
July 19, 2024 00:43 1h 16m 18s main
main
July 19, 2024 00:43 1h 16m 18s
Fix ubuntu CI failiures Macos #1800: Pull request #422 synchronize by rtetley
July 18, 2024 11:17 2h 6m 36s rtetley:remove-patch
rtetley:remove-patch
July 18, 2024 11:17 2h 6m 36s
Fix ubuntu CI failiures Macos #1799: Pull request #422 synchronize by rtetley
July 18, 2024 09:17 1h 17m 14s rtetley:remove-patch
rtetley:remove-patch
July 18, 2024 09:17 1h 17m 14s
Macos Macos #1798: Scheduled
July 18, 2024 00:43 1h 15m 17s main
main
July 18, 2024 00:43 1h 15m 17s
Macos Macos #1797: Scheduled
July 17, 2024 00:44 1h 16m 49s main
main
July 17, 2024 00:44 1h 16m 49s
Fix ubuntu CI failiures Macos #1796: Pull request #422 synchronize by rtetley
July 16, 2024 12:31 1h 23m 11s rtetley:remove-patch
rtetley:remove-patch
July 16, 2024 12:31 1h 23m 11s
Macos Macos #1795: Scheduled
July 16, 2024 00:44 1h 17m 27s main
main
July 16, 2024 00:44 1h 17m 27s
Macos Macos #1794: Scheduled
July 15, 2024 00:45 1h 11m 53s main
main
July 15, 2024 00:45 1h 11m 53s
Macos Macos #1793: Scheduled
July 14, 2024 00:48 1h 11m 50s main
main
July 14, 2024 00:48 1h 11m 50s
Macos Macos #1792: Scheduled
July 13, 2024 00:43 1h 10m 16s main
main
July 13, 2024 00:43 1h 10m 16s
Fix ubuntu CI failiures Macos #1791: Pull request #422 synchronize by rtetley
July 12, 2024 14:33 4h 53m 57s rtetley:remove-patch
rtetley:remove-patch
July 12, 2024 14:33 4h 53m 57s
Package updates Macos #1790: Pull request #411 synchronize by rtetley
July 12, 2024 14:00 5h 22m 47s rtetley:package-updates
rtetley:package-updates
July 12, 2024 14:00 5h 22m 47s
Fix ubuntu CI failiures Macos #1789: Pull request #422 synchronize by rtetley
July 12, 2024 13:43 5h 33m 53s rtetley:remove-patch
rtetley:remove-patch
July 12, 2024 13:43 5h 33m 53s