Skip to content
lint

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

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 #3

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

lint.yml

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