Skip to content
Build & Test

Isabelle2025 #239

Sign in to view logs

Isabelle2025

Isabelle2025 #239

Triggered via pull request June 20, 2025 15:51
@muenchnerkindlmuenchnerkindl
synchronize #217
isabelle2025
Status Failure
Total duration 26m 33s
Artifacts –

ci.yml

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

Annotations

3 errors
Build & Test (ubuntu-latest, 4.14.1)
Process completed with exit code 123.
Build & Test (ubuntu-latest, 5.1.0)
Process completed with exit code 123.
Build & Test (macos-latest, 5.1.0)
Process completed with exit code 1.