Releases · runtimeverification/upload-release.nix · GitHub

Release list

v1.1 Latest

Latest

Baltoli released this 09 Oct 12:51

0b1594f

This release ports the action away from the hub tool (which has been deprecated), in favour of the new official gh CLI.

Assets 2