Complete Oreslang Java frontend type and ownership contract validation · Workflow runs · zed-pkg-test/java-app · GitHub

Repository navigation

Actions

All workflows
Workflows
- Complete Oreslang Java frontend type and ownership contract validation Complete Oreslang Java frontend type and ownership contract validation
- .github/workflows/java-main-signed-i64-exact-20261012.yml .github/workflows/java-main-signed-i64-exact-20261012.yml
- .github/workflows/llvm-typed-actorref-current-main-20261011.yml .github/workflows/llvm-typed-actorref-current-main-20261011.yml
- .github/workflows/oreslang-llvm-carrier-create-failure.yml .github/workflows/oreslang-llvm-carrier-create-failure.yml
- .github/workflows/oreslang-llvm-pr138-combined-ctest.yml .github/workflows/oreslang-llvm-pr138-combined-ctest.yml
- .github/workflows/oreslang-llvm-source-actors-vm.yml .github/workflows/oreslang-llvm-source-actors-vm.yml
- .github/workflows/repair-den-1425-go-nix-adapter.yml .github/workflows/repair-den-1425-go-nix-adapter.yml
- Actor pipeline runner availability Actor pipeline runner availability
- Actor terminal observer ordering TLC Actor terminal observer ordering TLC
- Actor ticket and ARM_RESULT formal refinement Actor ticket and ARM_RESULT formal refinement
- Actual source-compiled Oreslang actor in Chromium and Firefox Actual source-compiled Oreslang actor in Chromium and Firefox
Management
- Caches

Complete Oreslang Java frontend type and ownership contract validation

Actions

Loading...
Loading

1 workflow run

1 workflow run

test-only: compile and run full native Java frontend typechecker Complete Oreslang Java frontend type and ownership contract validation #1: Commit ada0457 pushed by the1mills

14s audit/oreslang-java-typecheck-20261010

audit/oreslang-java-typecheck-20261010

14s