CI

update to Isabelle2023 #965

Sign in to view logs

Triggered via pull request October 6, 2023 04:19

lsf37

opened #15

isabelle2023

Status Success

Total duration 34s

Artifacts –

push.yml

on: pull_request