Skip to content

Actions: liquid-java/liquidjava

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
761 workflow runs
761 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
Add -a/--all flag to show all SMT verification conditions Java CI with Maven #737: Pull request #243 synchronize by CatarinaGamboa
1m 46s worktree-issue-240
worktree-issue-240
1m 46s
Get Refinements needs to visit the variable first (#252) Java CI with Maven #736: Commit efa5a0f pushed by CatarinaGamboa
1m 41s main
main
1m 41s
Add VC Arithmetic Simplification Java CI with Maven #735: Pull request #251 synchronize by rcosta358
1m 40s vc-arithmetic
vc-arithmetic
1m 40s
Add VC Arithmetic Simplification Java CI with Maven #734: Pull request #251 synchronize by rcosta358
1m 28s vc-arithmetic
vc-arithmetic
1m 28s
Get Refinements needs to visit the variable first Java CI with Maven #733: Pull request #252 opened by CatarinaGamboa
1m 50s if-read-variable
if-read-variable
1m 50s
Add VC Arithmetic Simplification Java CI with Maven #732: Pull request #251 opened by rcosta358
1m 34s vc-arithmetic
vc-arithmetic
1m 34s
Add -a/--all flag to show all SMT verification conditions Java CI with Maven #731: Pull request #243 synchronize by CatarinaGamboa
1m 39s worktree-issue-240
worktree-issue-240
1m 39s
Add -a/--all flag to show all SMT verification conditions Java CI with Maven #730: Pull request #243 synchronize by CatarinaGamboa
1m 38s worktree-issue-240
worktree-issue-240
1m 38s
Add VC Folding Simplification Java CI with Maven #729: Pull request #250 synchronize by rcosta358
1m 41s vc-folding
vc-folding
1m 41s
Add VC Folding Simplification Java CI with Maven #728: Pull request #250 synchronize by rcosta358
1m 36s vc-folding
vc-folding
1m 36s
Add VC Folding Simplification Java CI with Maven #727: Pull request #250 synchronize by rcosta358
1m 30s vc-folding
vc-folding
1m 30s
Add VC Folding Simplification Java CI with Maven #726: Pull request #250 synchronize by rcosta358
1m 29s vc-folding
vc-folding
1m 29s
Add VC Substitution Simplification (#249) Java CI with Maven #725: Commit d33af55 pushed by rcosta358
1m 40s main
main
1m 40s
Add VC Folding Simplification Java CI with Maven #724: Pull request #250 synchronize by rcosta358
1m 40s vc-folding
vc-folding
1m 40s
Add VC Folding Simplification Java CI with Maven #723: Pull request #250 synchronize by rcosta358
1m 33s vc-folding
vc-folding
1m 33s
Add VC Folding Simplification Java CI with Maven #722: Pull request #250 opened by rcosta358
1m 44s vc-folding
vc-folding
1m 44s
Add VC Substitution Simplification Java CI with Maven #721: Pull request #249 synchronize by rcosta358
2m 4s vc-substitution
vc-substitution
2m 4s
Add VC Substitution Simplification Java CI with Maven #720: Pull request #249 synchronize by rcosta358
1m 41s vc-substitution
vc-substitution
1m 41s
Add VC Substitution Simplification Java CI with Maven #719: Pull request #249 synchronize by rcosta358
1m 41s vc-substitution
vc-substitution
1m 41s
Add VC Substitution Simplification Java CI with Maven #718: Pull request #249 synchronize by rcosta358
1m 48s vc-substitution
vc-substitution
1m 48s
Add VC Substitution Simplification Java CI with Maven #717: Pull request #249 synchronize by rcosta358
37s vc-substitution
vc-substitution
37s
Add VC Substitution Simplification Java CI with Maven #716: Pull request #249 synchronize by rcosta358
1m 50s vc-substitution
vc-substitution
1m 50s
Add more complex examples to test suite (#248) Java CI with Maven #715: Commit 29b1d94 pushed by CatarinaGamboa
1m 39s main
main
1m 39s
Add VC Substitution Simplification Java CI with Maven #714: Pull request #249 synchronize by rcosta358
1m 55s vc-substitution
vc-substitution
1m 55s
Add SimplifiedPredicate (#246) Java CI with Maven #713: Commit f2ee10d pushed by rcosta358
2m 51s main
main
2m 51s