Skip to content

Actions: coq/platform

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,530 workflow runs
2,530 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Ubuntu Ubuntu #2058: Scheduled
December 23, 2024 01:14 2h 48m 2s main
main
December 23, 2024 01:14 2h 48m 2s
Macos Macos #2037: Scheduled
December 23, 2024 00:53 1h 21m 45s main
main
December 23, 2024 00:53 1h 21m 45s
Windows Windows #2102: Scheduled
December 22, 2024 01:54 6h 0m 30s main
main
December 22, 2024 01:54 6h 0m 30s
Ubuntu_dev Ubuntu_dev #823: Scheduled
December 22, 2024 01:45 4m 49s main
main
December 22, 2024 01:45 4m 49s
Ubuntu Ubuntu #2057: Scheduled
December 22, 2024 01:18 2h 46m 21s main
main
December 22, 2024 01:18 2h 46m 21s
Macos Macos #2036: Scheduled
December 22, 2024 00:56 1h 28m 34s main
main
December 22, 2024 00:56 1h 28m 34s
Windows Windows #2101: Scheduled
December 21, 2024 01:45 6h 0m 31s main
main
December 21, 2024 01:45 6h 0m 31s
Ubuntu_dev Ubuntu_dev #822: Scheduled
December 21, 2024 01:37 9m 12s main
main
December 21, 2024 01:37 9m 12s
Ubuntu Ubuntu #2056: Scheduled
December 21, 2024 01:11 2h 50m 30s main
main
December 21, 2024 01:11 2h 50m 30s
Macos Macos #2035: Scheduled
December 21, 2024 00:51 1h 19m 53s main
main
December 21, 2024 00:51 1h 19m 53s
Merge pull request #454 from MSoegtropIMC/2025.01-prep-6 Windows #2100: Commit 972dbc8 pushed by MSoegtropIMC
December 20, 2024 16:42 6h 0m 32s main
main
December 20, 2024 16:42 6h 0m 32s
Merge pull request #454 from MSoegtropIMC/2025.01-prep-6 Ubuntu #2055: Commit 972dbc8 pushed by MSoegtropIMC
December 20, 2024 16:42 2h 52m 11s main
main
December 20, 2024 16:42 2h 52m 11s
Merge pull request #454 from MSoegtropIMC/2025.01-prep-6 Macos #2034: Commit 972dbc8 pushed by MSoegtropIMC
December 20, 2024 16:42 1h 31m 1s main
main
December 20, 2024 16:42 1h 31m 1s
2025.01 prep 6 Windows #2099: Pull request #454 synchronize by MSoegtropIMC
December 20, 2024 13:44 2h 46m 3s MSoegtropIMC:2025.01-prep-6
MSoegtropIMC:2025.01-prep-6
December 20, 2024 13:44 2h 46m 3s
2025.01 prep 6 Ubuntu #2054: Pull request #454 synchronize by MSoegtropIMC
December 20, 2024 13:44 2h 46m 55s MSoegtropIMC:2025.01-prep-6
MSoegtropIMC:2025.01-prep-6
December 20, 2024 13:44 2h 46m 55s
2025.01 prep 6 Macos #2033: Pull request #454 synchronize by MSoegtropIMC
December 20, 2024 13:44 1h 33m 56s MSoegtropIMC:2025.01-prep-6
MSoegtropIMC:2025.01-prep-6
December 20, 2024 13:44 1h 33m 56s
2025.01 prep 6 Macos #2032: Pull request #454 synchronize by MSoegtropIMC
December 20, 2024 09:37 1h 20m 51s MSoegtropIMC:2025.01-prep-6
MSoegtropIMC:2025.01-prep-6
December 20, 2024 09:37 1h 20m 51s
2025.01 prep 6 Ubuntu #2053: Pull request #454 synchronize by MSoegtropIMC
December 20, 2024 09:37 2h 49m 25s MSoegtropIMC:2025.01-prep-6
MSoegtropIMC:2025.01-prep-6
December 20, 2024 09:37 2h 49m 25s
2025.01 prep 6 Windows #2098: Pull request #454 synchronize by MSoegtropIMC
December 20, 2024 09:37 2h 40m 47s MSoegtropIMC:2025.01-prep-6
MSoegtropIMC:2025.01-prep-6
December 20, 2024 09:37 2h 40m 47s
2025.01 prep 6 Windows #2097: Pull request #454 opened by MSoegtropIMC
December 20, 2024 09:19 17m 18s MSoegtropIMC:2025.01-prep-6
MSoegtropIMC:2025.01-prep-6
December 20, 2024 09:19 17m 18s
2025.01 prep 6 Ubuntu #2052: Pull request #454 opened by MSoegtropIMC
December 20, 2024 09:19 17m 17s MSoegtropIMC:2025.01-prep-6
MSoegtropIMC:2025.01-prep-6
December 20, 2024 09:19 17m 17s
2025.01 prep 6 Macos #2031: Pull request #454 opened by MSoegtropIMC
December 20, 2024 09:19 17m 16s MSoegtropIMC:2025.01-prep-6
MSoegtropIMC:2025.01-prep-6
December 20, 2024 09:19 17m 16s
Windows Windows #2096: Scheduled
December 20, 2024 01:47 2h 45m 21s main
main
December 20, 2024 01:47 2h 45m 21s
Ubuntu_dev Ubuntu_dev #821: Scheduled
December 20, 2024 01:40 1h 6m 33s main
main
December 20, 2024 01:40 1h 6m 33s
Ubuntu Ubuntu #2051: Scheduled
December 20, 2024 01:13 2h 49m 53s main
main
December 20, 2024 01:13 2h 49m 53s