Skip to content

Revert "chore: merge v4 into main (06-11-2023) (#1428)" #3442

Revert "chore: merge v4 into main (06-11-2023) (#1428)"

Revert "chore: merge v4 into main (06-11-2023) (#1428)" #3442

Triggered via pull request November 6, 2023 12:45
Status Success
Total duration 30s
Artifacts

lint.yml

on: pull_request
commitlint
17s
commitlint
semgrep
0s
semgrep
make_lint
0s
make_lint
check_docs_were_generated
0s
check_docs_were_generated
Fit to window
Zoom out
Zoom in