Skip to content
pull request

ci: disable lint job and fix merge-ready condition #42

Sign in to view logs

ci: disable lint job and fix merge-ready condition

ci: disable lint job and fix merge-ready condition #42

Triggered via pull request December 10, 2025 16:58
@csvenkecsvenke
synchronize #14
fix-ci-2
Status Success
Total duration 3m 23s
Artifacts 1

pull-request.yml

on: pull_request
lint
2m 42s
lint
test
1m 8s
test
build
3m 15s
build
benchmark
1m 32s
benchmark
merge-ready
2s
merge-ready
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
dev-cli-e5f20368b2158d5d9c2d73021348884421ffb94a
16.7 MB
sha256:80b63fb1bb9fd483233104f72504961dcb1b211ae75850571cdb1759c9efba26