Skip to content

Actions: liquid-java/liquidjava

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
621 workflow runs
621 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 SimplifiedPredicate Java CI with Maven #697: Pull request #246 synchronize by rcosta358
1m 24s vc-simplification
vc-simplification
1m 24s
Allow interfaces to be also annotated with external refinements (#244) Java CI with Maven #696: Commit 9b3276e pushed by CatarinaGamboa
1m 26s main
main
1m 26s
Add SimplifiedPredicate Java CI with Maven #695: Pull request #246 opened by rcosta358
1m 27s vc-simplification
vc-simplification
1m 27s
Fix VCImplication Ordering Java CI with Maven #694: Pull request #245 synchronize by rcosta358
1m 27s vcimplication-ordering
vcimplication-ordering
1m 27s
Fix VCImplication Ordering Java CI with Maven #693: Pull request #245 opened by rcosta358
1m 10s vcimplication-ordering
vcimplication-ordering
1m 10s
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