.github/workflows/main.yaml

update to Isabelle 2022 (#16) #232

Sign in to view logs

Triggered via push November 13, 2023 09:36

fblanqui

master

Status Success

Total duration 13m 13s

Artifacts –

main.yaml

on: push

Matrix: isabelle_dedukti