Skip to content

Actions: liquid-java/liquidjava

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
585 workflow runs
585 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
Save Refined Function Placement Java CI with Maven #657: Pull request #227 opened by rcosta358
1m 29s ref-function-placement
ref-function-placement
1m 29s
VarDerivationNode Formatting Java CI with Maven #656: Commit a52518d pushed by rcosta358
1m 24s main
main
1m 24s
Release liquidjava-verifier 0.0.23 Publish verifier #4: Commit aecec47 pushed by rcosta358
6m 13s v0.0.23
v0.0.23
6m 13s
Release liquidjava-verifier 0.0.23 Java CI with Maven #655: Commit aecec47 pushed by rcosta358
1m 24s main
main
1m 24s
Fix Usage Detection for Repeated Equalities Java CI with Maven #654: Pull request #226 synchronize by rcosta358
1m 21s fix-has-usage
fix-has-usage
1m 21s
Fix Usage Detection for Repeated Equalities Java CI with Maven #653: Pull request #226 synchronize by rcosta358
1m 37s fix-has-usage
fix-has-usage
1m 37s
Fix Usage Detection for Repeated Equalities Java CI with Maven #652: Pull request #226 synchronize by rcosta358
1m 30s fix-has-usage
fix-has-usage
1m 30s
Fix Usage Detection for Repeated Equalities Java CI with Maven #651: Pull request #226 synchronize by rcosta358
1m 32s fix-has-usage
fix-has-usage
1m 32s
Improve Debug Logs (#224) Java CI with Maven #650: Commit 886c172 pushed by rcosta358
1m 29s main
main
1m 29s
Improve Debug Logs Java CI with Maven #649: Pull request #224 synchronize by rcosta358
1m 23s debug-unsimplified-expressions
debug-unsimplified-expressions
1m 23s
Add LSP Flag (#225) Java CI with Maven #648: Commit d977679 pushed by rcosta358
1m 36s main
main
1m 36s
Add LSP Flag Java CI with Maven #647: Pull request #225 synchronize by rcosta358
1m 32s lsp-flag
lsp-flag
1m 32s
Improve Debug Logs Java CI with Maven #646: Pull request #224 synchronize by rcosta358
1m 35s debug-unsimplified-expressions
debug-unsimplified-expressions
1m 35s
Update Run Script (#223) Java CI with Maven #645: Commit 38d4dbc pushed by rcosta358
1m 21s main
main
1m 21s
Fix Usage Detection for Repeated Equalities Java CI with Maven #644: Pull request #226 opened by rcosta358
1m 22s fix-has-usage
fix-has-usage
1m 22s
Add LSP Flag Java CI with Maven #643: Pull request #225 opened by rcosta358
1m 35s lsp-flag
lsp-flag
1m 35s
Improve Debug Logs Java CI with Maven #642: Pull request #224 opened by rcosta358
1m 35s debug-unsimplified-expressions
debug-unsimplified-expressions
1m 35s
Update Run Script Java CI with Maven #641: Pull request #223 opened by rcosta358
1m 25s update-run-script
update-run-script
1m 25s
Simplify Enums & Static Final Fields (#222) Java CI with Maven #640: Commit 6d1f086 pushed by rcosta358
1m 29s main
main
1m 29s
Simplify Enums & Static Final Fields Java CI with Maven #639: Pull request #222 opened by rcosta358
1m 24s simplify-enums
simplify-enums
1m 24s
Add hint for implies (using --> and not ->) (#221) Java CI with Maven #638: Commit 275e9b7 pushed by CatarinaGamboa
1m 35s main
main
1m 35s
Add hint for implies (using --> and not ->) Java CI with Maven #637: Pull request #221 opened by CatarinaGamboa
1m 23s hint-implies
hint-implies
1m 23s
Propagate Function Invocations (#216) Java CI with Maven #636: Commit d22612b pushed by rcosta358
1m 28s main
main
1m 28s
Propagate Function Invocations Java CI with Maven #635: Pull request #216 synchronize by rcosta358
1m 21s function-invocation-simplification
function-invocation-simplification
1m 21s
Derive Developer Facing States Java CI with Maven #634: Pull request #220 opened by rcosta358
1m 31s derive-states
derive-states
1m 31s