Skip to content

chore: use winnow separated instead of separated0 #1153

chore: use winnow separated instead of separated0

chore: use winnow separated instead of separated0 #1153

Triggered via pull request November 6, 2023 13:06
Status Success
Total duration 4m 58s
Artifacts

ci.yml

on: pull_request
Matrix: miri
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

6 errors
test nightly --no-default-features
ENOENT: no such file or directory, opendir '/home/runner/work/core/core/target/tests/target'
test nightly --no-default-features
Error: ENOENT: no such file or directory, opendir '/home/runner/work/core/core/target/tests/target'
test nightly
ENOENT: no such file or directory, opendir '/home/runner/work/core/core/target/tests/target'
test nightly
Error: ENOENT: no such file or directory, opendir '/home/runner/work/core/core/target/tests/target'
test nightly --all-features
ENOENT: no such file or directory, opendir '/home/runner/work/core/core/target/tests/target'
test nightly --all-features
Error: ENOENT: no such file or directory, opendir '/home/runner/work/core/core/target/tests/target'