Skip to content

Actions: rocq-prover/platform

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Windows Windows #3001: Scheduled
3h 5m 13s main
main
3h 5m 13s
Ubuntu_dev Ubuntu_dev #1364: Scheduled
4m 24s main
main
4m 24s
Ubuntu Ubuntu #2945: Scheduled
2h 55m 8s main
main
2h 55m 8s
Macos Macos #2932: Scheduled
1h 38m 42s main
main
1h 38m 42s
version unimath 20260603 Ubuntu #2944: Pull request #526 opened by Justme0606
2h 27m 12s Justme0606:unimath-bump
Justme0606:unimath-bump
2h 27m 12s
version unimath 20260603 Windows #3000: Pull request #526 opened by Justme0606
3h 10m 6s Justme0606:unimath-bump
Justme0606:unimath-bump
3h 10m 6s
version unimath 20260603 Macos #2931: Pull request #526 opened by Justme0606
1h 43m 52s Justme0606:unimath-bump
Justme0606:unimath-bump
1h 43m 52s
Windows Windows #2999: Scheduled
3h 0m 41s main
main
3h 0m 41s
Ubuntu_dev Ubuntu_dev #1363: Scheduled
4m 13s main
main
4m 13s
Ubuntu Ubuntu #2943: Scheduled
3h 0m 2s main
main
3h 0m 2s
Macos Macos #2930: Scheduled
1h 32m 26s main
main
1h 32m 26s
Windows Windows #2998: Scheduled
3h 11m 3s main
main
3h 11m 3s
Ubuntu_dev Ubuntu_dev #1362: Scheduled
4m 20s main
main
4m 20s
Ubuntu Ubuntu #2942: Scheduled
2h 53m 42s main
main
2h 53m 42s
Macos Macos #2929: Scheduled
1h 40m 6s main
main
1h 40m 6s
Windows Windows #2997: Scheduled
3h 2m 12s main
main
3h 2m 12s
Ubuntu_dev Ubuntu_dev #1361: Scheduled
4m 17s main
main
4m 17s
Ubuntu Ubuntu #2941: Scheduled
3h 0m 41s main
main
3h 0m 41s
Macos Macos #2928: Scheduled
1h 44m 53s main
main
1h 44m 53s
Windows Windows #2996: Scheduled
3h 0m 46s main
main
3h 0m 46s
Ubuntu_dev Ubuntu_dev #1360: Scheduled
4m 51s main
main
4m 51s
Ubuntu Ubuntu #2940: Scheduled
2h 47m 55s main
main
2h 47m 55s
Macos Macos #2927: Scheduled
2h 11m 5s main
main
2h 11m 5s
Windows Windows #2995: Scheduled
2h 55m 17s main
main
2h 55m 17s
Ubuntu_dev Ubuntu_dev #1359: Scheduled
4m 35s main
main
4m 35s