Skip to content

v-831eb89260aad4cff131218de7174bd49d4df36a
Compare
Choose a tag to compare
@paulthomson paulthomson released this 26 Nov 11:24
v-831eb89260aad4cff131218de7174bd49d4df36a
831eb89
This commit was created on github.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

Automated build.

  • 831eb89 - In JSON of results, de-capitalize "status" field for homogeneous capitalisation of fields (#133)
  • 33b4180 - Fix binary permissions. (#132)
  • 8be1998 - Add status to log, enable to reduce e.g. NONDET (#130)
Assets 7
Loading