Skip to content

Merge branch 'ershi/ruff-0.8.0' into 'main' #427

Merge branch 'ershi/ruff-0.8.0' into 'main'

Merge branch 'ershi/ruff-0.8.0' into 'main' #427

Triggered via push November 25, 2024 07:24
Status Success
Total duration 29m 3s
Artifacts 3

ci.yml

on: push
build-warp-ubuntu
7m 15s
build-warp-ubuntu
build-warp-macos
1m 4s
build-warp-macos
pull-request-docs
0s
pull-request-docs
test-warp-ubuntu
21m 32s
test-warp-ubuntu
check-exports-header
0s
check-exports-header
test-warp-macos
16m 6s
test-warp-macos
check-build-docs-output
0s
check-build-docs-output
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
build-artifact-macos
39.7 MB
build-artifact-ubuntu
57.9 MB
exports-header
14 KB