Skip to content

Isabelle Mirror

Isabelle Mirror #950

Triggered via schedule May 10, 2024 02:19
Status Failure
Total duration 5m 21s
Artifacts

isabelle-mirror.yml

on: schedule
Isabelle Mirror
5m 12s
Isabelle Mirror
Fit to window
Zoom out
Zoom in

Annotations

1 error
Isabelle Mirror
Action isabelle-mirror failed.