Skip to content

Actions: liquid-java/liquidjava

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
798 workflow runs
798 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
Fix VC Function Substitution (#267) Java CI with Maven #809: Commit f3466c8 pushed by rcosta358
1m 21s main
main
1m 21s
Fix VC Function Substitution Java CI with Maven #808: Pull request #267 synchronize by rcosta358
1m 12s fix-vc-function-substitution
fix-vc-function-substitution
1m 12s
Fix VC Function Substitution Java CI with Maven #807: Pull request #267 synchronize by rcosta358
1m 21s fix-vc-function-substitution
fix-vc-function-substitution
1m 21s
Fix VC Function Substitution Java CI with Maven #806: Pull request #267 synchronize by rcosta358
1m 15s fix-vc-function-substitution
fix-vc-function-substitution
1m 15s
Add VC Simplification Debug Log (#266) Java CI with Maven #805: Commit f4d1e50 pushed by rcosta358
1m 10s main
main
1m 10s
Add VC Simplification Debug Log Java CI with Maven #804: Pull request #266 synchronize by rcosta358
1m 19s vc-simplification-debug
vc-simplification-debug
1m 19s
Track Simplification Pass Names (#265) Java CI with Maven #803: Commit 9b8dec0 pushed by rcosta358
1m 33s main
main
1m 33s
Fix VC Function Substitution Java CI with Maven #802: Pull request #267 synchronize by rcosta358
1m 43s fix-vc-function-substitution
fix-vc-function-substitution
1m 43s
Track Simplification Pass Names Java CI with Maven #801: Pull request #265 synchronize by rcosta358
1m 37s track-simplification-passes
track-simplification-passes
1m 37s
Fix Potential NPE Java CI with Maven #800: Pull request #273 opened by rcosta358
1m 45s fix-npe-2
fix-npe-2
1m 45s
Filter & Sort Counterexamples by Binders Java CI with Maven #799: Pull request #272 opened by rcosta358
1m 39s filter-sort-counterexamples
filter-sort-counterexamples
1m 39s
Prioritize Ternary Folding Java CI with Maven #797: Pull request #268 opened by rcosta358
1m 27s prioritize-ite-folding
prioritize-ite-folding
1m 27s
Fix VC Function Substitution Java CI with Maven #796: Pull request #267 synchronize by rcosta358
1m 36s fix-vc-function-substitution
fix-vc-function-substitution
1m 36s
Fix VC Function Substitution Java CI with Maven #795: Pull request #267 synchronize by rcosta358
1m 26s fix-vc-function-substitution
fix-vc-function-substitution
1m 26s
Fix VC Function Substitution Java CI with Maven #794: Pull request #267 opened by rcosta358
1m 32s fix-vc-function-substitution
fix-vc-function-substitution
1m 32s
Add VC Simplification Debug Log Java CI with Maven #793: Pull request #266 opened by rcosta358
1m 45s vc-simplification-debug
vc-simplification-debug
1m 45s
Track Simplification Pass Names Java CI with Maven #792: Pull request #265 synchronize by rcosta358
1m 35s track-simplification-passes
track-simplification-passes
1m 35s
Track Simplification Pass Names Java CI with Maven #791: Pull request #265 opened by rcosta358
1m 25s track-simplification-passes
track-simplification-passes
1m 25s
Add VC Constraint Simplification Java CI with Maven #790: Pull request #264 opened by rcosta358
1m 43s vc-constraint-elimination
vc-constraint-elimination
1m 43s
Release liquidjava-verifier 0.0.27 Publish verifier #8: Commit c643a39 pushed by rcosta358
5m 24s v0.0.27
v0.0.27
5m 24s
Release liquidjava-verifier 0.0.27 Java CI with Maven #789: Commit c643a39 pushed by rcosta358
1m 35s main
main
1m 35s
Remove Group Expression (#263) Java CI with Maven #788: Commit 2da1348 pushed by rcosta358
1m 31s main
main
1m 31s
Remove Group Expression Java CI with Maven #787: Pull request #263 synchronize by rcosta358
1m 22s remove-group-expression
remove-group-expression
1m 22s
Track Simplification Origins by Full VC Implication (#262) Java CI with Maven #786: Commit bbdaaa5 pushed by rcosta358
1m 21s main
main
1m 21s
Track Simplification Origins by Full VC Implication Java CI with Maven #785: Pull request #262 synchronize by rcosta358
1m 26s new-origins-approach
new-origins-approach
1m 26s