Skip to content
Build & Test

Use Isabelle202x #76

Sign in to view logs

Use Isabelle202x

Use Isabelle202x #76

Triggered via pull request August 18, 2024 19:12
@kape1395kape1395
synchronize #109
isabelle2020-dune
Status Failure
Total duration 23m 23s
Artifacts –

ci.yml

on: pull_request
Matrix: Build & Test
Fit to window
Zoom out
Zoom in

Annotations

4 errors
Build & Test (macos-13, 5.1.0)
The `brew link` step did not complete successfully
Build & Test (macos-13, 5.1.0)
Process completed with exit code 1.
Build & Test (macos-13, 4.13.1)
The `brew link` step did not complete successfully
Build & Test (macos-13, 4.13.1)
Process completed with exit code 1.