Skip to content

feat: let simp apply rules with higher-order patterns #4652

feat: let simp apply rules with higher-order patterns

feat: let simp apply rules with higher-order patterns #4652

Triggered via pull request September 26, 2024 16:04
Status Success
Total duration 44s
Artifacts

check-stage0.yml

on: pull_request
check-stage0-on-queue
32s
check-stage0-on-queue
Fit to window
Zoom out
Zoom in