Skip to content

Actions: rocq-prover/platform

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Windows Windows #2774: Scheduled
2h 47m 36s main
main
2h 47m 36s
Ubuntu_dev Ubuntu_dev #1220: Scheduled
4m 49s main
main
4m 49s
Ubuntu Ubuntu #2721: Scheduled
2h 53m 14s main
main
2h 53m 14s
Macos Macos #2700: Scheduled
2h 31m 56s main
main
2h 31m 56s
fix: correct wrapper macos and README file Windows #2773: Pull request #507 synchronize by Justme0606
1h 21m 52s Justme0606:fix/wrapper_rocqide
Justme0606:fix/wrapper_rocqide
1h 21m 52s
fix: correct wrapper macos and README file Macos #2699: Pull request #507 synchronize by Justme0606
2h 37m 1s Justme0606:fix/wrapper_rocqide
Justme0606:fix/wrapper_rocqide
2h 37m 1s
fix: correct wrapper macos and README file Ubuntu #2720: Pull request #507 synchronize by Justme0606
1h 21m 52s Justme0606:fix/wrapper_rocqide
Justme0606:fix/wrapper_rocqide
1h 21m 52s
Windows Windows #2772: Scheduled
2h 51m 26s main
main
2h 51m 26s
Ubuntu_dev Ubuntu_dev #1219: Scheduled
3m 59s main
main
3m 59s
Ubuntu Ubuntu #2719: Scheduled
2h 51m 12s main
main
2h 51m 12s
Macos Macos #2698: Scheduled
2h 37m 33s main
main
2h 37m 33s
fix: correct wrapper macos and README file Windows #2771: Pull request #507 synchronize by Justme0606
2h 54m 54s Justme0606:fix/wrapper_rocqide
Justme0606:fix/wrapper_rocqide
2h 54m 54s
fix: correct wrapper macos and README file Macos #2697: Pull request #507 synchronize by Justme0606
2h 44m 20s Justme0606:fix/wrapper_rocqide
Justme0606:fix/wrapper_rocqide
2h 44m 20s
fix: correct wrapper macos and README file Ubuntu #2718: Pull request #507 synchronize by Justme0606
2h 55m 55s Justme0606:fix/wrapper_rocqide
Justme0606:fix/wrapper_rocqide
2h 55m 55s
fix: correct wrapper macos and README file Windows #2770: Pull request #507 synchronize by Justme0606
2m 26s Justme0606:fix/wrapper_rocqide
Justme0606:fix/wrapper_rocqide
2m 26s
fix: correct wrapper macos and README file Ubuntu #2717: Pull request #507 synchronize by Justme0606
2m 22s Justme0606:fix/wrapper_rocqide
Justme0606:fix/wrapper_rocqide
2m 22s
fix: correct wrapper macos and README file Macos #2696: Pull request #507 by Justme0606
Failure Justme0606:fix/wrapper_rocqide
Justme0606:fix/wrapper_rocqide
Failure
fix: correct wrapper macos and README file Ubuntu #2716: Pull request #507 synchronize by Justme0606
32s Justme0606:fix/wrapper_rocqide
Justme0606:fix/wrapper_rocqide
32s
fix: correct wrapper macos and README file Macos #2695: Pull request #507 synchronize by Justme0606
2h 51m 53s Justme0606:fix/wrapper_rocqide
Justme0606:fix/wrapper_rocqide
2h 51m 53s
fix: correct wrapper macos and README file Windows #2769: Pull request #507 synchronize by Justme0606
36s Justme0606:fix/wrapper_rocqide
Justme0606:fix/wrapper_rocqide
36s
fix: correct wrapper macos and README file Macos #2694: Pull request #507 synchronize by Justme0606
2h 33m 11s Justme0606:fix/wrapper_rocqide
Justme0606:fix/wrapper_rocqide
2h 33m 11s
fix: correct wrapper macos and README file Ubuntu #2715: Pull request #507 synchronize by Justme0606
40m 24s Justme0606:fix/wrapper_rocqide
Justme0606:fix/wrapper_rocqide
40m 24s
fix: correct wrapper macos and README file Windows #2768: Pull request #507 synchronize by Justme0606
39m 41s Justme0606:fix/wrapper_rocqide
Justme0606:fix/wrapper_rocqide
39m 41s
fix: correct wrapper macos and README file Ubuntu #2714: Pull request #507 synchronize by Justme0606
44s Justme0606:fix/wrapper_rocqide
Justme0606:fix/wrapper_rocqide
44s
fix: correct wrapper macos and README file Macos #2693: Pull request #507 synchronize by Justme0606
3h 28m 6s Justme0606:fix/wrapper_rocqide
Justme0606:fix/wrapper_rocqide
3h 28m 6s