Skip to content
.github/workflows/main.yaml

for Isabelle 2023 #251

Sign in to view logs

for Isabelle 2023

for Isabelle 2023 #251

Triggered via pull request November 29, 2023 07:55
@AkihisaYamadaAkihisaYamada
synchronize #30
AkihisaYamada:2023
Status Failure
Total duration 57s
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.