Quint example for k-set consensus algorithm #3667
Annotations
1 warning
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-node@v3, actions/setup-java@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
Set up job
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.
Run actions/checkout@v4
9s
9s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Run actions/setup-node@v3
13s
13s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Run cd ./quint && npm ci
47s
47s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Run cd ./quint && npm run compile && npm link
24s
24s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Ensure all dependencies are specified
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.
Run npm install -g txm
10s
10s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Blackbox integration tests
4m 0s
4m 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.
Run dcarbone/install-jq-action@v2
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.
Blackbox integration tests with I/O
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.
Run actions/setup-java@v3
6s
6s
Error:
This step has been truncated due to its large size. Download the full logs from the menu
once the workflow run has completed.
Apalache integration tests
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 Run actions/setup-java@v3
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 Run actions/setup-node@v3
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 Run actions/checkout@v4
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.
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