Skip to content
CodeQL

Isabelle Translation #2665

Sign in to view logs

Isabelle Translation

Isabelle Translation #2665

Triggered via pull request October 23, 2024 13:02
@BookWood7thBookWood7th
synchronize #3514
BookWood7th:main
Status Success
Total duration 8m 54s
Artifacts –

codeql.yml

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