Skip to content
lint

Effects: double translation of functions and dynamic switching between direct-style and CPS code #11

Sign in to view logs

Effects: double translation of functions and dynamic switching between direct-style and CPS code

Effects: double translation of functions and dynamic switching between direct-style and CPS code #11

Triggered via pull request November 22, 2024 17:16
@OlivierNicoleOlivierNicole
synchronize #1461
OlivierNicole:optim_effects
Status Success
Total duration 4m 57s
Artifacts –

lint.yml

on: pull_request
lint-opam
3m 59s
lint-opam
lint-fmt
2m 36s
lint-fmt
lint-runtime
4s
lint-runtime
Fit to window
Zoom out
Zoom in