Swap order of arguments for lifts of families of elements #5476
Triggered via pull request
December 12, 2023 19:10
VojtechStep
Status
Success
Total duration
13m 59s
Artifacts
–
ci.yaml
on: pull_request
Matrix: typecheck
pre-commit
38s
link-check
20s