Fix Formatter
#7014
Annotations
2 warnings
Install Cachix
Cachix Daemon is not supported by this version of Cachix (1.6.0). Ignoring the 'useDaemon' option.
|
Install Cachix
No push credentials found. Ignoring the 'useDaemon' option.
|
Set up job
2s
2s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Set up runner
1s
1s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Check out code
4s
4s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Upgrade bash
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Install Nix
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Install Cachix
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Build K Framework and push build time dependencies to cachix
4m 3s
4m 3s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Smoke test K
45s
45s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Test K
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Post Install Cachix
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Post Check out code
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Complete runner
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Complete job
0s
0s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Loading