Skip to content

chore: replace let with let_fun #83

chore: replace let with let_fun

chore: replace let with let_fun #83

Triggered via pull request November 24, 2024 16:46
Status Success
Total duration 15m 12s
Artifacts

lean_action_ci.yml

on: pull_request
Fit to window
Zoom out
Zoom in