Skip to content

Actions: coq/platform

Actions

Macos

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
macos.yml
681 workflow runs
681 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Macos Macos #1938: Scheduled
October 21, 2024 00:53 1h 26m 39s main
main
October 21, 2024 00:53 1h 26m 39s
Macos Macos #1937: Scheduled
October 20, 2024 00:56 1h 28m 45s main
main
October 20, 2024 00:56 1h 28m 45s
Macos Macos #1936: Scheduled
October 19, 2024 00:51 1h 19m 27s main
main
October 19, 2024 00:51 1h 19m 27s
Macos Macos #1935: Scheduled
October 18, 2024 00:51 1h 27m 4s main
main
October 18, 2024 00:51 1h 27m 4s
Merge pull request #440 from MSoegtropIMC/8.19-release-prep-3 Macos #1934: Commit 483a341 pushed by MSoegtropIMC
October 17, 2024 11:59 1h 29m 20s main
main
October 17, 2024 11:59 1h 29m 20s
Fix #439 MacOS: coqide is complied with wrong deployment target Macos #1933: Pull request #440 opened by MSoegtropIMC
October 17, 2024 11:58 36s MSoegtropIMC:8.19-release-prep-3
MSoegtropIMC:8.19-release-prep-3
October 17, 2024 11:58 36s
Macos Macos #1932: Scheduled
October 17, 2024 00:51 1h 24m 11s main
main
October 17, 2024 00:51 1h 24m 11s
Macos Macos #1931: Scheduled
October 16, 2024 00:52 1h 18m 57s main
main
October 16, 2024 00:52 1h 18m 57s
Macos Macos #1930: Scheduled
October 15, 2024 00:52 1h 19m 1s main
main
October 15, 2024 00:52 1h 19m 1s
Merge pull request #437 from coq/8.19-release-prep-2 Macos #1929: Commit 508bf23 pushed by MSoegtropIMC
October 14, 2024 15:47 1h 13m 24s main
main
October 14, 2024 15:47 1h 13m 24s
Added more details on release process to maintainer_doc/release_process.md Macos #1928: Pull request #437 opened by MSoegtropIMC
October 14, 2024 15:31 14m 38s 8.19-release-prep-2
8.19-release-prep-2
October 14, 2024 15:31 14m 38s
Merge pull request #436 from MSoegtropIMC/8.19-release-prep-1 Macos #1927: Commit 7a2aab3 pushed by MSoegtropIMC
October 14, 2024 15:23 1h 35m 14s main
main
October 14, 2024 15:23 1h 35m 14s
Prepare release 2024.10 Macos #1926: Pull request #436 opened by MSoegtropIMC
October 14, 2024 11:38 1h 36m 49s MSoegtropIMC:8.19-release-prep-1
MSoegtropIMC:8.19-release-prep-1
October 14, 2024 11:38 1h 36m 49s
Macos Macos #1925: Scheduled
October 14, 2024 00:53 1h 23m 41s main
main
October 14, 2024 00:53 1h 23m 41s
Macos Macos #1924: Scheduled
October 13, 2024 00:55 1h 21m 24s main
main
October 13, 2024 00:55 1h 21m 24s
Macos Macos #1923: Scheduled
October 12, 2024 00:50 1h 24m 18s main
main
October 12, 2024 00:50 1h 24m 18s
Merge pull request #411 from rtetley/package-updates Macos #1922: Commit 8ea5c21 pushed by MSoegtropIMC
October 11, 2024 13:01 2h 6m 17s main
main
October 11, 2024 13:01 2h 6m 17s
Package updates Macos #1921: Pull request #411 synchronize by rtetley
October 11, 2024 08:28 1h 21m 56s rtetley:package-updates
rtetley:package-updates
October 11, 2024 08:28 1h 21m 56s
Package updates Macos #1920: Pull request #411 synchronize by rtetley
October 11, 2024 08:24 3m 30s rtetley:package-updates
rtetley:package-updates
October 11, 2024 08:24 3m 30s
Macos Macos #1919: Scheduled
October 11, 2024 00:51 1h 24m 10s main
main
October 11, 2024 00:51 1h 24m 10s
Macos Macos #1918: Scheduled
October 10, 2024 00:51 1h 30m 2s main
main
October 10, 2024 00:51 1h 30m 2s
Macos Macos #1917: Scheduled
October 9, 2024 00:51 1h 49m 51s main
main
October 9, 2024 00:51 1h 49m 51s
Macos Macos #1916: Scheduled
October 8, 2024 00:51 1h 40m 47s main
main
October 8, 2024 00:51 1h 40m 47s
Merge pull request #435 from MSoegtropIMC/windows-fix-coqdep Macos #1915: Commit 1d85bf0 pushed by MSoegtropIMC
October 7, 2024 07:18 1h 39m 55s main
main
October 7, 2024 07:18 1h 39m 55s
Macos Macos #1914: Scheduled
October 7, 2024 00:53 1h 15m 57s main
main
October 7, 2024 00:53 1h 15m 57s