Skip to content

Isabelle Mirror

Isabelle Mirror #998

Triggered via schedule June 27, 2024 02:20
Status Failure
Total duration 42s
Artifacts

isabelle-mirror.yml

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

Annotations

1 error
Isabelle Mirror
Action isabelle-mirror failed.