Skip to content
lint

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

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

Triggered via pull request December 9, 2024 13:21
@vouillonvouillon
synchronize #1461
OlivierNicole:optim_effects
Status Failure
Total duration 11m 3s
Artifacts –

lint.yml

on: pull_request
lint-opam
10m 53s
lint-opam
lint-fmt
2m 57s
lint-fmt
lint-runtime
9s
lint-runtime
Fit to window
Zoom out
Zoom in

Annotations

1 error and 3 warnings
lint-runtime
Process completed with exit code 1.
lint-runtime
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
lint-fmt
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
lint-opam
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636