All workflows

Workflow runs

• kind2-java-api 0.11.0

  completed successfully:
  Publish package to the Maven Central Repository and GitHub Packages#32:Release0.11.0createdbydaniel-larraz
  Oct 1, 202613m 56s
  More actions for workflow run 32

• Bump to 0.11.0

  completed successfully:
  Java CI with Gradle#204:Commitfa8a25epushedbydaniel-larraz
  main

  Oct 1, 20261m 5s
  More actions for workflow run 204

• Containerization safe mode (#30)

  completed successfully:
  Java CI with Gradle#203:Commit574a732pushedbydaniel-larraz
  main

  Oct 1, 20261m 10s
  More actions for workflow run 203

• Containerization safe mode

  completed successfully:
  Java CI with Gradle#202:Pull request#30synchronizebyJabe03
  Jabe03:containerization-safe-mode

  Oct 1, 202656s
  More actions for workflow run 202

• Containerization safe mode

  completed successfully:
  Java CI with Gradle#201:Pull request#30synchronizebyJabe03
  Jabe03:containerization-safe-mode

  Oct 1, 20261m 6s
  More actions for workflow run 201

• Containerization safe mode

  completed successfully:
  Java CI with Gradle#200:Pull request#30synchronizebyJabe03
  Jabe03:containerization-safe-mode

  Oct 1, 20261m 9s
  More actions for workflow run 200

• Containerization safe mode

  completed successfully:
  Java CI with Gradle#199:Pull request#30openedbyJabe03
  Jabe03:containerization-safe-mode

  Sep 29, 20261m 3s
  More actions for workflow run 199

• kind2-java-api 0.10.1

  completed successfully:
  Publish package to the Maven Central Repository and GitHub Packages#31:Release0.10.1createdbydaniel-larraz
  Sep 24, 202636m 0s
  More actions for workflow run 31

• Bump to 0.10.1

  completed successfully:
  Java CI with Gradle#198:Commitbb94d27pushedbydaniel-larraz
  main

  Sep 24, 20261m 7s
  More actions for workflow run 198

• Fix setSafeMode ignoring its argument (#29)

  completed successfully:
  Java CI with Gradle#197:Commit272e219pushedbydaniel-larraz
  main

  Sep 24, 20261m 23s
  More actions for workflow run 197

• Fix setSafeMode ignoring its argument

  completed successfully:
  Java CI with Gradle#196:Pull request#29openedbydaniel-larraz
  fix-set-safe-mode

  Sep 24, 20261m 19s
  More actions for workflow run 196

• kind2-java-api 0.10.0

  completed successfully:
  Publish package to the Maven Central Repository and GitHub Packages#30:Release0.10.0createdbydaniel-larraz
  Sep 22, 202610m 20s
  More actions for workflow run 30

• Bump to 0.10.0

  completed successfully:
  Java CI with Gradle#195:Commit19c121dpushedbydaniel-larraz
  main

  Sep 22, 20261m 21s
  More actions for workflow run 195

• Add safe mode option, which sets the no_include flag for Kind 2 (#28)

  completed successfully:
  Java CI with Gradle#194:Commit54e2956pushedbydaniel-larraz
  main

  Sep 22, 20261m 9s
  More actions for workflow run 194

• Add safe mode option

  completed successfully:
  Java CI with Gradle#193:Pull request#28openedbyJabe03
  Jabe03:safe-mode

  Sep 22, 20261m 5s
  More actions for workflow run 193

• Read an infinite or undefined real (#27)

  completed successfully:
  Java CI with Gradle#192:Commit446d97fpushedbydaniel-larraz
  main

  Sep 22, 20261m 2s
  More actions for workflow run 192

• Read an infinite or undefined real

  completed successfully:
  Java CI with Gradle#191:Pull request#27openedbydaniel-larraz
  daniel-larraz:read-infinite-and-undefined-reals

  Sep 22, 20261m 23s
  More actions for workflow run 191

• Read a machine integer as an integer (#26)

  completed successfully:
  Java CI with Gradle#190:Commit15f71dbpushedbydaniel-larraz
  main

  Sep 22, 20261m 21s
  More actions for workflow run 190

• Read a machine integer as an integer

  completed successfully:
  Java CI with Gradle#189:Pull request#26openedbydaniel-larraz
  daniel-larraz:read-machine-integer-types

  Sep 22, 20261m 11s
  More actions for workflow run 189

• Read algebraic datatype values (#25)

  completed successfully:
  Java CI with Gradle#188:Commite9d2185pushedbydaniel-larraz
  main

  Sep 22, 20261m 20s
  More actions for workflow run 188

• Read algebraic datatype values

  completed successfully:
  Java CI with Gradle#187:Pull request#25openedbydaniel-larraz
  daniel-larraz:read-algebraic-datatype-values

  Sep 22, 20261m 11s
  More actions for workflow run 187

• kind2-java-api 0.9.0

  completed successfully:
  Publish package to the Maven Central Repository and GitHub Packages#29:Release0.9.0createdbydaniel-larraz
  Sep 15, 202617m 31s
  More actions for workflow run 29

• Bump to 0.9.0

  completed successfully:
  Java CI with Gradle#186:Commit4a2fa16pushedbydaniel-larraz
  main

  Sep 15, 20261m 9s
  More actions for workflow run 186

• Use a Windows-compatible method of retrieving filepaths from interpre…

  completed successfully:
  Java CI with Gradle#185:Commitfda52e4pushedbydaniel-larraz
  main

  Sep 15, 20261m 2s
  More actions for workflow run 185

• Use a Windows-compatible method of retrieving filepaths from interpre…

  completed successfully:
  Java CI with Gradle#184:Pull request#24synchronizebydaniel-larraz
  Jabe03:windows-compatibility

  Sep 15, 202658s
  More actions for workflow run 184