Skip to content

Actions: liquid-java/liquidjava

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
778 workflow runs
778 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
Release liquidjava-verifier 0.0.30 Publish verifier #11: Commit 9d57e8f pushed by rcosta358
8m 12s v0.0.30
v0.0.30
8m 12s
Release liquidjava-verifier 0.0.30 Java CI with Maven #851: Commit 9d57e8f pushed by rcosta358
1m 12s main
main
1m 12s
Add Declaration Location to Refinement Errors (#285) Java CI with Maven #850: Commit fdd5604 pushed by rcosta358
1m 15s main
main
1m 15s
Add Declaration Location to Refinement Errors Java CI with Maven #849: Pull request #285 synchronize by rcosta358
1m 26s declaration-locations
declaration-locations
1m 26s
Simplify Unambiguous Qualified Names (#284) Java CI with Maven #848: Commit cdc46e3 pushed by rcosta358
1m 7s main
main
1m 7s
Remove Unused Fresh Path Binders In Simplification (#278) Java CI with Maven #847: Commit 0ded161 pushed by rcosta358
1m 20s main
main
1m 20s
Release liquidjava-verifier 0.0.29 Publish verifier #10: Commit f6ea882 pushed by rcosta358
31m 19s v0.0.29
v0.0.29
31m 19s
Release liquidjava-verifier 0.0.29 Java CI with Maven #846: Commit f6ea882 pushed by rcosta358
1m 27s main
main
1m 27s
Remove Unused Imports (#286) Java CI with Maven #845: Commit 4be3bb1 pushed by rcosta358
1m 19s main
main
1m 19s
Fix Field Initialization (#281) Java CI with Maven #844: Commit 61d3a67 pushed by rcosta358
1m 16s main
main
1m 16s
Fix Inconsistent Qualified Names (#274) Java CI with Maven #843: Commit 9bd14d5 pushed by rcosta358
1m 26s main
main
1m 26s
Fix NPE When Concatenating Strings (#283) Java CI with Maven #842: Commit 006158c pushed by rcosta358
1m 23s main
main
1m 23s
Fix Field Initialization Java CI with Maven #841: Pull request #281 synchronize by rcosta358
1m 13s fix-field-initialization
fix-field-initialization
1m 13s
Fix NPE When Incrementing Fields (#280) Java CI with Maven #840: Commit a1564c4 pushed by rcosta358
1m 28s main
main
1m 28s
Fix Refinements After Early Return (#277) Java CI with Maven #839: Commit db07738 pushed by rcosta358
1m 31s main
main
1m 31s
Fix Instance Variable Leak Between Methods (#276) Java CI with Maven #838: Commit d5ae6be pushed by rcosta358
1m 35s main
main
1m 35s
Fix Field Access (#275) Java CI with Maven #837: Commit cdd3c0f pushed by rcosta358
1m 52s main
main
1m 52s
Remove Unused Imports Java CI with Maven #836: Pull request #286 opened by rcosta358
1m 54s remove-unused-imports
remove-unused-imports
1m 54s
Add Declaration Location to Refinement Errors Java CI with Maven #835: Pull request #285 opened by rcosta358
1m 23s declaration-locations
declaration-locations
1m 23s
Simplify Unambiguous Qualified Names Java CI with Maven #834: Pull request #284 synchronize by rcosta358
1m 11s simplify-qualified-names
simplify-qualified-names
1m 11s
Simplify Unambiguous Qualified Names Java CI with Maven #833: Pull request #284 synchronize by rcosta358
1m 11s simplify-qualified-names
simplify-qualified-names
1m 11s
Simplify Unambiguous Qualified Names Java CI with Maven #832: Pull request #284 opened by rcosta358
1m 42s simplify-qualified-names
simplify-qualified-names
1m 42s
Fix NPE When Concatenating Strings Java CI with Maven #831: Pull request #283 opened by rcosta358
1m 53s fix-string-concat
fix-string-concat
1m 53s
Fix Field Initialization Java CI with Maven #830: Pull request #281 opened by rcosta358
1m 57s fix-field-initialization
fix-field-initialization
1m 57s
Fix NPE When Incrementing Fields Java CI with Maven #829: Pull request #280 opened by rcosta358
1m 56s fix-field-increment
fix-field-increment
1m 56s