Skip to content

Reorganize the source files into subfolders #1488

Reorganize the source files into subfolders

Reorganize the source files into subfolders #1488

Triggered via pull request November 14, 2024 17:44
Status Failure
Total duration 1m 29s
Artifacts

ci.yml

on: pull_request
check_if_skip_duplicate_job
4s
check_if_skip_duplicate_job
charon-pin-is-forward
4s
charon-pin-is-forward
charon-pin-is-merged
4s
charon-pin-is-merged
userdocs
4s
userdocs
Fit to window
Zoom out
Zoom in

Annotations

4 errors
charon-pin-is-merged
Process completed with exit code 1.
charon-pin-is-forward
Process completed with exit code 1.
lean
Process completed with exit code 1.
nix
Process completed with exit code 1.