Skip to content

add length() and is_empty() to Buffer #3588

add length() and is_empty() to Buffer

add length() and is_empty() to Buffer #3588

Triggered via pull request October 16, 2024 09:26
Status Success
Total duration 1m 31s
Artifacts

check.yml

on: pull_request
coverage-check
18s
coverage-check
typo-check
5s
typo-check
license-header-check
7s
license-header-check
bleeding-check
1m 12s
bleeding-check
Matrix: build
Matrix: nightly-check
Fit to window
Zoom out
Zoom in

Annotations

1 error
bleeding-check
Process completed with exit code 2.