Skip to content

Actions: liquid-java/liquidjava

Actions

Java CI with Maven

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
maven.yml
724 workflow runs
724 workflow runs

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.28 Java CI with Maven #813: Commit 850ffbf pushed by rcosta358
1m 20s main
main
1m 20s
Add VC Constraint Simplification Java CI with Maven #812: Pull request #264 synchronize by rcosta358
2m 25s vc-constraint-elimination
vc-constraint-elimination
2m 25s
Fix Potential NPE (#273) Java CI with Maven #811: Commit d91f256 pushed by rcosta358
1m 19s main
main
1m 19s
Prioritize Ternary Folding (#268) Java CI with Maven #810: Commit 72c0578 pushed by rcosta358
1m 24s main
main
1m 24s
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
Change instance variable numbers for line numbers instead of counter. Refs #132 Java CI with Maven #798: Pull request #271 opened by maartinss
Action required maartinss:change-variable-numbers-for-line-numbers
maartinss:change-variable-numbers-for-line-numbers
Action required
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 Java CI with Maven #789: Commit c643a39 pushed by rcosta358
1m 35s main
main
1m 35s