Skip to content

Remove special override for \perp... #271

Remove special override for \perp...

Remove special override for \perp... #271

Triggered via push January 6, 2025 07:20
Status Success
Total duration 6m 55s
Artifacts

ci.yml

on: push
linux-stack
54s
linux-stack
Matrix: linux
Fit to window
Zoom out
Zoom in

Annotations

7 warnings
linux-stack
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see /~https://github.com/actions/runner-images/issues/10636
linux (9.2, 3.4)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see /~https://github.com/actions/runner-images/issues/10636
linux (8.10, 3.2)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see /~https://github.com/actions/runner-images/issues/10636
linux (9.10, latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see /~https://github.com/actions/runner-images/issues/10636
linux (9.8, latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see /~https://github.com/actions/runner-images/issues/10636
linux (9.4, latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see /~https://github.com/actions/runner-images/issues/10636
linux (9.6, latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see /~https://github.com/actions/runner-images/issues/10636