Skip to content

Actions: liquid-java/liquidjava

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
722 workflow runs
722 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
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
Track Simplification Origins by Full VC Implication Java CI with Maven #784: Pull request #262 synchronize by rcosta358
33s new-origins-approach
new-origins-approach
33s
Track Simplification Origins by Full VC Implication Java CI with Maven #783: Pull request #262 synchronize by rcosta358
1m 26s new-origins-approach
new-origins-approach
1m 26s
Track Simplification Origins by Full VC Implication Java CI with Maven #782: Pull request #262 synchronize by rcosta358
42s new-origins-approach
new-origins-approach
42s
Simplification Migration (#261) Java CI with Maven #781: Commit e78891c pushed by rcosta358
1m 25s main
main
1m 25s
Simplification Migration Java CI with Maven #780: Pull request #261 synchronize by rcosta358
1m 20s simplification-migration
simplification-migration
1m 20s
VC Simplification Refactoring (#260) Java CI with Maven #779: Commit 3b957de pushed by rcosta358
1m 30s main
main
1m 30s
VC Simplification Refactoring Java CI with Maven #778: Pull request #260 synchronize by rcosta358
1m 41s vc-simplification-refactor
vc-simplification-refactor
1m 41s
Add VC Function Substitution (#258) Java CI with Maven #777: Commit 3402d89 pushed by rcosta358
1m 47s main
main
1m 47s
Add VC Function Substitution Java CI with Maven #776: Pull request #258 synchronize by rcosta358
1m 32s vc-function-substitution
vc-function-substitution
1m 32s
Fix VC Substitution (#259) Java CI with Maven #775: Commit fa8114a pushed by rcosta358
1m 31s main
main
1m 31s
Fix VC Substitution Java CI with Maven #774: Pull request #259 synchronize by rcosta358
1m 28s fix-vc-substitution
fix-vc-substitution
1m 28s