Merge pull request #4356 from tock/core-wg-notes-2025-02-26 #798
krajci.yml
on: push
Matrix: ci-build
Matrix: ci-clippy
Matrix: ci-format
Matrix: ci-qemu
Matrix: ci-tests
Annotations
10 errors
|
ci-clippy (ubuntu-latest)
'HEAD' is not a valid branch name
|
|
ci-clippy (ubuntu-latest)
The process '/usr/bin/git' failed with exit code 128
|
|
ci-build (ubuntu-latest)
'HEAD' is not a valid branch name
|
|
ci-build (ubuntu-latest)
The process '/usr/bin/git' failed with exit code 128
|
|
ci-format (ubuntu-latest)
'HEAD' is not a valid branch name
|
|
ci-format (ubuntu-latest)
The process '/usr/bin/git' failed with exit code 128
|
|
ci-qemu (ubuntu-latest)
'HEAD' is not a valid branch name
|
|
ci-qemu (ubuntu-latest)
The process '/usr/bin/git' failed with exit code 128
|
|
ci-tests (ubuntu-latest)
'HEAD' is not a valid branch name
|
|
ci-tests (ubuntu-latest)
The process '/usr/bin/git' failed with exit code 128
|