Skip to content
Nix CI for bundle 8.17

Described Nix building process. #7

Sign in to view logs

Described Nix building process.

Described Nix building process. #7

Triggered via push November 20, 2023 13:16
@anlunanlun
pushed ab818eb
master
Status Success
Total duration 16m 1s
Artifacts –

nix-action-8.17.yml

on: push
coq
34s
coq
hahn
29s
hahn
sflib
32s
sflib
hahnExt
34s
hahnExt
promising-lib
32s
promising-lib
imm
13m 48s
imm
Fit to window
Zoom out
Zoom in

Annotations

6 warnings
coq
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/
hahn
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/
sflib
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/
hahnExt
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/
promising-lib
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/
imm
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/