Skip to content
Lint

[MISC] add div_ceil #420

Sign in to view logs

[MISC] add div_ceil

[MISC] add div_ceil #420

Triggered via pull request October 24, 2023 09:11
@eseilereseiler
synchronize #149
Status Success
Total duration 1m 22s
Artifacts –

ci_lint.yml

on: pull_request_target
Cancel running Workflows
0s
Cancel running Workflows
Cancel running Workflows
0s
Cancel running Workflows
Cancel running Workflows
2s
Cancel running Workflows
Cancel running Workflows
3s
Cancel running Workflows
Cancel running Workflows
0s
Cancel running Workflows
Cancel running Workflows
0s
Cancel running Workflows
Lint
46s
Lint
Fit to window
Zoom out
Zoom in