Skip to content
🏷️ Changelog Label

[Builtins] Make unlifting lazy again #1003

Sign in to view logs

[Builtins] Make unlifting lazy again

[Builtins] Make unlifting lazy again #1003

Triggered via pull request September 24, 2024 20:30
@effectfullyeffectfully
synchronize #6434
effectfully/builtins/make-unlifting-lazy-again
Status Success
Total duration 26s
Artifacts –

changelog-label.yml

on: pull_request
Check
17s
Check
Fit to window
Zoom out
Zoom in