Skip to content
CodeQL

Isabelle Translation #2664

Sign in to view logs

Isabelle Translation

Isabelle Translation #2664

Triggered via pull request October 23, 2024 12:56
@BookWood7thBookWood7th
synchronize #3514
BookWood7th:main
Status Success
Total duration 9m 1s
Artifacts –

codeql.yml

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