Skip to content

Actions: kind2-mc/kind2-java-api

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
89 workflow runs
89 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
kind2-java-api 0.11.0 Publish package to the Maven Central Repository and GitHub Packages #32: Release 0.11.0 created by daniel-larraz
13m 56s
13m 56s
Bump to 0.11.0 Java CI with Gradle #204: Commit fa8a25e pushed by daniel-larraz
1m 5s main
main
1m 5s
Containerization safe mode (#30) Java CI with Gradle #203: Commit 574a732 pushed by daniel-larraz
1m 10s main
main
1m 10s
Containerization safe mode Java CI with Gradle #202: Pull request #30 synchronize by Jabe03
56s Jabe03:containerization-safe-mode
Jabe03:containerization-safe-mode
56s
Containerization safe mode Java CI with Gradle #201: Pull request #30 synchronize by Jabe03
1m 6s Jabe03:containerization-safe-mode
Jabe03:containerization-safe-mode
1m 6s
Containerization safe mode Java CI with Gradle #200: Pull request #30 synchronize by Jabe03
1m 9s Jabe03:containerization-safe-mode
Jabe03:containerization-safe-mode
1m 9s
Containerization safe mode Java CI with Gradle #199: Pull request #30 opened by Jabe03
1m 3s Jabe03:containerization-safe-mode
Jabe03:containerization-safe-mode
1m 3s
kind2-java-api 0.10.1 Publish package to the Maven Central Repository and GitHub Packages #31: Release 0.10.1 created by daniel-larraz
36m 0s
36m 0s
Bump to 0.10.1 Java CI with Gradle #198: Commit bb94d27 pushed by daniel-larraz
1m 7s main
main
1m 7s
Fix setSafeMode ignoring its argument (#29) Java CI with Gradle #197: Commit 272e219 pushed by daniel-larraz
1m 23s main
main
1m 23s
Fix setSafeMode ignoring its argument Java CI with Gradle #196: Pull request #29 opened by daniel-larraz
1m 19s fix-set-safe-mode
fix-set-safe-mode
1m 19s
kind2-java-api 0.10.0 Publish package to the Maven Central Repository and GitHub Packages #30: Release 0.10.0 created by daniel-larraz
10m 20s
10m 20s
Bump to 0.10.0 Java CI with Gradle #195: Commit 19c121d pushed by daniel-larraz
1m 21s main
main
1m 21s
Add safe mode option, which sets the no_include flag for Kind 2 (#28) Java CI with Gradle #194: Commit 54e2956 pushed by daniel-larraz
1m 9s main
main
1m 9s
Add safe mode option Java CI with Gradle #193: Pull request #28 opened by Jabe03
1m 5s Jabe03:safe-mode
Jabe03:safe-mode
1m 5s
Read an infinite or undefined real (#27) Java CI with Gradle #192: Commit 446d97f pushed by daniel-larraz
1m 2s main
main
1m 2s
Read an infinite or undefined real Java CI with Gradle #191: Pull request #27 opened by daniel-larraz
1m 23s daniel-larraz:read-infinite-and-undefined-reals
daniel-larraz:read-infinite-and-undefined-reals
1m 23s
Read a machine integer as an integer (#26) Java CI with Gradle #190: Commit 15f71db pushed by daniel-larraz
1m 21s main
main
1m 21s
Read a machine integer as an integer Java CI with Gradle #189: Pull request #26 opened by daniel-larraz
1m 11s daniel-larraz:read-machine-integer-types
daniel-larraz:read-machine-integer-types
1m 11s
Read algebraic datatype values (#25) Java CI with Gradle #188: Commit e9d2185 pushed by daniel-larraz
1m 20s main
main
1m 20s
Read algebraic datatype values Java CI with Gradle #187: Pull request #25 opened by daniel-larraz
1m 11s daniel-larraz:read-algebraic-datatype-values
daniel-larraz:read-algebraic-datatype-values
1m 11s
kind2-java-api 0.9.0 Publish package to the Maven Central Repository and GitHub Packages #29: Release 0.9.0 created by daniel-larraz
17m 31s
17m 31s
Bump to 0.9.0 Java CI with Gradle #186: Commit 4a2fa16 pushed by daniel-larraz
1m 9s main
main
1m 9s
Use a Windows-compatible method of retrieving filepaths from interpre… Java CI with Gradle #185: Commit fda52e4 pushed by daniel-larraz
1m 2s main
main
1m 2s
Use a Windows-compatible method of retrieving filepaths from interpre… Java CI with Gradle #184: Pull request #24 synchronize by daniel-larraz
58s Jabe03:windows-compatibility
Jabe03:windows-compatibility
58s