.github/workflows/main.yaml

update to Isabelle 2022 #231

Sign in to view logs

Triggered via pull request November 13, 2023 09:17

fblanqui

synchronize #16

fblanqui:isa22

Status Success

Total duration 10m 54s

Artifacts –

main.yaml

on: pull_request

Matrix: isabelle_dedukti