EXPERIMENT: refactored get buffer on top of remove-mapint2int #1346
jbertholdtest.yml
on: pull_request
Code Quality Checks
2m 24s
Version Bump
4s
Kmxwasm integration tests
18m 45s
Kmxwasm booster tests
19m 34s
Kasmer claim generation tests
19m 34s
Build and Test lemmas
18m 46s
Smoke tests
18m 45s
Matrix: Nix
Annotations
13 errors and 4 warnings
|
Nix (self-macos-14)
Process completed with exit code 1.
|
|
Nix (self-macos-14)
Process completed with exit code 1.
|
|
Smoke tests
Canceling since a higher priority waiting request for 'Test-refs/pull/169/merge' exists
|
|
Kmxwasm integration tests
Canceling since a higher priority waiting request for 'Test-refs/pull/169/merge' exists
|
|
Smoke tests
The operation was canceled.
|
|
Kmxwasm integration tests
The operation was canceled.
|
|
Build and Test lemmas
Canceling since a higher priority waiting request for 'Test-refs/pull/169/merge' exists
|
|
Build and Test lemmas
The operation was canceled.
|
|
Nix (self-hosted, linux, normal)
Canceling since a higher priority waiting request for 'Test-refs/pull/169/merge' exists
|
|
Nix (self-hosted, linux, normal)
The operation was canceled.
|
|
Kmxwasm booster tests
Canceling since a higher priority waiting request for 'Test-refs/pull/169/merge' exists
|
|
Kmxwasm booster tests
The operation was canceled.
|
|
Kasmer claim generation tests
Canceling since a higher priority waiting request for 'Test-refs/pull/169/merge' exists
|
|
Version Bump
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
Code Quality Checks
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
Nix (self-macos-14)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
Nix (self-macos-14)
No files were found with the provided path: /tmp/smoke-log.json.gz. No artifacts will be uploaded.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
Array.smoke-log.json.gz
Expired
|
3.79 MB |
|