Back to pull request #670

update to Isabelle 2023 #2291

Sign in to view logs

Triggered via pull request October 6, 2023 04:09

lsf37

synchronize #670

isabelle-2023

Status Success

Total duration 1m 13s

Artifacts –

pr.yml

on: pull_request

Trailing Whitespace