Skip to content

Actions: coq/platform

Actions

Windows

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
windows.yml
744 workflow runs
744 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Windows Windows #2004: Scheduled
October 21, 2024 01:50 2h 50m 15s main
main
October 21, 2024 01:50 2h 50m 15s
Windows Windows #2003: Scheduled
October 20, 2024 01:54 2h 36m 30s main
main
October 20, 2024 01:54 2h 36m 30s
Windows Windows #2002: Scheduled
October 19, 2024 01:45 2h 46m 8s main
main
October 19, 2024 01:45 2h 46m 8s
Windows Windows #2001: Scheduled
October 18, 2024 01:47 2h 46m 31s main
main
October 18, 2024 01:47 2h 46m 31s
Merge pull request #440 from MSoegtropIMC/8.19-release-prep-3 Windows #2000: Commit 483a341 pushed by MSoegtropIMC
October 17, 2024 11:59 2h 55m 30s main
main
October 17, 2024 11:59 2h 55m 30s
Fix #439 MacOS: coqide is complied with wrong deployment target Windows #1999: Pull request #440 opened by MSoegtropIMC
October 17, 2024 11:58 24s MSoegtropIMC:8.19-release-prep-3
MSoegtropIMC:8.19-release-prep-3
October 17, 2024 11:58 24s
Windows Windows #1998: Scheduled
October 17, 2024 01:47 2h 36m 28s main
main
October 17, 2024 01:47 2h 36m 28s
Windows Windows #1997: Scheduled
October 16, 2024 01:48 2h 48m 37s main
main
October 16, 2024 01:48 2h 48m 37s
Windows Windows #1996: Scheduled
October 15, 2024 01:48 2h 33m 20s main
main
October 15, 2024 01:48 2h 33m 20s
Merge pull request #437 from coq/8.19-release-prep-2 Windows #1995: Commit 508bf23 pushed by MSoegtropIMC
October 14, 2024 15:47 2h 46m 33s main
main
October 14, 2024 15:47 2h 46m 33s
Added more details on release process to maintainer_doc/release_process.md Windows #1994: Pull request #437 opened by MSoegtropIMC
October 14, 2024 15:31 14m 43s 8.19-release-prep-2
8.19-release-prep-2
October 14, 2024 15:31 14m 43s
Merge pull request #436 from MSoegtropIMC/8.19-release-prep-1 Windows #1993: Commit 7a2aab3 pushed by MSoegtropIMC
October 14, 2024 15:23 2h 49m 29s main
main
October 14, 2024 15:23 2h 49m 29s
Prepare release 2024.10 Windows #1992: Pull request #436 opened by MSoegtropIMC
October 14, 2024 11:38 2h 41m 11s MSoegtropIMC:8.19-release-prep-1
MSoegtropIMC:8.19-release-prep-1
October 14, 2024 11:38 2h 41m 11s
Windows Windows #1991: Scheduled
October 14, 2024 01:49 2h 52m 26s main
main
October 14, 2024 01:49 2h 52m 26s
Windows Windows #1990: Scheduled
October 13, 2024 01:52 2h 46m 37s main
main
October 13, 2024 01:52 2h 46m 37s
Windows Windows #1989: Scheduled
October 12, 2024 01:43 2h 45m 33s main
main
October 12, 2024 01:43 2h 45m 33s
Merge pull request #411 from rtetley/package-updates Windows #1988: Commit 8ea5c21 pushed by MSoegtropIMC
October 11, 2024 13:01 3h 5m 36s main
main
October 11, 2024 13:01 3h 5m 36s
Package updates Windows #1987: Pull request #411 synchronize by rtetley
October 11, 2024 08:28 2h 40m 6s rtetley:package-updates
rtetley:package-updates
October 11, 2024 08:28 2h 40m 6s
Package updates Windows #1986: Pull request #411 synchronize by rtetley
October 11, 2024 08:24 3m 36s rtetley:package-updates
rtetley:package-updates
October 11, 2024 08:24 3m 36s
Windows Windows #1985: Scheduled
October 11, 2024 01:46 2h 53m 37s main
main
October 11, 2024 01:46 2h 53m 37s
Windows Windows #1984: Scheduled
October 10, 2024 01:46 2h 58m 40s main
main
October 10, 2024 01:46 2h 58m 40s
Windows Windows #1983: Scheduled
October 9, 2024 01:46 2h 37m 24s main
main
October 9, 2024 01:46 2h 37m 24s
Windows Windows #1982: Scheduled
October 8, 2024 01:47 2h 46m 15s main
main
October 8, 2024 01:47 2h 46m 15s
Merge pull request #435 from MSoegtropIMC/windows-fix-coqdep Windows #1981: Commit 1d85bf0 pushed by MSoegtropIMC
October 7, 2024 07:18 2h 51m 21s main
main
October 7, 2024 07:18 2h 51m 21s
Windows Windows #1980: Scheduled
October 7, 2024 01:50 2h 36m 7s main
main
October 7, 2024 01:50 2h 36m 7s