Merge pull request #62 from GaloisInc/49-mps-makefile-improvements · GaloisInc/VERSE-OpenSUT@6c05ebf

Triggered via push June 11, 2024 18:38

main

Status Success

Total duration 5m 52s

Billable time 8m

Artifacts 1

main.yml

on: push

Produced during runtime

Name	Size
mps-binaries Expired	1.13 MB