Remove typechecking because we would need to install Catala on this C… #11

Triggered via push January 28, 2025 17:14

main

Status Success

Total duration 4m 35s

Artifacts 1

mdbook.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	1.31 MB