Skip to content

Actions: coq/platform

Actions

Macos

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
macos.yml
652 workflow runs
652 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Macos Macos #2008: Scheduled
December 6, 2024 00:56 1h 22m 28s main
main
December 6, 2024 00:56 1h 22m 28s
Merge pull request #450 from MSoegtropIMC/8.20-prep-1 Macos #2007: Commit de85c30 pushed by MSoegtropIMC
December 5, 2024 09:43 1h 36m 16s main
main
December 5, 2024 09:43 1h 36m 16s
Macos Macos #2006: Scheduled
December 5, 2024 00:57 1h 33m 7s main
main
December 5, 2024 00:57 1h 33m 7s
Pick 8.20~2025.01: first preview with all packages that work as is Macos #2005: Pull request #450 synchronize by MSoegtropIMC
December 4, 2024 19:37 1h 41m 31s MSoegtropIMC:8.20-prep-1
MSoegtropIMC:8.20-prep-1
December 4, 2024 19:37 1h 41m 31s
Pick 8.20~2025.01: first preview with all packages that work as is Macos #2004: Pull request #450 synchronize by MSoegtropIMC
December 4, 2024 11:53 1h 49m 26s MSoegtropIMC:8.20-prep-1
MSoegtropIMC:8.20-prep-1
December 4, 2024 11:53 1h 49m 26s
Pick 8.20~2025.01: first preview with all packages that work as is Macos #2003: Pull request #450 opened by MSoegtropIMC
December 4, 2024 08:49 1h 34m 22s MSoegtropIMC:8.20-prep-1
MSoegtropIMC:8.20-prep-1
December 4, 2024 08:49 1h 34m 22s
Macos Macos #2002: Scheduled
December 4, 2024 00:57 1h 26m 42s main
main
December 4, 2024 00:57 1h 26m 42s
Macos Macos #2001: Scheduled
December 3, 2024 00:57 1h 50m 24s main
main
December 3, 2024 00:57 1h 50m 24s
Merge pull request #448 from MSoegtropIMC/release-2024.10.1 Macos #2000: Commit 7c4352c pushed by MSoegtropIMC
December 2, 2024 16:24 1h 36m 39s main
main
December 2, 2024 16:24 1h 36m 39s
Prepare bug-fix release to adjust to opam 2.3.0 Macos #1999: Pull request #448 opened by MSoegtropIMC
December 2, 2024 13:11 1h 42m 13s MSoegtropIMC:release-2024.10.1
MSoegtropIMC:release-2024.10.1
December 2, 2024 13:11 1h 42m 13s
Macos Macos #1998: Scheduled
December 2, 2024 00:58 1h 18m 48s main
main
December 2, 2024 00:58 1h 18m 48s
Macos Macos #1997: Scheduled
December 1, 2024 01:05 1h 24m 51s main
main
December 1, 2024 01:05 1h 24m 51s
Macos Macos #1996: Scheduled
November 30, 2024 00:54 1h 17m 7s main
main
November 30, 2024 00:54 1h 17m 7s
Macos Macos #1995: Scheduled
November 29, 2024 00:55 1h 27m 8s main
main
November 29, 2024 00:55 1h 27m 8s
Macos Macos #1994: Scheduled
November 28, 2024 00:55 1h 34m 27s main
main
November 28, 2024 00:55 1h 34m 27s
Macos Macos #1993: Scheduled
November 27, 2024 00:55 1h 30m 22s main
main
November 27, 2024 00:55 1h 30m 22s
Fixed minor Typo in MacOS installation doc Macos #1992: Pull request #447 opened by caelum02
November 26, 2024 05:37 1h 52m 7s caelum02:caelum02-patch-1
caelum02:caelum02-patch-1
November 26, 2024 05:37 1h 52m 7s
Macos Macos #1991: Scheduled
November 26, 2024 00:55 1h 29m 28s main
main
November 26, 2024 00:55 1h 29m 28s
Macos Macos #1990: Scheduled
November 25, 2024 00:56 1h 27m 18s main
main
November 25, 2024 00:56 1h 27m 18s
Macos Macos #1989: Scheduled
November 24, 2024 00:58 1h 29m 17s main
main
November 24, 2024 00:58 1h 29m 17s
Macos Macos #1988: Scheduled
November 23, 2024 00:52 1h 14m 38s main
main
November 23, 2024 00:52 1h 14m 38s
Macos Macos #1987: Scheduled
November 22, 2024 00:55 1h 32m 0s main
main
November 22, 2024 00:55 1h 32m 0s
Macos Macos #1986: Scheduled
November 21, 2024 00:54 1h 29m 1s main
main
November 21, 2024 00:54 1h 29m 1s
Macos Macos #1985: Scheduled
November 20, 2024 00:54 1h 29m 3s main
main
November 20, 2024 00:54 1h 29m 3s
Merge pull request #429 from jfehrle/ltac2_debugger Macos #1984: Commit 1a7db05 pushed by MSoegtropIMC
November 19, 2024 09:45 1h 50m 51s main
main
November 19, 2024 09:45 1h 50m 51s