Build

API improvements for (Co)cartesian fibrations #3386

Triggered via pull request February 8, 2025 16:11

TOTBWF

synchronize #462

Status Success

Total duration 10m 37s

Artifacts 1

build.yml

on: pull_request

Produced during runtime

Name	Size
github-pages Expired	19.5 MB