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 #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
Macos Macos #1983: Scheduled
November 19, 2024 00:54 1h 55m 30s main
main
November 19, 2024 00:54 1h 55m 30s
Add a pick for 8.19.2 with the Ltac2 debugger (preview) Macos #1982: Pull request #429 synchronize by jfehrle
November 18, 2024 18:25 1h 40m 11s jfehrle:ltac2_debugger
jfehrle:ltac2_debugger
November 18, 2024 18:25 1h 40m 11s
Add a pick for 8.19.2 with the Ltac2 debugger (preview) Macos #1981: Pull request #429 synchronize by jfehrle
November 18, 2024 17:38 34m 52s jfehrle:ltac2_debugger
jfehrle:ltac2_debugger
November 18, 2024 17:38 34m 52s
Macos Macos #1980: Scheduled
November 18, 2024 00:56 1h 27m 28s main
main
November 18, 2024 00:56 1h 27m 28s
Macos Macos #1979: Scheduled
November 17, 2024 00:57 1h 28m 48s main
main
November 17, 2024 00:57 1h 28m 48s
Add a pick for 8.19.2 with the Ltac2 debugger (preview) Macos #1978: Pull request #429 synchronize by jfehrle
November 16, 2024 21:25 1h 17m 29s jfehrle:ltac2_debugger
jfehrle:ltac2_debugger
November 16, 2024 21:25 1h 17m 29s
Give more detail on creating customized versions Macos #1977: Pull request #446 opened by jfehrle
November 16, 2024 06:01 2h 14m 54s jfehrle:doc_update
jfehrle:doc_update
November 16, 2024 06:01 2h 14m 54s
Add a pick for 8.19.2 with the Ltac2 debugger (preview) Macos #1976: Pull request #429 synchronize by jfehrle
November 16, 2024 05:52 2h 16m 57s jfehrle:ltac2_debugger
jfehrle:ltac2_debugger
November 16, 2024 05:52 2h 16m 57s
Add a pick for 8.19.2 with the Ltac2 debugger (preview) Macos #1975: Pull request #429 synchronize by jfehrle
November 16, 2024 05:47 2h 7m 11s jfehrle:ltac2_debugger
jfehrle:ltac2_debugger
November 16, 2024 05:47 2h 7m 11s
Macos Macos #1974: Scheduled
November 16, 2024 00:53 1h 25m 21s main
main
November 16, 2024 00:53 1h 25m 21s
Merge pull request #445 from MSoegtropIMC/opam-230-adjustments Macos #1973: Commit b2b4f44 pushed by MSoegtropIMC
November 15, 2024 12:37 1h 27m 39s main
main
November 15, 2024 12:37 1h 27m 39s
Macos Macos #1972: Scheduled
November 15, 2024 00:54 11m 2s main
main
November 15, 2024 00:54 11m 2s