Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

use a shorter log format without timestamp on github actions #36

Open
fwilhe opened this issue Oct 11, 2023 · 0 comments · May be fixed by #101
Open

use a shorter log format without timestamp on github actions #36

fwilhe opened this issue Oct 11, 2023 · 0 comments · May be fixed by #101
Labels

Comments

@fwilhe
Copy link
Member

fwilhe commented Oct 11, 2023

What happened:

The builder prepends log lines with a output file name and a time stamp.
As some CI systems (notably GitHub actions) also log a timestamp by default, the line is cluttered with two time stamps, leaving litte screen space for the actual log message.

See this screenshot as an example:

Screenshot 2023-10-11 at 16 42 46

What you expected to happen:

Either automatically detect when we're running on a known CI system that has timestamps in the log and omit them, or have an option/environment variable to build shorter log prefixes.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant