Skip to content

refactor: bundle wn and wr into DivModState #191

refactor: bundle wn and wr into DivModState

refactor: bundle wn and wr into DivModState #191

Triggered via pull request September 24, 2024 16:31
Status Success
Total duration 35s
Artifacts

copyright-header.yml

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