Skip to content

Actions: liquid-java/liquidjava

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,030 workflow runs
1,030 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
Name refined call results after the method, as the other generated va… Java CI with Maven #1105: Commit 03b2d8b pushed by CatarinaGamboa
1m 18s main
main
1m 18s
Drop path conditions that expected does not depend on from Found Java CI with Maven #1104: Pull request #487 synchronize by CatarinaGamboa
1m 15s study-unlinked-guards
study-unlinked-guards
1m 15s
Drop path conditions that expected does not depend on from Found Java CI with Maven #1103: Pull request #487 opened by CatarinaGamboa
2m 1s study-unlinked-guards
study-unlinked-guards
2m 1s
Write a call argument as the caller wrote it in refinement errors Java CI with Maven #1102: Pull request #486 synchronize by CatarinaGamboa
2m 16s fix/481-argument-names
fix/481-argument-names
2m 16s
Write a call argument as the caller wrote it in refinement errors Java CI with Maven #1101: Pull request #486 synchronize by CatarinaGamboa
1m 51s fix/481-argument-names
fix/481-argument-names
1m 51s
Show in Found only the facts about the values Expected constrains Java CI with Maven #1100: Pull request #485 synchronize by CatarinaGamboa
1m 44s fix/480-found-target-vars
fix/480-found-target-vars
1m 44s
Write a call argument as the caller wrote it in refinement errors Java CI with Maven #1099: Pull request #486 opened by CatarinaGamboa
1m 24s fix/481-argument-names
fix/481-argument-names
1m 24s
Name only the state sets a suggested call sequence changes Java CI with Maven #1098: Pull request #484 synchronize by CatarinaGamboa
2m 19s fix/482-changed-state-sets
fix/482-changed-state-sets
2m 19s
Show in Found only the facts about the values Expected constrains Java CI with Maven #1097: Pull request #485 opened by CatarinaGamboa
1m 44s fix/480-found-target-vars
fix/480-found-target-vars
1m 44s
Name only the state sets a suggested call sequence changes Java CI with Maven #1096: Pull request #484 opened by CatarinaGamboa
1m 53s fix/482-changed-state-sets
fix/482-changed-state-sets
1m 53s
Name refined call results after the method, as the other generated values Java CI with Maven #1095: Pull request #483 opened by CatarinaGamboa
1m 12s study-call-result-names
study-call-result-names
1m 12s
Name generated values after what they are instead of #fresh (#477) Java CI with Maven #1094: Commit cd49fea pushed by CatarinaGamboa
1m 37s main
main
1m 37s
Drop the bare true row left at the end of Found (#476) Java CI with Maven #1093: Commit c974821 pushed by CatarinaGamboa
1m 20s main
main
1m 20s
Name generated values after what they are instead of #fresh Java CI with Maven #1092: Pull request #477 synchronize by CatarinaGamboa
2m 0s study-fresh-names
study-fresh-names
2m 0s
Drop the bare true row left at the end of Found Java CI with Maven #1091: Pull request #476 synchronize by CatarinaGamboa
1m 56s study-simplify-trues
study-simplify-trues
1m 56s
Ask the solver only about the state sets a refinement names (#475) Java CI with Maven #1090: Commit 4631bc2 pushed by CatarinaGamboa
1m 31s main
main
1m 31s
Drop the bare true row left at the end of Found Java CI with Maven #1089: Pull request #476 synchronize by CatarinaGamboa
1m 48s study-simplify-trues
study-simplify-trues
1m 48s
Name generated values after what they are instead of #fresh Java CI with Maven #1088: Pull request #477 synchronize by CatarinaGamboa
1m 55s study-fresh-names
study-fresh-names
1m 55s
Name generated values after what they are instead of #fresh Java CI with Maven #1087: Pull request #477 opened by CatarinaGamboa
2m 5s study-fresh-names
study-fresh-names
2m 5s
Drop the bare true row left at the end of Found Java CI with Maven #1086: Pull request #476 opened by CatarinaGamboa
2m 1s study-simplify-trues
study-simplify-trues
2m 1s
Ask the solver only about the state sets a refinement names Java CI with Maven #1085: Pull request #475 synchronize by CatarinaGamboa
7m 1s state-hints-relevant-guards
state-hints-relevant-guards
7m 1s
Suggest result checks and argument conditions in state hints (#474) Java CI with Maven #1084: Commit 9e4b5e6 pushed by CatarinaGamboa
6m 33s main
main
6m 33s
Ask the solver only about the state sets a refinement names Java CI with Maven #1083: Pull request #475 synchronize by CatarinaGamboa
1m 28s state-hints-relevant-guards
state-hints-relevant-guards
1m 28s
Suggest result checks and argument conditions in state hints Java CI with Maven #1082: Pull request #474 synchronize by CatarinaGamboa
1m 35s state-hints-guards-and-argument-conditions
state-hints-guards-and-argument-conditions
1m 35s
Ask the solver only about the state sets a refinement names Java CI with Maven #1081: Pull request #475 opened by CatarinaGamboa
1m 19s state-hints-relevant-guards
state-hints-relevant-guards
1m 19s