Skip to content
CI

remove dune cache and other stuff from ci #36

Sign in to view logs

remove dune cache and other stuff from ci

remove dune cache and other stuff from ci #36

Triggered via push October 24, 2023 16:39
@jchavarrijchavarri
pushed 5b9f568
main
Status Cancelled
Total duration 1m 20s
Artifacts –

ci.yml

on: push
Matrix: Build
Fit to window
Zoom out
Zoom in

Annotations

4 errors
Build (macos-latest, 5.1.x)
Canceling since a higher priority waiting request for 'CI-refs/heads/main' exists
Build (macos-latest, 5.1.x)
The operation was canceled.
Build (ubuntu-latest, 5.1.x)
Canceling since a higher priority waiting request for 'CI-refs/heads/main' exists
Build (ubuntu-latest, 5.1.x)
The operation was canceled.