chore: only lift ℤ and ℤ/n as needed #3078

Triggered via push August 27, 2024 11:30

ncfavier

ncf/groups

Status Success

Total duration 19m 37s

Artifacts 1

build.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	13.5 MB