Ubuntu build

Clean code for category of elements and simplify a presheaf notation #3049

Sign in to view logs

Triggered via pull request October 22, 2025 15:21

mortberg

opened #1266

mortberg:cleaning-elements

Status Success

Total duration 3m 48s

Artifacts –

ci-ubuntu.yml

on: pull_request