Skip to content

Actions: bazzani/smt-unwrapper

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
18 workflow runs
18 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add GitHub workflow to build with Java 17
Java CI with Maven #18: Commit d92a31f pushed by bazzani
January 7, 2025 10:07 23s add-github-workflow-for-java
January 7, 2025 10:07 23s
Use mvnw 🧑‍🔧
Java CI with Maven #17: Commit 7fc192b pushed by bazzani
January 7, 2025 09:06 28s add-github-workflow-for-java
January 7, 2025 09:06 28s
Break the build!
Java CI with Maven #16: Commit 76e5172 pushed by bazzani
January 7, 2025 02:50 16s add-github-workflow-for-java
January 7, 2025 02:50 16s
Add GitHub workflow to build with Java 17
Java CI with Maven #15: Commit 7183f28 pushed by bazzani
January 6, 2025 02:01 25s add-github-workflow-for-java
January 6, 2025 02:01 25s
Use ./mvnw
Java CI with Maven #14: Commit ae19042 pushed by bazzani
January 6, 2025 01:58 27s add-github-workflow-for-java
January 6, 2025 01:58 27s
Add GitHub workflow to build with Java 17
Java CI with Maven #13: Commit bda237f pushed by bazzani
January 5, 2025 07:42 26s add-github-workflow-for-java
January 5, 2025 07:42 26s
Add GitHub workflow to build with Java 17
Java CI with Maven #12: Commit 086aa41 pushed by bazzani
January 5, 2025 05:31 25s add-github-workflow-for-java
January 5, 2025 05:31 25s
Add GitHub workflow to build with Java 17
Java CI with Maven #11: Commit db94458 pushed by bazzani
January 5, 2025 05:29 25s add-github-workflow-for-java
January 5, 2025 05:29 25s
Add Maven Github workflow to build with Java 17
Java CI with Maven #10: Commit b0cb417 pushed by bazzani
January 5, 2025 05:28 22s add-github-workflow-for-java
January 5, 2025 05:28 22s
Add Maven Github workflow to build with Java 17
Java CI with Maven #9: Commit a8af1f3 pushed by bazzani
January 5, 2025 05:01 26s add-github-workflow-for-java
January 5, 2025 05:01 26s
use ./mvnw
Java CI with Maven #8: Commit 8c15bdc pushed by bazzani
January 5, 2025 04:58 27s add-github-workflow-for-java
January 5, 2025 04:58 27s
Add Maven Github workflow to build with Java 17
Java CI with Maven #7: Commit 38028ed pushed by bazzani
January 5, 2025 04:58 22s add-github-workflow-for-java
January 5, 2025 04:58 22s
Add Maven Github workflow to build with Java 17
Java CI with Maven #6: Commit 369a97b pushed by bazzani
January 5, 2025 04:46 28s add-github-workflow-for-java
January 5, 2025 04:46 28s
Add Maven Github workflow to build with Java 17
Java CI with Maven #5: Commit 3b0a8fa pushed by bazzani
January 5, 2025 04:44 27s add-github-workflow-for-java
January 5, 2025 04:44 27s
Add Maven Github workflow to build with Java 17
Java CI with Maven #4: Commit 102bbd7 pushed by bazzani
January 5, 2025 04:44 31s add-github-workflow-for-java
January 5, 2025 04:44 31s
Comment out upload dependencies step
Java CI with Maven #3: Commit 726f8c0 pushed by bazzani
January 5, 2025 04:40 22s add-github-workflow-for-java
January 5, 2025 04:40 22s
Comment out upload dependencies step
Java CI with Maven #2: Commit e6ead51 pushed by bazzani
January 5, 2025 04:35 35s add-github-workflow-for-java
January 5, 2025 04:35 35s
apply to all branches
Java CI with Maven #1: Commit 067827b pushed by bazzani
January 5, 2025 04:28 45s add-github-workflow-for-java
January 5, 2025 04:28 45s