Skip to content
pull_request

jextract: pass arena from Swift instead of default interface for callbacks #1140

Sign in to view logs

jextract: pass arena from Swift instead of default interface for callbacks

jextract: pass arena from Swift instead of default interface for callbacks #1140

Triggered via pull request December 10, 2025 10:16
@madsodgaardmadsodgaard
synchronize #489
madsodgaard:change-procol-defaults
Status Cancelled
Total duration 14m 57s
Artifacts –

pull_request.yml

on: pull_request
soundness  /  API breakage check
0s
soundness / API breakage check
soundness  /  Documentation check
0s
soundness / Documentation check
soundness  /  Unacceptable language check
10s
soundness / Unacceptable language check
soundness  /  License headers check
8s
soundness / License headers check
soundness  /  Broken symlinks check
5s
soundness / Broken symlinks check
soundness  /  Format check
0s
soundness / Format check
soundness  /  Shell check
29s
soundness / Shell check
soundness  /  YAML lint check
8s
soundness / YAML lint check
soundness  /  Python lint check
10s
soundness / Python lint check
Matrix: benchmark-java
Matrix: benchmark-swift
Matrix: build-swift-android
Matrix: Documentation check
Matrix: test-java-macos
Matrix: test-java
Matrix: test-swift-macos
Matrix: test-swift
Matrix: verify-samples-macos
Matrix: verify-samples
Fit to window
Zoom out
Zoom in

Annotations

1 error and 30 warnings
pull_request
Canceling since a higher priority waiting request for pull_request-refs/pull/489/merge-soundness exists
Sample JavaSieve (jammy swift:6.1.3 jdk:corretto)
Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.
Sample JavaSieve (jammy swift:nightly jdk:corretto)
Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.
Sample JavaSieve (jammy swift:6.2 jdk:corretto)
Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.
Test (Java) (jammy swift:6.2 jdk:corretto)
Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.
Test (Java) (jammy swift:nightly jdk:corretto)
Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.
Sample JavaProbablyPrime (jammy swift:6.1.3 jdk:corretto)
Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.
Sample JavaKitSampleApp (jammy swift:6.2 jdk:corretto)
Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.
Sample JavaProbablyPrime (jammy swift:6.2 jdk:corretto)
Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.
Sample JavaKitSampleApp (jammy swift:6.1.3 jdk:corretto)
Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.
Sample JavaProbablyPrime (jammy swift:nightly jdk:corretto)
Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.
Documentation check (6.2, jammy, corretto)
Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.
Benchmark (Swift) (jammy swift:6.2 jdk:corretto)
Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.
Sample JavaKitSampleApp (jammy swift:nightly jdk:corretto)
Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.
Test (Swift) (jammy swift:6.2 jdk:corretto)
Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.
Sample SwiftAndJavaJarSampleLib (jammy swift:6.1.3 jdk:corretto)
Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.
Sample SwiftAndJavaJarSampleLib (jammy swift:6.2 jdk:corretto)
Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.
Sample SwiftAndJavaJarSampleLib (jammy swift:nightly jdk:corretto)
Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.
Sample SwiftJavaExtractFFMSampleApp (jammy swift:6.2 jdk:corretto)
Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.
Test (Swift) (jammy swift:6.1.3 jdk:corretto)
Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.
Sample SwiftJavaExtractFFMSampleApp (jammy swift:nightly jdk:corretto)
Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.
Sample JavaDependencySampleApp (jammy swift:6.2 jdk:corretto)
Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.
Sample JavaDependencySampleApp (jammy swift:6.1.3 jdk:corretto)
Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.
Test (Swift) (jammy swift:nightly jdk:corretto)
Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.
Sample SwiftJavaExtractJNISampleApp (Android) (jammy swift:nightly-main jdk:corretto android:x86_64-unknown-linux-android28)
Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.
Sample SwiftJavaExtractFFMSampleApp (jammy swift:6.1.3 jdk:corretto)
Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.
Sample SwiftJavaExtractJNISampleApp (jammy swift:6.2 jdk:corretto)
Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.
Sample JavaDependencySampleApp (jammy swift:nightly jdk:corretto)
Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.
Sample SwiftJavaExtractJNISampleApp (jammy swift:6.1.3 jdk:corretto)
Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.
Sample SwiftJavaExtractJNISampleApp (jammy swift:nightly jdk:corretto)
Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.
Benchmark (JMH) (jammy swift:6.2 jdk:corretto)
Error: Path Validation Error: Path(s) specified in the action for caching do(es) not exist, hence no cache is being saved.