Merge pull request #174 from GaloisInc/sc/release-instructions · GaloisInc/VERSE-Toolchain@5c8d54b

Triggered via push February 25, 2025 02:16

samcowger

main

Status Success

Total duration 7m 28s

Artifacts 3

ci.yml

on: push

Matrix: build

Produced during runtime