Skip to content
.github/workflows/main.yaml

for Isabelle 2023 #250

Sign in to view logs

for Isabelle 2023

for Isabelle 2023 #250

Triggered via pull request November 14, 2023 14:44
@AkihisaYamadaAkihisaYamada
synchronize #30
AkihisaYamada:2023
Status Failure
Total duration 1m 5s
Artifacts –

main.yaml

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

Annotations

1 error
isabelle_dedukti (4.14.1, 2.7, 2.3.1, 2023)
Process completed with exit code 1.