Skip to content
devkit

prelude: don't set Lwt_engine to poll if libev is available (#52) #170

Sign in to view logs

prelude: don't set Lwt_engine to poll if libev is available (#52)

prelude: don't set Lwt_engine to poll if libev is available (#52) #170

Triggered via push November 24, 2025 22:34
@rr0girr0gi
pushed 8bb7d7f
master
Status Success
Total duration 5m 26s
Artifacts –

makefile.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in