Skip to content
Back to pull request #4153

refactor: no need for simpMatchWF? #1728

Sign in to view logs

refactor: no need for simpMatchWF?

refactor: no need for simpMatchWF? #1728

Triggered via pull request May 13, 2024 17:09
@nomeatanomeata
synchronize #4153
joachim/nonrec-eqns
Status Success
Total duration 31s
Artifacts –

copyright-header.yml

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