All workflows

Workflow runs

• kind2-java-api 0.12.0

  completed successfully:
  Publish package to the Maven Central Repository and GitHub Packages#33:Release0.12.0createdbydaniel-larraz
  Oct 30, 202619m 3s
  More actions for workflow run 33

• Bump to 0.12.0

  completed successfully:
  Java CI with Gradle#209:Commit7a53f8dpushedbydaniel-larraz
  main

  Oct 30, 20266m 14s
  More actions for workflow run 209

• Stop safe mode containers on cancel and cap concurrent runs (#31)

  completed successfully:
  Java CI with Gradle#208:Commit34e79a6pushedbydaniel-larraz
  main

  Oct 30, 20261m 3s
  More actions for workflow run 208

• Stop safe mode containers on cancel and cap concurrent runs

  completed successfully:
  Java CI with Gradle#207:Pull request#31synchronizebyJabe03
  Jabe03:safe-mode-container-cleanup

  Oct 30, 202649s
  More actions for workflow run 207

• Stop safe mode containers on cancel and cap concurrent runs

  completed successfully:
  Java CI with Gradle#206:Pull request#31synchronizebyJabe03
  Jabe03:safe-mode-container-cleanup

  Oct 16, 202657s
  More actions for workflow run 206

• Stop safe mode containers on cancel and cap concurrent runs

  completed successfully:
  Java CI with Gradle#205:Pull request#31openedbyJabe03
  Jabe03:safe-mode-container-cleanup

  Oct 16, 20261m 17s
  More actions for workflow run 205

• 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