Skip to content

Actions: liquid-java/liquidjava

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
789 workflow runs
789 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.32 Publish verifier #13: Commit c311fa1 pushed by rcosta358
12m 4s v0.0.32
v0.0.32
12m 4s
Release liquidjava-verifier 0.0.32 Java CI with Maven #860: Commit c311fa1 pushed by rcosta358
1m 25s main
main
1m 25s
Minor Changes Java CI with Maven #859: Commit 89bbf65 pushed by rcosta358
1m 29s main
main
1m 29s
Release liquidjava-verifier 0.0.31 Publish verifier #12: Commit 298c3a2 pushed by rcosta358
19m 3s v0.0.31
v0.0.31
19m 3s
Release liquidjava-verifier 0.0.31 Java CI with Maven #858: Commit 298c3a2 pushed by rcosta358
1m 26s main
main
1m 26s
Add VC Constraint Simplification (#264) Java CI with Maven #857: Commit 53867f2 pushed by rcosta358
1m 21s main
main
1m 21s
Add VC Constraint Simplification Java CI with Maven #856: Pull request #264 synchronize by rcosta358
1m 23s vc-constraint-elimination
vc-constraint-elimination
1m 23s
Add VC Constraint Simplification Java CI with Maven #855: Pull request #264 synchronize by rcosta358
1m 20s vc-constraint-elimination
vc-constraint-elimination
1m 20s
Filter & Sort Counterexamples by Binders (#272) Java CI with Maven #854: Commit aa48282 pushed by rcosta358
1m 32s main
main
1m 32s
Filter & Sort Counterexamples by Binders Java CI with Maven #853: Pull request #272 synchronize by rcosta358
1m 10s filter-sort-counterexamples
filter-sort-counterexamples
1m 10s
Add VC Constraint Simplification Java CI with Maven #852: Pull request #264 synchronize by rcosta358
1m 26s vc-constraint-elimination
vc-constraint-elimination
1m 26s
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