Skip to content

Actions: liquid-java/liquidjava

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
824 workflow runs
824 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
Treat results of methods without refinements as unconstrained in operations Java CI with Maven #900: Pull request #312 synchronize by CatarinaGamboa
1m 20s fix/300-unknown-method-in-comparison
fix/300-unknown-method-in-comparison
1m 20s
Treat null literals as carrying no information instead of failing Java CI with Maven #899: Pull request #311 synchronize by CatarinaGamboa
1m 20s fix/301-null-literals
fix/301-null-literals
1m 20s
Treat results of methods without refinements as unconstrained in operations Java CI with Maven #898: Pull request #312 opened by CatarinaGamboa
1m 17s fix/300-unknown-method-in-comparison
fix/300-unknown-method-in-comparison
1m 17s
Treat null literals as carrying no information instead of failing Java CI with Maven #897: Pull request #311 opened by CatarinaGamboa
1m 20s fix/301-null-literals
fix/301-null-literals
1m 20s
Update in-repo api dependency when releasing the api (#310) Java CI with Maven #896: Commit 3a2df08 pushed by CatarinaGamboa
1m 20s main
main
1m 20s
Update in-repo api dependency when releasing the api Java CI with Maven #895: Pull request #310 opened by CatarinaGamboa
1m 19s fix/release-api-dependents
fix/release-api-dependents
1m 19s
Show counterexample values in the final expected refinement Java CI with Maven #894: Pull request #299 synchronize by rcosta358
1m 24s feat/296-counterexample-witness
feat/296-counterexample-witness
1m 24s
Show counterexample values in the final expected refinement Java CI with Maven #893: Pull request #299 synchronize by gitar-bot Bot
1m 9s feat/296-counterexample-witness
feat/296-counterexample-witness
1m 9s
Add Dependabot for LiquidJava dependencies Java CI with Maven #892: Pull request #309 opened by CatarinaGamboa
1m 22s chore/dependabot-liquidjava
chore/dependabot-liquidjava
1m 22s
Update README (#294) Java CI with Maven #891: Commit 8816186 pushed by rcosta358
1m 14s main
main
1m 14s
Improve Test Suite (#293) Java CI with Maven #890: Commit 51ad687 pushed by rcosta358
1m 22s main
main
1m 22s
Show counterexample values in the final expected refinement Java CI with Maven #889: Pull request #299 opened by CatarinaGamboa
1m 18s feat/296-counterexample-witness
feat/296-counterexample-witness
1m 18s
Update README Java CI with Maven #888: Pull request #294 opened by rcosta358
55s update-readme
update-readme
55s
Release liquidjava-verifier 0.0.35 Publish verifier #17: Commit 646d6e4 pushed by rcosta358
7m 16s v0.0.35
v0.0.35
7m 16s
Release liquidjava-verifier 0.0.35 Java CI with Maven #887: Commit 646d6e4 pushed by rcosta358
1m 49s main
main
1m 49s
Improve Error Location Precision Java CI with Maven #886: Commit 8c79d26 pushed by rcosta358
1m 41s main
main
1m 41s
Release liquidjava-verifier 0.0.34 Publish verifier #16: Commit 523cf28 pushed by rcosta358
17m 35s v0.0.34
v0.0.34
17m 35s
Release liquidjava-verifier 0.0.34 Java CI with Maven #885: Commit 523cf28 pushed by rcosta358
1m 24s main
main
1m 24s
Improve Test Suite Java CI with Maven #884: Pull request #293 synchronize by rcosta358
1m 14s improve-tests
improve-tests
1m 14s
Improve Test Suite Java CI with Maven #883: Pull request #293 synchronize by rcosta358
1m 27s improve-tests
improve-tests
1m 27s
Improve Test Suite Java CI with Maven #882: Pull request #293 synchronize by rcosta358
1m 14s improve-tests
improve-tests
1m 14s
Improve Test Suite Java CI with Maven #881: Pull request #293 opened by rcosta358
1m 16s improve-tests
improve-tests
1m 16s
Improve Expected Pattern in Tests Java CI with Maven #880: Pull request #291 opened by rcosta358
1m 31s expected-pattern-tests
expected-pattern-tests
1m 31s
Inline Expected Warnings in Tests Java CI with Maven #879: Pull request #290 synchronize by rcosta358
1m 36s expected-warnings
expected-warnings
1m 36s
Inline Expected Warnings in Tests Java CI with Maven #878: Pull request #290 opened by rcosta358
1m 11s expected-warnings
expected-warnings
1m 11s