Skip to content
Build & Test

Isabelle2025 #240

Sign in to view logs

Isabelle2025

Isabelle2025 #240

Triggered via pull request June 21, 2025 09:54
@muenchnerkindlmuenchnerkindl
synchronize #217
isabelle2025
Status Success
Total duration 25m 32s
Artifacts –

ci.yml

on: pull_request
Matrix: Build & Test
Fit to window
Zoom out
Zoom in