fix: Option.getD eagerly evaluates dflt #11420
leanprover-community-mathlib4-botci.yml
on: pull_request
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
build-Linux release
Expired
|
236 MB |
|
|
coredumps-Linux release
Expired
|
133 MB |
|