Deploy book

Compile prover fuctions as well (#2432) #1347

Sign in to view logs

Summary
Jobs
- deploy
Run details
- Usage
- Workflow file

Triggered via push February 5, 2025 11:23

github-merge-queue[bot]

main

Status Success

Total duration 5m 38s

Artifacts –

deploy-book.yml

on: push