search

Smattr / rumur

yet another model checker
The Unlicense
16 stars 5 forks source link

CI: upgrade FreeBSD 13.0 to 13.1 #243

Closed Smattr closed 1 year ago

Smattr commented 1 year ago

This also moves to the release images rather than the snaps. The release images seem somewhat more predictable and stable.