search

usi-verification-and-security / opensmt

The opensmt solver
Other
78 stars 18 forks source link

CircleCI: used latest Arch Linux for clang-format #746

Closed Tomaqa closed 3 months ago

Tomaqa commented 3 months ago

The latest Ubuntu image was still not enough for clang-format (#744)

See this PR on verify-env.