The VerCors verification toolset for verifying parallel and concurrent software
Mozilla Public License 2.0
51
stars
24
forks
source link
Release task fails on push to `master` since it should only respond to tag pushes on that branch #1186
Open
pieter-bos opened 2 months ago