Skip to content
CI

Replace piscina with tinypool (#82) #189

Sign in to view logs

Replace piscina with tinypool (#82)

Replace piscina with tinypool (#82) #189

Triggered via push November 28, 2023 11:20
@nicolo-ribaudonicolo-ribaudo
pushed e4aeb8c
main
Status Success
Total duration 22s
Artifacts –

ci.yml

on: push
Lint
10s
Lint
Fit to window
Zoom out
Zoom in