Skip to content
Docker

fix handling of shutdown request and exit notification #471

Sign in to view logs

fix handling of shutdown request and exit notification

fix handling of shutdown request and exit notification #471

Triggered via push October 19, 2025 21:13
@Schottkyc137Schottkyc137
pushed e6b4456
master
Status Success
Total duration 1m 40s
Artifacts –

docker.yml

on: push
Skip publish
0s
Skip publish
Matrix: Publish
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Publish (vhdl_lang)
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 (vhdl_ls)
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/