fix build with new zarith stubs #3

Triggered via push June 25, 2024 04:38

katrinafyi

deploy

Status Success

Total duration 4m 32s

Artifacts 1

pages.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	3.24 MB