change timeout to 15 minutes as the github CI is cutting the job after #2047
lrvideckisprogramming_team_code_ci.yml
on: push
library_checker_aizu
15m 35s
grep_clangformat_cppcheck
1m 36s
clangtidy
16m 21s
compile_gcc
1m 30s
compile_clang
2m 56s
find_files_without_tests
12s
build_pdf
3m 41s
shellcheck_shfmt
15s
update_main
2m 0s
publish_pdf
9s
Annotations
2 warnings
|
publish_pdf
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
publish_pdf
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
ptc
Expired
|
365 KB |
sha256:7cc3546e30c2a63a8ab8ea443e76f60eb589cb9450fe9669172d59d2a968d9d6
|
|