Skip to content

Actions: liquid-java/liquidjava

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
644 workflow runs
644 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 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
Add VC Substitution Simplification Java CI with Maven #712: Pull request #249 synchronize by rcosta358
1m 34s vc-substitution
vc-substitution
1m 34s
Refactor code in method checker (#247) Java CI with Maven #711: Commit c05f3fd pushed by CatarinaGamboa
1m 32s main
main
1m 32s
Add VC Substitution Simplification Java CI with Maven #710: Pull request #249 synchronize by rcosta358
1m 37s vc-substitution
vc-substitution
1m 37s
Add VC Substitution Simplification Java CI with Maven #709: Pull request #249 synchronize by rcosta358
1m 47s vc-substitution
vc-substitution
1m 47s
Add VC Substitution Simplification Java CI with Maven #708: Pull request #249 opened by rcosta358
1m 59s vc-substitution
vc-substitution
1m 59s
Refactor code in method checker Java CI with Maven #707: Pull request #247 synchronize by CatarinaGamboa
1m 32s refactor-method-checker
refactor-method-checker
1m 32s
Add SimplifiedPredicate Java CI with Maven #706: Pull request #246 synchronize by rcosta358
1m 29s vc-simplification
vc-simplification
1m 29s
Add SimplifiedPredicate Java CI with Maven #705: Pull request #246 synchronize by rcosta358
1m 23s vc-simplification
vc-simplification
1m 23s
Add more complex examples to test suite Java CI with Maven #704: Pull request #248 opened by CatarinaGamboa
1m 28s examples-complex
examples-complex
1m 28s
Add SimplifiedPredicate Java CI with Maven #703: Pull request #246 synchronize by rcosta358
1m 32s vc-simplification
vc-simplification
1m 32s
Add SimplifiedPredicate Java CI with Maven #702: Pull request #246 synchronize by rcosta358
1m 27s vc-simplification
vc-simplification
1m 27s
Add SimplifiedPredicate Java CI with Maven #701: Pull request #246 synchronize by rcosta358
1m 47s vc-simplification
vc-simplification
1m 47s
Add SimplifiedPredicate Java CI with Maven #700: Pull request #246 synchronize by rcosta358
1m 39s vc-simplification
vc-simplification
1m 39s
Fix VCImplication Ordering (#245) Java CI with Maven #699: Commit 026a409 pushed by rcosta358
1m 34s main
main
1m 34s
Refactor code in method checker Java CI with Maven #698: Pull request #247 opened by CatarinaGamboa
1m 26s refactor-method-checker
refactor-method-checker
1m 26s
Add SimplifiedPredicate Java CI with Maven #697: Pull request #246 synchronize by rcosta358
1m 24s vc-simplification
vc-simplification
1m 24s
Allow interfaces to be also annotated with external refinements (#244) Java CI with Maven #696: Commit 9b3276e pushed by CatarinaGamboa
1m 26s main
main
1m 26s