Skip to content

Actions: liquid-java/liquidjava

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
838 workflow runs
838 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
Assume loop conditions in loop bodies with sound loop havoc Java CI with Maven #914: Pull request #320 synchronize by CatarinaGamboa
1m 26s fix/306-loop-condition
fix/306-loop-condition
1m 26s
Fix collisions between same-named fields Java CI with Maven #913: Pull request #327 opened by rcosta358
1m 26s codex/issue-318-field-identity
codex/issue-318-field-identity
1m 26s
Preserve outer field refinements across nested classes Java CI with Maven #912: Pull request #326 opened by rcosta358
1m 2s codex/issue-317-nested-context
codex/issue-317-nested-context
1m 2s
Preserve refinement on forward declared field reads Java CI with Maven #911: Pull request #325 opened by rcosta358
1m 9s codex/issue-316-field-read
codex/issue-316-field-read
1m 9s
Keep the meaning of enum and static constants compared in conditions … Java CI with Maven #910: Commit 0472025 pushed by CatarinaGamboa
1m 29s main
main
1m 29s
Reject stale refinements after short-circuit RHS writes Java CI with Maven #909: Pull request #324 opened by CatarinaGamboa
1m 25s fix/323-short-circuit-soundness
fix/323-short-circuit-soundness
1m 25s
Register Field Contracts Before Forward Declared Writes (#314) Java CI with Maven #908: Commit dd02e99 pushed by rcosta358
1m 20s main
main
1m 20s
Exclude Static Final Constants from Instance Field Ghosts (#313) Java CI with Maven #907: Commit 6d87ec5 pushed by rcosta358
1m 15s main
main
1m 15s
Assume loop conditions in loop bodies with sound loop havoc Java CI with Maven #906: Pull request #320 opened by CatarinaGamboa
1m 33s fix/306-loop-condition
fix/306-loop-condition
1m 33s
Keep the meaning of enum and static constants compared in conditions Java CI with Maven #905: Pull request #319 opened by CatarinaGamboa
1m 26s fix/302-constant-in-condition
fix/302-constant-in-condition
1m 26s
Treat results of methods without refinements as unconstrained in oper… Java CI with Maven #904: Commit fbfb4e2 pushed by CatarinaGamboa
1m 19s main
main
1m 19s
Treat null literals as carrying no information instead of failing (#311) Java CI with Maven #903: Commit 03a15b1 pushed by CatarinaGamboa
1m 18s main
main
1m 18s
Register Field Contracts Before Forward Declared Writes Java CI with Maven #902: Pull request #314 opened by rcosta358
1m 15s codex/fix-308-forward-field-write
codex/fix-308-forward-field-write
1m 15s
Exclude Static Final Constants from Instance Field Ghosts Java CI with Maven #901: Pull request #313 opened by rcosta358
1m 21s codex/fix-307-static-final-field
codex/fix-307-static-final-field
1m 21s
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