Skip to content

Actions: rocq-prover/platform

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Windows Windows #2423: Scheduled
August 3, 2025 02:35 2h 44m 54s main
main
August 3, 2025 02:35 2h 44m 54s
Ubuntu_dev Ubuntu_dev #1047: Scheduled
August 3, 2025 02:24 4m 45s main
main
August 3, 2025 02:24 4m 45s
Ubuntu Ubuntu #2370: Scheduled
August 3, 2025 01:50 2h 48m 8s main
main
August 3, 2025 01:50 2h 48m 8s
Macos Macos #2349: Scheduled
August 3, 2025 01:14 1h 30m 34s main
main
August 3, 2025 01:14 1h 30m 34s
Windows Windows #2422: Scheduled
August 2, 2025 02:19 2h 35m 33s main
main
August 2, 2025 02:19 2h 35m 33s
Ubuntu_dev Ubuntu_dev #1046: Scheduled
August 2, 2025 02:03 5m 27s main
main
August 2, 2025 02:03 5m 27s
Ubuntu Ubuntu #2369: Scheduled
August 2, 2025 01:37 2h 48m 13s main
main
August 2, 2025 01:37 2h 48m 13s
Macos Macos #2348: Scheduled
August 2, 2025 01:04 1h 31m 30s main
main
August 2, 2025 01:04 1h 31m 30s
Windows Windows #2421: Scheduled
August 1, 2025 02:36 2h 43m 41s main
main
August 1, 2025 02:36 2h 43m 41s
Ubuntu_dev Ubuntu_dev #1045: Scheduled
August 1, 2025 02:25 5m 24s main
main
August 1, 2025 02:25 5m 24s
Ubuntu Ubuntu #2368: Scheduled
August 1, 2025 01:52 2h 50m 48s main
main
August 1, 2025 01:52 2h 50m 48s
Macos Macos #2347: Scheduled
August 1, 2025 01:14 1h 32m 58s main
main
August 1, 2025 01:14 1h 32m 58s
[Draft] Add package-pick.9.0 for Rocq Platform 9.0 preview Macos #2346: Pull request #476 synchronize by Justme0606
July 31, 2025 14:53 1h 31m 44s Justme0606:package-pick-9.0
Justme0606:package-pick-9.0
July 31, 2025 14:53 1h 31m 44s
[Draft] Add package-pick.9.0 for Rocq Platform 9.0 preview Windows #2420: Pull request #476 synchronize by Justme0606
July 31, 2025 14:53 32m 54s Justme0606:package-pick-9.0
Justme0606:package-pick-9.0
July 31, 2025 14:53 32m 54s
[Draft] Add package-pick.9.0 for Rocq Platform 9.0 preview Ubuntu #2367: Pull request #476 synchronize by Justme0606
July 31, 2025 14:53 32m 35s Justme0606:package-pick-9.0
Justme0606:package-pick-9.0
July 31, 2025 14:53 32m 35s
[Draft] Add package-pick.9.0 for Rocq Platform 9.0 preview Windows #2419: Pull request #476 synchronize by Justme0606
July 31, 2025 13:38 1h 47m 23s Justme0606:package-pick-9.0
Justme0606:package-pick-9.0
July 31, 2025 13:38 1h 47m 23s
[Draft] Add package-pick.9.0 for Rocq Platform 9.0 preview Macos #2345: Pull request #476 synchronize by Justme0606
July 31, 2025 13:38 1h 15m 5s Justme0606:package-pick-9.0
Justme0606:package-pick-9.0
July 31, 2025 13:38 1h 15m 5s
[Draft] Add package-pick.9.0 for Rocq Platform 9.0 preview Ubuntu #2366: Pull request #476 synchronize by Justme0606
July 31, 2025 13:38 1h 47m 15s Justme0606:package-pick-9.0
Justme0606:package-pick-9.0
July 31, 2025 13:38 1h 47m 15s
Windows Windows #2418: Scheduled
July 31, 2025 02:24 2h 32m 25s main
main
July 31, 2025 02:24 2h 32m 25s
Ubuntu_dev Ubuntu_dev #1044: Scheduled
July 31, 2025 02:08 4m 37s main
main
July 31, 2025 02:08 4m 37s
Ubuntu Ubuntu #2365: Scheduled
July 31, 2025 01:42 2h 50m 21s main
main
July 31, 2025 01:42 2h 50m 21s
Macos Macos #2344: Scheduled
July 31, 2025 01:07 1h 26m 25s main
main
July 31, 2025 01:07 1h 26m 25s
[Draft] Add package-pick.9.0 for Rocq Platform 9.0 preview Ubuntu #2364: Pull request #476 synchronize by Justme0606
July 30, 2025 12:28 11m 17s Justme0606:package-pick-9.0
Justme0606:package-pick-9.0
July 30, 2025 12:28 11m 17s
[Draft] Add package-pick.9.0 for Rocq Platform 9.0 preview Macos #2343: Pull request #476 synchronize by Justme0606
July 30, 2025 12:28 1h 49m 18s Justme0606:package-pick-9.0
Justme0606:package-pick-9.0
July 30, 2025 12:28 1h 49m 18s
[Draft] Add package-pick.9.0 for Rocq Platform 9.0 preview Windows #2417: Pull request #476 synchronize by Justme0606
July 30, 2025 12:28 11m 21s Justme0606:package-pick-9.0
Justme0606:package-pick-9.0
July 30, 2025 12:28 11m 21s