Skip to content
CI

increase the number of scenarii per proof in the CI #267

Sign in to view logs

increase the number of scenarii per proof in the CI

increase the number of scenarii per proof in the CI #267

Triggered via push November 9, 2024 16:31
@BaptouuuuBaptouuuu
pushed 2ed4482
increase-scenarii-per-proof
Status Cancelled
Total duration 13m 24s
Artifacts –

ci.yml

on: push
Matrix: BlackBox
Matrix: Coverage
Matrix: CS
Matrix: Psalm
Fit to window
Zoom out
Zoom in

Annotations

19 errors and 3 warnings
BlackBox (macOS-latest, 8.3, lowest)
The run was canceled by @Baptouuuu.
BlackBox (macOS-latest, 8.3, highest)
The run was canceled by @Baptouuuu.
BlackBox (macOS-latest, 8.2, lowest)
The run was canceled by @Baptouuuu.
BlackBox (macOS-latest, 8.2, lowest)
The operation was canceled.
BlackBox (ubuntu-latest, 8.3, highest)
The run was canceled by @Baptouuuu.
BlackBox (ubuntu-latest, 8.3, highest)
The operation was canceled.
Coverage (macOS-latest, 8.3, highest)
The run was canceled by @Baptouuuu.
Coverage (macOS-latest, 8.3, highest)
The operation was canceled.
Coverage (macOS-latest, 8.2, lowest)
The run was canceled by @Baptouuuu.
Coverage (macOS-latest, 8.2, lowest)
The operation was canceled.
Coverage (macOS-latest, 8.3, lowest)
The run was canceled by @Baptouuuu.
Coverage (macOS-latest, 8.3, lowest)
The operation was canceled.
Coverage (macOS-latest, 8.2, highest)
The run was canceled by @Baptouuuu.
Coverage (macOS-latest, 8.2, highest)
The operation was canceled.
Coverage (ubuntu-latest, 8.3, lowest)
The run was canceled by @Baptouuuu.
Coverage (ubuntu-latest, 8.3, lowest)
The operation was canceled.
Coverage (ubuntu-latest, 8.2, lowest)
The run was canceled by @Baptouuuu.
Coverage (ubuntu-latest, 8.2, highest)
The run was canceled by @Baptouuuu.
Coverage (ubuntu-latest, 8.3, highest)
The run was canceled by @Baptouuuu.
Coverage (ubuntu-latest, 8.2, lowest)
Runner GitHub Actions 5 did not respond to a cancelation request with 00:05:00.
Coverage (ubuntu-latest, 8.2, highest)
Runner GitHub Actions 13 did not respond to a cancelation request with 00:05:00.
Coverage (ubuntu-latest, 8.3, highest)
Runner GitHub Actions 4 did not respond to a cancelation request with 00:05:00.