Skip to content

feat: extract WP superclass from WPMonad to support deep embeddings #9709

feat: extract WP superclass from WPMonad to support deep embeddings

feat: extract WP superclass from WPMonad to support deep embeddings #9709

Triggered via pull request June 19, 2026 10:50
@sgraf812sgraf812
synchronize #14080
Status Success
Total duration 6s
Artifacts

check-stdlib-flags.yml

on: pull_request_target
check-stdlib-flags
3s
check-stdlib-flags
Fit to window
Zoom out
Zoom in