Skip to content
Lint the sources

[ base ] Move most useful and stable parts of Data.Fin.Extra to base #6269

Sign in to view logs

[ base ] Move most useful and stable parts of Data.Fin.Extra to base

[ base ] Move most useful and stable parts of Data.Fin.Extra to base #6269

Triggered via push June 11, 2024 09:21
@gallaisgallais
pushed 109033c
main
Status Success
Total duration 14s
Artifacts –

ci-lint.yml

on: push
build
4s
build
Fit to window
Zoom out
Zoom in