Skip to content

evanix: only disable pipeline when highs is in use #125

evanix: only disable pipeline when highs is in use

evanix: only disable pipeline when highs is in use #125

Triggered via push August 25, 2024 03:00
Status Success
Total duration 4m 15s
Artifacts

build.yml

on: push
Matrix: nix-build
Matrix: nix-flake-check
Fit to window
Zoom out
Zoom in