Skip to content
Ubuntu build

Use glueTrianglesʳ in definition of _∘_ for slice categories #594

Sign in to view logs

Use glueTrianglesʳ in definition of _∘_ for slice categories

Use glueTrianglesʳ in definition of _∘_ for slice categories #594

Triggered via pull request October 30, 2025 14:40
@TanebTaneb
opened #491
slice-use-glue-triangles-r
Status Failure
Total duration 23s
Artifacts –

ci-ubuntu.yml

on: pull_request
test-categories
19s
test-categories
Fit to window
Zoom out
Zoom in

Annotations

1 error
test-categories
Process completed with exit code 42.