Skip to content
.github/workflows/main.yaml

Updated HOL patch for Isabelle2024 #354

Sign in to view logs

Updated HOL patch for Isabelle2024

Updated HOL patch for Isabelle2024 #354

Triggered via pull request December 18, 2024 07:31
@melanie-taproggemelanie-taprogge
opened #35
melanie-taprogge:master
Status Failure
Total duration 1m 9s
Artifacts –

main.yaml

on: pull_request
Matrix: isabelle_dedukti
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
isabelle_dedukti (4.14.2, 2.7, 2.3.1, 2023)
Process completed with exit code 1.
isabelle_dedukti (4.14.2, 2.7, 2.3.1, 2023)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636