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 #2923: Scheduled
2h 52m 40s main
main
2h 52m 40s
Ubuntu_dev Ubuntu_dev #1306: Scheduled
4m 42s main
main
4m 42s
Ubuntu Ubuntu #2867: Scheduled
2h 53m 8s main
main
2h 53m 8s
Macos Macos #2854: Scheduled
1h 41m 49s main
main
1h 41m 49s
Windows Windows #2922: Scheduled
2h 56m 39s main
main
2h 56m 39s
Ubuntu_dev Ubuntu_dev #1305: Scheduled
4m 21s main
main
4m 21s
Ubuntu Ubuntu #2866: Scheduled
2h 50m 51s main
main
2h 50m 51s
Macos Macos #2853: Scheduled
1h 35m 8s main
main
1h 35m 8s
Windows Windows #2921: Scheduled
2h 56m 3s main
main
2h 56m 3s
Ubuntu_dev Ubuntu_dev #1304: Scheduled
4m 45s main
main
4m 45s
Ubuntu Ubuntu #2865: Scheduled
3h 2m 15s main
main
3h 2m 15s
Macos Macos #2852: Scheduled
1h 38m 11s main
main
1h 38m 11s
feat: prepare release 9.1; change switch name CP to RP; update packages Windows #2920: Pull request #518 synchronize by Justme0606
2h 23m 40s Justme0606:prepare-9.1-0
Justme0606:prepare-9.1-0
2h 23m 40s
feat: prepare release 9.1; change switch name CP to RP; update packages Ubuntu #2864: Pull request #518 synchronize by Justme0606
3h 1m 20s Justme0606:prepare-9.1-0
Justme0606:prepare-9.1-0
3h 1m 20s
feat: prepare release 9.1; change switch name CP to RP; update packages Macos #2851: Pull request #518 synchronize by Justme0606
1h 48m 13s Justme0606:prepare-9.1-0
Justme0606:prepare-9.1-0
1h 48m 13s
Merge pull request #519 from Justme0606/doc/README-2025.08.3 Ubuntu #2863: Commit ea9c9ce pushed by Justme0606
4m 23s main
main
4m 23s
Merge pull request #519 from Justme0606/doc/README-2025.08.3 Windows #2919: Commit ea9c9ce pushed by Justme0606
4m 10s main
main
4m 10s
Merge pull request #519 from Justme0606/doc/README-2025.08.3 Macos #2850: Commit ea9c9ce pushed by Justme0606
4m 6s main
main
4m 6s
doc: bump version in README files Macos #2849: Pull request #519 opened by Justme0606
17s Justme0606:doc/README-2025.08.3
Justme0606:doc/README-2025.08.3
17s
doc: bump version in README files Ubuntu #2862: Pull request #519 opened by Justme0606
41s Justme0606:doc/README-2025.08.3
Justme0606:doc/README-2025.08.3
41s
doc: bump version in README files Windows #2918: Pull request #519 opened by Justme0606
46s Justme0606:doc/README-2025.08.3
Justme0606:doc/README-2025.08.3
46s
feat: prepare release 9.1; change switch name CP to RP; update packages Ubuntu #2861: Pull request #518 synchronize by Justme0606
2h 57m 30s Justme0606:prepare-9.1-0
Justme0606:prepare-9.1-0
2h 57m 30s
feat: prepare release 9.1; change switch name CP to RP; update packages Windows #2917: Pull request #518 synchronize by Justme0606
2h 6m 46s Justme0606:prepare-9.1-0
Justme0606:prepare-9.1-0
2h 6m 46s
feat: prepare release 9.1; change switch name CP to RP; update packages Macos #2848: Pull request #518 synchronize by Justme0606
1h 55m 15s Justme0606:prepare-9.1-0
Justme0606:prepare-9.1-0
1h 55m 15s
Windows Windows #2916: Scheduled
2h 53m 52s main
main
2h 53m 52s