mirrors/dmd
1
0
Fork 0
mirror of https://github.com/dlang/dmd.git synced 2025-04-25 20:50:41 +03:00
Code Issues Projects Releases Packages Wiki Activity Actions

Add log read tips to CI docs (#14276)

Browse source 
@Geod24 gave the `***` tip in the quarterly meeting today
This commit is contained in:
Dennis 2022-07-12 10:14:28 +02:00 • committed by GitHub
parent a0f6f845ec
commit 726b94890a
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 5 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

5
ci/README.md
View file

@ -6,6 +6,11 @@ Since DMD runs on many platforms and lots of D infrastructure depends on it, the
## Troubleshooting failed checks
When your PR fails checks, click on the "Details" link next to it to see what the error is.
Most log files are the output of `make`, which prints the commands it invokes followed by the output of that command.
Execution stops after a failed command, so errors can usually be found near the end of the log.
Because of multi-threaded builds, they don't need to be at the very end however.
You can Ctrl+F search for a triple asterisk `***` to easily find failed commands.
Errors caused by the changes you made should be addressed by pushing new commits to your branch.
When it looks like the error is unrelated to your PR's changes, try rebasing your branch.