Build

def: initial presheaf #3822

Triggered via push June 5, 2025 16:20

ncfavier

main

Status Success

Total duration 16m 23s

Artifacts 1

build.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	21.1 MB	`sha256:0821021c28e0991254dcc8306700990c175088afe8720854712a2ba3cb11fb75`