Skip to content

Merge branch 'main' into field-arithmetic-hints-2 #1540

Merge branch 'main' into field-arithmetic-hints-2

Merge branch 'main' into field-arithmetic-hints-2 #1540

Triggered via push April 22, 2023 04:38
Status Success
Total duration 6m 8s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

test_install.yml

on: push
Install on debian-11
3m 45s
Install on debian-11
Matrix: install
Fit to window
Zoom out
Zoom in