Skip to content
PR description checker

existence proof that is_deriv isn't needed #1836

Sign in to view logs

existence proof that is_deriv isn't needed

existence proof that is_deriv isn't needed #1836

Triggered via pull request November 26, 2024 20:13
@pow2clkpow2clk
opened #7023
Status Success
Total duration 19s
Artifacts –

pr-description-checker.yml

on: pull_request_target
check-pr-description
9s
check-pr-description
Fit to window
Zoom out
Zoom in