Skip to content

Actions: daniel-raffler/java-smt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
164 workflow runs
164 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
Always run ci CI #157: Commit 630cd74 pushed by daniel-raffler
19m 58s 692-add-a-way-to-query-supported-solvers
692-add-a-way-to-query-supported-solvers
19m 58s
Merge pull request #701 from sosy-lab/solver-exceptions CI #156: Commit 6815ff9 pushed by daniel-raffler
22m 27s master
master
22m 27s
Move platform detection in example projects to a separate file example-project-ci #7: Commit 71db611 pushed by daniel-raffler
8m 4s example-project-ci
example-project-ci
8m 4s
Move platform check to @Before each block example-project-ci #6: Commit 21ebd45 pushed by daniel-raffler
7m 53s example-project-ci
example-project-ci
7m 53s
Move platform check to @Before each block example-project-ci #5: Commit 04a5929 pushed by daniel-raffler
8m 2s example-project-ci
example-project-ci
8m 2s
Add junit.platform dependency for the launcher back in example-project-ci #4: Commit a7cee81 pushed by daniel-raffler
8m 39s example-project-ci
example-project-ci
8m 39s
Fork JVM for Ivy tests example-project-ci #3: Commit 8ba77e4 pushed by daniel-raffler
8m 55s example-project-ci
example-project-ci
8m 55s
Remove skip.download option example-project-ci #2: Commit 739370d pushed by daniel-raffler
7m 28s example-project-ci
example-project-ci
7m 28s
Add CI for JavaSMT example projects example-project-ci #1: Commit bb653b9 pushed by daniel-raffler
7m 23s example-project-ci
example-project-ci
7m 23s
Turn all tests back on CI #155: Commit 4d5cb2e pushed by daniel-raffler
46s update-maven-example2
update-maven-example2
46s
Turn all tests back on CI #154: Commit 4d5cb2e pushed by daniel-raffler
7m 6s update-maven-example
update-maven-example
7m 6s
Remove tomcat test CI #153: Commit 2400e1a pushed by daniel-raffler
50s update-maven-example
update-maven-example
50s
Fix curl path CI #152: Commit f36f527 pushed by daniel-raffler
43s update-maven-example
update-maven-example
43s
Fix curl path CI #151: Commit 33f00d9 pushed by daniel-raffler
1m 1s update-maven-example
update-maven-example
1m 1s
Add tomcat test CI #150: Commit 97fe2f3 pushed by daniel-raffler
49s update-maven-example
update-maven-example
49s
Add tomcat test CI #149: Commit 6d0d9f5 pushed by daniel-raffler
48s update-maven-example
update-maven-example
48s
Add tomcat test CI #148: Commit 5255f8b pushed by daniel-raffler
47s update-maven-example
update-maven-example
47s
Add workflow for Maven Web CI #147: Commit bdd78bb pushed by daniel-raffler
48s update-maven-example
update-maven-example
48s
Add duplicate handling back in CI #146: Commit 7463148 pushed by daniel-raffler
1m 39s update-maven-example
update-maven-example
1m 39s
Compile to Java 17 in Gradle CI #145: Commit c8a8a86 pushed by daniel-raffler
2m 46s update-maven-example
update-maven-example
2m 46s
Fix Groovy on other platforms CI #144: Commit d4124b6 pushed by daniel-raffler
2m 11s update-maven-example
update-maven-example
2m 11s
Add test dependencies CI #143: Commit b3e50b5 pushed by daniel-raffler
1m 48s update-maven-example
update-maven-example
1m 48s
Add Gradle dependencies CI #142: Commit abfe3e4 pushed by daniel-raffler
1m 48s update-maven-example
update-maven-example
1m 48s
Add Gradle dependencies CI #141: Commit b91a6d1 pushed by daniel-raffler
1s update-maven-example
update-maven-example
1s
Fix library names on windows CI #140: Commit c5c1203 pushed by daniel-raffler
3m 8s update-maven-example
update-maven-example
3m 8s