Skip to content

Actions: liquid-java/liquidjava

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,003 workflow runs
1,003 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
Suggest result checks and argument conditions in state hints Java CI with Maven #1078: Pull request #474 opened by CatarinaGamboa
1m 54s state-hints-guards-and-argument-conditions
state-hints-guards-and-argument-conditions
1m 54s
Drop true rows for variables that another row of Found already shows Java CI with Maven #1077: Pull request #472 opened by CatarinaGamboa
1m 54s fix/unneeded-true-rows
fix/unneeded-true-rows
1m 54s
Give state hints when the state set or methods come from the receiver… Java CI with Maven #1076: Commit dc1a63f pushed by CatarinaGamboa
1m 37s main
main
1m 37s
Give state hints when the state set or methods come from the receiver's supertypes Java CI with Maven #1075: Pull request #464 synchronize by CatarinaGamboa
1m 55s fix/456-inherited-state-hints
fix/456-inherited-state-hints
1m 55s
Give state hints when the state set or methods come from the receiver's supertypes Java CI with Maven #1074: Pull request #464 synchronize by CatarinaGamboa
1m 44s fix/456-inherited-state-hints
fix/456-inherited-state-hints
1m 44s
Give state hints when the state set or methods come from the receiver's supertypes Java CI with Maven #1073: Pull request #464 synchronize by CatarinaGamboa
1m 40s fix/456-inherited-state-hints
fix/456-inherited-state-hints
1m 40s
Give state hints when the state set or methods come from the receiver's supertypes Java CI with Maven #1072: Pull request #464 synchronize by CatarinaGamboa
1m 54s fix/456-inherited-state-hints
fix/456-inherited-state-hints
1m 54s
Drop true binders the error does not need and write fields as in code… Java CI with Maven #1071: Commit 70edf72 pushed by CatarinaGamboa
1m 52s main
main
1m 52s
Suggest only calls allowed in any state when the receiver's state is … Java CI with Maven #1070: Commit 48ef72d pushed by CatarinaGamboa
1m 42s main
main
1m 42s
Suggest only calls allowed in any state when the receiver's state is unknown Java CI with Maven #1069: Pull request #458 synchronize by CatarinaGamboa
1m 49s state-hints-unknown-goal
state-hints-unknown-goal
1m 49s
Drop true binders the error does not need and write fields as in code Java CI with Maven #1068: Pull request #459 synchronize by CatarinaGamboa
1m 49s fix/457-true-binders
fix/457-true-binders
1m 49s
Keep the values expected depends on in the counterexample (#460) Java CI with Maven #1067: Commit 00cdb11 pushed by CatarinaGamboa
1m 55s main
main
1m 55s
Drop true binders the error does not need and write fields as in code Java CI with Maven #1066: Pull request #459 synchronize by CatarinaGamboa
1m 52s fix/457-true-binders
fix/457-true-binders
1m 52s
Suggest only calls allowed in any state when the receiver's state is unknown Java CI with Maven #1065: Pull request #458 synchronize by CatarinaGamboa
1m 56s state-hints-unknown-goal
state-hints-unknown-goal
1m 56s
Drop true binders the error does not need and write fields as in code Java CI with Maven #1064: Pull request #459 synchronize by CatarinaGamboa
1m 47s fix/457-true-binders
fix/457-true-binders
1m 47s
Keep the values expected depends on in the counterexample Java CI with Maven #1063: Pull request #460 synchronize by CatarinaGamboa
1m 38s fix/counterexample-expected-vars
fix/counterexample-expected-vars
1m 38s
Suggest only calls allowed in any state when the receiver's state is unknown Java CI with Maven #1062: Pull request #458 synchronize by CatarinaGamboa
1m 14s state-hints-unknown-goal
state-hints-unknown-goal
1m 14s
Drop true binders the error does not need and write fields as in code Java CI with Maven #1061: Pull request #459 synchronize by CatarinaGamboa
1m 25s fix/457-true-binders
fix/457-true-binders
1m 25s
Keep the values expected depends on in the counterexample Java CI with Maven #1060: Pull request #460 synchronize by CatarinaGamboa
1m 40s fix/counterexample-expected-vars
fix/counterexample-expected-vars
1m 40s
Suggest only calls allowed in any state when the receiver's state is unknown Java CI with Maven #1059: Pull request #458 synchronize by CatarinaGamboa
1m 47s state-hints-unknown-goal
state-hints-unknown-goal
1m 47s
Drop true binders the error does not need and write fields as in code Java CI with Maven #1058: Pull request #459 synchronize by CatarinaGamboa
1m 59s fix/457-true-binders
fix/457-true-binders
1m 59s
Compute loop typestates as a fixpoint over iterations (#434) Java CI with Maven #1057: Commit 0053074 pushed by CatarinaGamboa
1m 38s main
main
1m 38s
Keep the values expected depends on in the counterexample Java CI with Maven #1056: Pull request #460 synchronize by CatarinaGamboa
1m 54s fix/counterexample-expected-vars
fix/counterexample-expected-vars
1m 54s
Suggest only calls allowed in any state when the receiver's state is unknown Java CI with Maven #1055: Pull request #458 synchronize by CatarinaGamboa
1m 51s state-hints-unknown-goal
state-hints-unknown-goal
1m 51s
Give state hints when the state set or methods come from the receiver's supertypes Java CI with Maven #1054: Pull request #464 opened by CatarinaGamboa
1m 41s fix/456-inherited-state-hints
fix/456-inherited-state-hints
1m 41s