mirny: update latest release to 0.3.1 #94
Loading…
Reference in New Issue
No description provided.
Delete Branch "mwojcik/nix-scripts:mirny-update"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Almazny 1.2+ fix was merged in Mirny CPLD, so Hydra does not need to build a separate patched version anymore.