update to Isabelle 2023 #2276
Triggered via pull request
September 29, 2023 00:56
lsf37
Status
Success
Total duration
1m 21s
Artifacts
–
pr.yml
on: pull_request
Gitlint
46s
Trailing Whitespace
32s
Portable Shell
30s
Style
1m 11s
Theory Linter
47s