Skip to content

Isabelle Mirror

Isabelle Mirror #1090

Triggered via schedule September 27, 2024 02:30
Status Failure
Total duration 42s
Artifacts

isabelle-mirror.yml

on: schedule
Isabelle Mirror
34s
Isabelle Mirror
Fit to window
Zoom out
Zoom in

Annotations

1 error
Isabelle Mirror
Action isabelle-mirror failed.