CI: Replace starexec images with Fedora

usi-verification-and-security / golem

Solver for Constrained Horn Clauses

MIT License

34 stars 7 forks source link

Closed blishko closed 2 months ago

blishko commented 2 months ago

CentOS 7 is no longer suppoerted, so we have replaced StarExec images with Fedora