Skip to content
CodeQL

Isabelle Translation #2638

Sign in to view logs

Isabelle Translation

Isabelle Translation #2638

Triggered via pull request September 5, 2024 12:01
@BookWood7thBookWood7th
opened #3514
BookWood7th:main
Status Success
Total duration 8m 43s
Artifacts –

codeql.yml

on: pull_request
Matrix: Analyze
Fit to window
Zoom out
Zoom in