Skip to content

Isabelle Translation #2663

Isabelle Translation

Isabelle Translation #2663

Triggered via pull request October 23, 2024 11:40
Status Success
Total duration 9m 3s
Artifacts

codeql.yml

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