Skip to content
Lint

[MISC] add div_ceil #419

Sign in to view logs

[MISC] add div_ceil

[MISC] add div_ceil #419

Triggered via pull request October 24, 2023 09:10
@eseilereseiler
synchronize #149
Status Success
Total duration 52s
Artifacts –

ci_lint.yml

on: pull_request_target
Cancel running Workflows
2s
Cancel running Workflows
Cancel running Workflows
4s
Cancel running Workflows
Cancel running Workflows
1s
Cancel running Workflows
Cancel running Workflows
2s
Cancel running Workflows
Cancel running Workflows
2s
Cancel running Workflows
Cancel running Workflows
3s
Cancel running Workflows
Lint
25s
Lint
Fit to window
Zoom out
Zoom in