Skip to content
CI

Work towards fixing PreservedSesquilinearForms #155

Sign in to view logs

Work towards fixing PreservedSesquilinearForms

Work towards fixing PreservedSesquilinearForms #155

Triggered via pull request December 13, 2023 00:40
@fingolfinfingolfin
opened #52
fix_recognition
Status Cancelled
Total duration 58s
Artifacts –

CI.yml

on: pull_request
Build manuals
38s
Build manuals
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

6 errors
stable-4.9
The operation was canceled.
Build manuals
The operation was canceled.
stable-4.10
The operation was canceled.
stable-4.12
The operation was canceled.
stable-4.11
The operation was canceled.
master
The operation was canceled.