Skip to content

Actions: liquid-java/liquidjava

Actions

Java CI with Maven

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
maven.yml
593 workflow runs
593 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
StateRefinementError was now shows all needed variables (#232) Java CI with Maven #675: Commit 58349fa pushed by CatarinaGamboa
1m 32s main
main
1m 32s
StateRefinementError was now shows all needed variables Java CI with Maven #674: Pull request #232 opened by CatarinaGamboa
1m 31s bug-fix-vars
bug-fix-vars
1m 31s
Preserve Origins in Ternary Simplifications Java CI with Maven #673: Pull request #231 opened by rcosta358
1m 34s preserve-origins-ite
preserve-origins-ite
1m 34s
Derive Developer Facing States Java CI with Maven #672: Pull request #220 synchronize by CatarinaGamboa
1m 38s derive-states
derive-states
1m 38s
Add debug info for each simplification pass (#230) Java CI with Maven #671: Commit 8805dab pushed by CatarinaGamboa
2m 30s main
main
2m 30s
Add debug info for each simplification pass Java CI with Maven #670: Pull request #230 synchronize by rcosta358
1m 19s debugg-simplification
debugg-simplification
1m 19s
Add debug info for each simplification pass Java CI with Maven #669: Pull request #230 synchronize by CatarinaGamboa
1m 22s debugg-simplification
debugg-simplification
1m 22s
Add debug info for each simplification pass Java CI with Maven #668: Pull request #230 synchronize by CatarinaGamboa
1m 20s debugg-simplification
debugg-simplification
1m 20s
Add debug info for each simplification pass Java CI with Maven #667: Pull request #230 opened by CatarinaGamboa
1m 29s debugg-simplification
debugg-simplification
1m 29s
Release liquidjava-verifier 0.0.25 Java CI with Maven #666: Commit 5259fd4 pushed by rcosta358
1m 29s main
main
1m 29s
Store Derivation Nodes in State Refinement Errors (#229) Java CI with Maven #665: Commit 17e9619 pushed by rcosta358
1m 23s main
main
1m 23s
Store Derivation Nodes in State Refinement Errors Java CI with Maven #664: Pull request #229 opened by rcosta358
1m 39s state-refinement-errors-nodes
state-refinement-errors-nodes
1m 39s
Release liquidjava-verifier 0.0.24 Java CI with Maven #663: Commit 0d6f57b pushed by rcosta358
2m 31s main
main
2m 31s
Save Refined Function Placement (#227) Java CI with Maven #662: Commit e411abe pushed by rcosta358
1m 36s main
main
1m 36s
Fix Usage Detection for Repeated Equalities (#226) Java CI with Maven #661: Commit 10b067f pushed by rcosta358
1m 20s main
main
1m 20s
Fix External Method Not Found (#228) Java CI with Maven #660: Commit 1d0a755 pushed by rcosta358
1m 32s main
main
1m 32s
Fix External Method Not Found Java CI with Maven #659: Pull request #228 synchronize by rcosta358
1m 30s fix-ext-method-not-found
fix-ext-method-not-found
1m 30s
Fix External Method Not Found Java CI with Maven #658: Pull request #228 opened by rcosta358
1m 19s fix-ext-method-not-found
fix-ext-method-not-found
1m 19s
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 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