Skip to content
.github/workflows/main.yaml

Updated HOL patch for Isabelle2024 #356

Sign in to view logs

Updated HOL patch for Isabelle2024

Updated HOL patch for Isabelle2024 #356

Triggered via pull request December 19, 2024 05:56
@melanie-taproggemelanie-taprogge
synchronize #35
melanie-taprogge:master
Status Success
Total duration 8m 51s
Artifacts –

main.yaml

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

Annotations

1 warning
isabelle_dedukti (4.14.2, 2.7, 2.3.1, 2024)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636