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
feat: prepare release 9.1; change switch name CP to RP; update packages Windows #2935: Pull request #518 synchronize by Justme0606
In progress Justme0606:prepare-9.1-0
Justme0606:prepare-9.1-0
In progress
feat: prepare release 9.1; change switch name CP to RP; update packages Macos #2866: Pull request #518 synchronize by Justme0606
In progress Justme0606:prepare-9.1-0
Justme0606:prepare-9.1-0
In progress
feat: prepare release 9.1; change switch name CP to RP; update packages Ubuntu #2879: Pull request #518 synchronize by Justme0606
In progress Justme0606:prepare-9.1-0
Justme0606:prepare-9.1-0
In progress
feat: prepare release 9.1; change switch name CP to RP; update packages Macos #2865: Pull request #518 synchronize by Justme0606
1h 46m 7s Justme0606:prepare-9.1-0
Justme0606:prepare-9.1-0
1h 46m 7s
feat: prepare release 9.1; change switch name CP to RP; update packages Ubuntu #2878: Pull request #518 synchronize by Justme0606
2h 26m 59s Justme0606:prepare-9.1-0
Justme0606:prepare-9.1-0
2h 26m 59s
feat: prepare release 9.1; change switch name CP to RP; update packages Windows #2934: Pull request #518 synchronize by Justme0606
28m 8s Justme0606:prepare-9.1-0
Justme0606:prepare-9.1-0
28m 8s
Windows Windows #2933: Scheduled
2h 59m 6s main
main
2h 59m 6s
Ubuntu_dev Ubuntu_dev #1314: Scheduled
4m 27s main
main
4m 27s
Ubuntu Ubuntu #2877: Scheduled
2h 26m 59s main
main
2h 26m 59s
Macos Macos #2864: Scheduled
1h 43m 57s main
main
1h 43m 57s
Windows Windows #2932: Scheduled
2h 59m 2s main
main
2h 59m 2s
Ubuntu_dev Ubuntu_dev #1313: Scheduled
4m 39s main
main
4m 39s
Ubuntu Ubuntu #2876: Scheduled
2h 57m 42s main
main
2h 57m 42s
Macos Macos #2863: Scheduled
1h 29m 24s main
main
1h 29m 24s
Windows Windows #2931: Scheduled
2h 43m 13s main
main
2h 43m 13s
Ubuntu_dev Ubuntu_dev #1312: Scheduled
4m 1s main
main
4m 1s
Ubuntu Ubuntu #2875: Scheduled
2h 54m 15s main
main
2h 54m 15s
Macos Macos #2862: Scheduled
1h 40m 29s main
main
1h 40m 29s
Windows Windows #2930: Scheduled
2h 53m 11s main
main
2h 53m 11s
Ubuntu_dev Ubuntu_dev #1311: Scheduled
4m 42s main
main
4m 42s
Ubuntu Ubuntu #2874: Scheduled
2h 49m 42s main
main
2h 49m 42s
Macos Macos #2861: Scheduled
1h 39m 55s main
main
1h 39m 55s
feat: prepare release 9.1; change switch name CP to RP; update packages Windows #2929: Pull request #518 synchronize by Justme0606
3h 0m 45s Justme0606:prepare-9.1-0
Justme0606:prepare-9.1-0
3h 0m 45s
feat: prepare release 9.1; change switch name CP to RP; update packages Ubuntu #2873: Pull request #518 synchronize by Justme0606
2h 56m 11s Justme0606:prepare-9.1-0
Justme0606:prepare-9.1-0
2h 56m 11s
feat: prepare release 9.1; change switch name CP to RP; update packages Macos #2860: Pull request #518 synchronize by Justme0606
1h 40m 9s Justme0606:prepare-9.1-0
Justme0606:prepare-9.1-0
1h 40m 9s