continuous integration

feat: `norm_cast` attributes for `Unitization` lemmas #400

Sign in to view logs

Triggered via push April 6, 2026 18:51

j-loreaux

unitization-norm-cast

Status Skipped

Total duration 1s

Artifacts –

build.yml

on: push

ci / Lint style

ci / Upload to cache

ci / Post-Build Step

ci / Post-CI job