Skip to content

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

feat: extract WP superclass from WPMonad to support deep embeddings

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

Triggered via pull request June 19, 2026 12:34
Status Success
Total duration 47s
Artifacts

copyright-header.yml

on: pull_request
check-lean-files
45s
check-lean-files
Fit to window
Zoom out
Zoom in