Skip to content

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

feat: extract WP superclass from WPMonad to support deep embeddings

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

Triggered via pull request June 19, 2026 06:50
Status Success
Total duration 49s
Artifacts

copyright-header.yml

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