Skip to content

Release 1.0.1

Choose a tag to compare

View all tags
@github-actions github-actions released this 08 Sep 01:03
1.0.1
c59e5f1
This commit was signed with the committer’s verified signature.
marcluque Marc Luqué
GPG key ID: AB81ED6649461D53
Verified
Learn about vigilant mode.
  • Increase discovery timeout (c59e5f1)
  • Use different architectures to build (b93ea9c)
  • Enable artifact upload and download for YASER binary (5069560)
  • Add release workflow (fa059d4)
  • Turn building unit tests on by default (77b2391)
  • Fix includes for DPLL test (5c031f8)
  • Add include and fmt/format (0c03670)
  • Use fsanitize=leak for GCC instead of fsanitize=memory (1dffc38)
  • Add initial build/test workflow (c6a37d4)
  • Add build type Debug_UBSAN (3943962)
  • Rename CMake options to trigger builds for sanitization (3c2cb9f)
  • Remove empty test suite (8f6d470)
  • Fix test generation macro (31d13dd)
  • Delete old actions (5fcabe0)
Assets 5
Loading