Skip to content

Actions: rocq-prover/platform

Actions

Macos

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
macos.yml
708 workflow runs
708 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Macos Macos #2704: Scheduled
2h 35m 28s main
main
2h 35m 28s
fix: correct wrapper macos and README file Macos #2703: Pull request #507 synchronize by Justme0606
11s Justme0606:fix/wrapper_rocqide
Justme0606:fix/wrapper_rocqide
11s
Macos Macos #2702: Scheduled
3h 14m 42s main
main
3h 14m 42s
fix: correct wrapper macos and README file Macos #2701: Pull request #507 synchronize by Justme0606
2h 49m 6s Justme0606:fix/wrapper_rocqide
Justme0606:fix/wrapper_rocqide
2h 49m 6s
Macos Macos #2700: Scheduled
2h 31m 56s main
main
2h 31m 56s
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
Macos Macos #2698: Scheduled
2h 37m 33s main
main
2h 37m 33s
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 Macos #2696: Pull request #507 by Justme0606
Failure Justme0606:fix/wrapper_rocqide
Justme0606:fix/wrapper_rocqide
Failure
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 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 Macos #2693: Pull request #507 synchronize by Justme0606
3h 28m 6s Justme0606:fix/wrapper_rocqide
Justme0606:fix/wrapper_rocqide
3h 28m 6s
Macos Macos #2692: Scheduled
1h 50m 0s main
main
1h 50m 0s
fix: correct wrapper macos and README file Macos #2691: Pull request #507 synchronize by Justme0606
2h 49m 19s Justme0606:fix/wrapper_rocqide
Justme0606:fix/wrapper_rocqide
2h 49m 19s
fix: correct wrapper macos and README file Macos #2690: Pull request #507 synchronize by Justme0606
4m 40s Justme0606:fix/wrapper_rocqide
Justme0606:fix/wrapper_rocqide
4m 40s
fix: correct wrapper macos and README file Macos #2689: Pull request #507 synchronize by Justme0606
34s Justme0606:fix/wrapper_rocqide
Justme0606:fix/wrapper_rocqide
34s
Macos Macos #2688: Scheduled
3h 29m 31s main
main
3h 29m 31s
Macos Macos #2687: Scheduled
2h 35m 15s main
main
2h 35m 15s
Macos Macos #2686: Scheduled
2h 14m 1s main
main
2h 14m 1s
fix: correct wrapper macos and README file Macos #2685: Pull request #507 synchronize by Justme0606
2h 28m 1s Justme0606:fix/wrapper_rocqide
Justme0606:fix/wrapper_rocqide
2h 28m 1s
Macos Macos #2684: Scheduled
2h 36m 5s main
main
2h 36m 5s
Macos Macos #2683: Scheduled
2h 41m 33s main
main
2h 41m 33s
fix: correct wrapper macos and README file Macos #2682: Pull request #507 synchronize by Justme0606
3h 11m 15s Justme0606:fix/wrapper_rocqide
Justme0606:fix/wrapper_rocqide
3h 11m 15s
fix: correct wrapper macos and README file Macos #2681: Pull request #507 synchronize by Justme0606
26s Justme0606:fix/wrapper_rocqide
Justme0606:fix/wrapper_rocqide
26s
fix: correct wrapper macos and README file Macos #2680: Pull request #507 opened by Justme0606
2h 26m 9s Justme0606:fix/wrapper_rocqide
Justme0606:fix/wrapper_rocqide
2h 26m 9s