fix build with new zarith stubs #5

Triggered via push June 25, 2024 05:31

katrinafyi

deploy

Status Success

Total duration 56s

Artifacts 1

pages.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	3.24 MB