Skip to content

Isabelle Mirror

Isabelle Mirror #1076

Triggered via schedule September 13, 2024 02:26
Status Failure
Total duration 42s
Artifacts

isabelle-mirror.yml

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

Annotations

1 error
Isabelle Mirror
Action isabelle-mirror failed.