Skip to content

Actions: liquid-java/liquidjava

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
714 workflow runs
714 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.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
Return Null Origin for Unsimplified VCs (#256) Java CI with Maven #773: Commit 076b8fa pushed by rcosta358
1m 36s main
main
1m 36s
Return Null Origin for Unsimplified VCs Java CI with Maven #772: Pull request #256 synchronize by rcosta358
1m 30s null-origins
null-origins
1m 30s
Add VC Binder Simplification Java CI with Maven #771: Pull request #255 synchronize by rcosta358
1m 36s vc-binder-simplification
vc-binder-simplification
1m 36s
Add VC Binder Simplification (#255) Java CI with Maven #770: Commit 7a0b1fe pushed by rcosta358
1m 44s main
main
1m 44s
Refactor VC Simplification (#254) Java CI with Maven #769: Commit 75f9487 pushed by rcosta358
1m 29s main
main
1m 29s
Refactor VC Simplification Java CI with Maven #768: Pull request #254 synchronize by rcosta358
1m 27s vc-simplification-refactoring
vc-simplification-refactoring
1m 27s
Add VC Logical Simplification Java CI with Maven #767: Pull request #253 synchronize by rcosta358
1m 33s vc-logical
vc-logical
1m 33s
Add VC Logical Simplification (#253) Java CI with Maven #766: Commit a784e4a pushed by rcosta358
1m 30s main
main
1m 30s