Skip to content

Actions: rocq-prover/platform

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Windows Windows #2851: Scheduled
2h 54m 53s main
main
2h 54m 53s
Ubuntu_dev Ubuntu_dev #1262: Scheduled
4m 33s main
main
4m 33s
Ubuntu Ubuntu #2795: Scheduled
2h 52m 17s main
main
2h 52m 17s
Macos Macos #2782: Scheduled
1h 58m 3s main
main
1h 58m 3s
Windows Windows #2850: Scheduled
2h 45m 42s main
main
2h 45m 42s
Ubuntu_dev Ubuntu_dev #1261: Scheduled
4m 41s main
main
4m 41s
Ubuntu Ubuntu #2794: Scheduled
2h 53m 30s main
main
2h 53m 30s
Macos Macos #2781: Scheduled
2h 5m 51s main
main
2h 5m 51s
feat: new version of package pick 9.1 Windows #2849: Pull request #512 synchronize by Justme0606
17s Justme0606:prepare/9.1
Justme0606:prepare/9.1
17s
feat: new version of package pick 9.1 Ubuntu #2793: Pull request #512 synchronize by Justme0606
26s Justme0606:prepare/9.1
Justme0606:prepare/9.1
26s
feat: new version of package pick 9.1 Macos #2780: Pull request #512 synchronize by Justme0606
2h 2m 34s Justme0606:prepare/9.1
Justme0606:prepare/9.1
2h 2m 34s
feat: new version of package pick 9.1 Ubuntu #2792: Pull request #512 synchronize by Justme0606
43s Justme0606:prepare/9.1
Justme0606:prepare/9.1
43s
feat: new version of package pick 9.1 Windows #2848: Pull request #512 synchronize by Justme0606
38s Justme0606:prepare/9.1
Justme0606:prepare/9.1
38s
feat: new version of package pick 9.1 Macos #2779: Pull request #512 synchronize by Justme0606
2h 19m 30s Justme0606:prepare/9.1
Justme0606:prepare/9.1
2h 19m 30s
feat: new version of package pick 9.1 Macos #2778: Pull request #512 synchronize by Justme0606
1h 54m 38s Justme0606:prepare/9.1
Justme0606:prepare/9.1
1h 54m 38s
feat: new version of package pick 9.1 Windows #2847: Pull request #512 synchronize by Justme0606
16s Justme0606:prepare/9.1
Justme0606:prepare/9.1
16s
feat: new version of package pick 9.1 Ubuntu #2791: Pull request #512 synchronize by Justme0606
23s Justme0606:prepare/9.1
Justme0606:prepare/9.1
23s
Windows Windows #2846: Scheduled
2h 47m 47s main
main
2h 47m 47s
Ubuntu_dev Ubuntu_dev #1260: Scheduled
4m 46s main
main
4m 46s
Ubuntu Ubuntu #2790: Scheduled
2h 54m 40s main
main
2h 54m 40s
Macos Macos #2777: Scheduled
2h 6m 1s main
main
2h 6m 1s
feat: new version of package pick 9.1 Macos #2776: Pull request #512 synchronize by Justme0606
1h 48m 30s Justme0606:prepare/9.1
Justme0606:prepare/9.1
1h 48m 30s
feat: new version of package pick 9.1 Windows #2845: Pull request #512 synchronize by Justme0606
26s Justme0606:prepare/9.1
Justme0606:prepare/9.1
26s
feat: new version of package pick 9.1 Ubuntu #2789: Pull request #512 synchronize by Justme0606
32s Justme0606:prepare/9.1
Justme0606:prepare/9.1
32s
feat: new version of package pick 9.1 Macos #2775: Pull request #512 synchronize by Justme0606
2h 1m 33s Justme0606:prepare/9.1
Justme0606:prepare/9.1
2h 1m 33s