Skip to content

Actions: liquid-java/liquidjava

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
607 workflow runs
607 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
Add Element Context to Exceptions Java CI with Maven #684: Pull request #237 opened by rcosta358
1m 33s improve-internal-error-msg
improve-internal-error-msg
1m 33s
Implicit Constructor Refinements Java CI with Maven #683: Pull request #236 opened by rcosta358
1m 31s implicit-constructor-refinements
implicit-constructor-refinements
1m 31s
Initialize Unknown States Java CI with Maven #682: Pull request #235 opened by rcosta358
1m 40s initialize-unknown-state
initialize-unknown-state
1m 40s
Resolve bare #x / !#x conjuncts as boolean substitutions to trigger simplification Java CI with Maven #681: Pull request #234 reopened by rcosta358
1m 24s error-ifs
error-ifs
1m 24s
Running Copilot Code Review Copilot #1: by Copilot AI
3m 25s error-ifs
error-ifs
3m 25s
Resolve bare #x / !#x conjuncts as boolean substitutions to trigger simplification Java CI with Maven #680: Pull request #234 opened by CatarinaGamboa
1m 26s error-ifs
error-ifs
1m 26s
Refer return values in StateRefinements (#233) Java CI with Maven #679: Commit c151570 pushed by CatarinaGamboa
1m 28s main
main
1m 28s
Refer return values in StateRefinements Java CI with Maven #678: Pull request #233 synchronize by CatarinaGamboa
1m 24s state_return_staterefinements
state_return_staterefinements
1m 24s
Refer return values in StateRefinements Java CI with Maven #677: Pull request #233 synchronize by CatarinaGamboa
33s state_return_staterefinements
state_return_staterefinements
33s
Refer return values in StateRefinements Java CI with Maven #676: Pull request #233 opened by CatarinaGamboa
1m 37s state_return_staterefinements
state_return_staterefinements
1m 37s
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 Publish verifier #6: Commit 5259fd4 pushed by rcosta358
13m 43s v0.0.25
v0.0.25
13m 43s
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 Publish verifier #5: Commit 0d6f57b pushed by rcosta358
11m 13s v0.0.24
v0.0.24
11m 13s
Release liquidjava-verifier 0.0.24 Java CI with Maven #663: Commit 0d6f57b pushed by rcosta358
2m 31s main
main
2m 31s