.github/workflows/main.yaml

update to Isabelle 2022 #230

Sign in to view logs

Triggered via pull request November 11, 2023 06:26

fblanqui

synchronize #16

fblanqui:isa22

Status Failure

Total duration 5m 44s

Artifacts –

main.yaml

on: pull_request

Matrix: isabelle_dedukti

Annotations

1 error

isabelle_dedukti (4.14.1, 2.7, 2.3.1, 2022)

Process completed with exit code 2.