Skip to content

Actions: liquid-java/liquidjava

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
616 workflow runs
616 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
allow interfaces to be also annotated with external refinements Java CI with Maven #692: Pull request #244 synchronize by CatarinaGamboa
1m 34s interface-external
interface-external
1m 34s
Add -a/--all flag to show all SMT verification conditions Java CI with Maven #691: Pull request #243 synchronize by CatarinaGamboa
1m 48s worktree-issue-240
worktree-issue-240
1m 48s
allow interfaces to be also annotated with external refinements Java CI with Maven #690: Pull request #244 opened by CatarinaGamboa
1m 37s interface-external
interface-external
1m 37s
Add -a/--all flag to show all SMT verification conditions Java CI with Maven #689: Pull request #243 opened by CatarinaGamboa
1m 33s worktree-issue-240
worktree-issue-240
1m 33s
Fix StateSet in Interface without ExternalRefinements Java CI with Maven #688: Pull request #242 opened by rcosta358
1m 38s fix-239
fix-239
1m 38s
Release liquidjava-verifier 0.0.26 Publish verifier #7: Commit 3ac0f36 pushed by rcosta358
11m 29s v0.0.26
v0.0.26
11m 29s
Release liquidjava-verifier 0.0.26 Java CI with Maven #687: Commit 3ac0f36 pushed by rcosta358
1m 29s main
main
1m 29s
Add Element Context to Exceptions (#237) Java CI with Maven #686: Commit abaa461 pushed by rcosta358
1m 32s main
main
1m 32s
Implicit Constructor Refinements (#236) Java CI with Maven #685: Commit 31caa2c pushed by rcosta358
1m 30s main
main
1m 30s
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