Skip to content

Make grobi optional #814

Make grobi optional

Make grobi optional #814

Triggered via push September 28, 2024 18:11
Status Success
Total duration 16m 30s
Artifacts

ci.yml

on: push
Matrix: nix-ci / nix
Fit to window
Zoom out
Zoom in