Skip to content

fix: Wrong priorities of AndIntoSep instances #2133

fix: Wrong priorities of AndIntoSep instances

fix: Wrong priorities of AndIntoSep instances #2133

Triggered via pull request July 30, 2026 15:54
Status Success
Total duration 9m 49s
Artifacts 2

build.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
103 KB
sha256:ae288de183388d5c26d45a8e15b61c6d83b0374b663bc8c1d0d5adee439038e9
porting-data Expired
57.6 KB
sha256:4515c7af7989f9e2465802ea01391344968c62cd4afca4103b5c55b5ee99caf2