Skip to content
lint

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

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

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

lint.yml

on: pull_request
lint-opam
3m 56s
lint-opam
lint-fmt
2m 51s
lint-fmt
lint-runtime
8s
lint-runtime
Fit to window
Zoom out
Zoom in

Annotations

1 error
lint-runtime
Process completed with exit code 1.