Fixup merge resolution: Add and update rewards to open challenges lac… #192
tautschnigkani.yml
on: push
Matrix: Verify std library using autoharness
Matrix: Kani Metrics
Kani List
1h 2m
Kani Autoharness Analyzer
44m 15s
Matrix: check-kani-on-std
Matrix: Build JSON from logs
Annotations
1 error and 12 warnings
|
Kani List
$GITHUB_STEP_SUMMARY upload aborted, supports content up to a size of 1024k, got 1359k. For more information see: https://docs.github.com/actions/using-workflows/workflow-commands-for-github-actions#adding-a-markdown-summary
|
|
Verify std library (partition 3)
Already linked: /opt/homebrew/Cellar/[email protected]/3.13.7
|
|
Verify std library (partition 3)
[email protected] 3.13.7 is already installed and up-to-date.
To reinstall 3.13.7, run:
brew reinstall [email protected]
|
|
Verify std library (partition 2)
Already linked: /opt/homebrew/Cellar/[email protected]/3.13.7
|
|
Verify std library (partition 2)
[email protected] 3.13.7 is already installed and up-to-date.
To reinstall 3.13.7, run:
brew reinstall [email protected]
|
|
Verify std library (partition 4)
Already linked: /opt/homebrew/Cellar/[email protected]/3.13.7
|
|
Verify std library (partition 4)
[email protected] 3.13.7 is already installed and up-to-date.
To reinstall 3.13.7, run:
brew reinstall [email protected]
|
|
Verify std library (partition 1)
Already linked: /opt/homebrew/Cellar/[email protected]/3.13.7
|
|
Verify std library (partition 1)
[email protected] 3.13.7 is already installed and up-to-date.
To reinstall 3.13.7, run:
brew reinstall [email protected]
|
|
Verify std library using autoharness (macos-latest)
Already linked: /opt/homebrew/Cellar/[email protected]/3.13.7
|
|
Verify std library using autoharness (macos-latest)
[email protected] 3.13.7 is already installed and up-to-date.
To reinstall 3.13.7, run:
brew reinstall [email protected]
|
|
Kani Metrics (macos-latest)
Already linked: /opt/homebrew/Cellar/[email protected]/3.13.7
|
|
Kani Metrics (macos-latest)
[email protected] 3.13.7 is already installed and up-to-date.
To reinstall 3.13.7, run:
brew reinstall [email protected]
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
macos-latest-autoharness-verification.log.gz
Expired
|
354 KB |
sha256:c946b0fa6bbecd57f0b2c4e5aaf741bb33e5f2f92a82f392d7b5c8edff33bb0a
|
|
|
macos-latest-kani-list.json
Expired
|
101 KB |
sha256:035510f377c47224108af045d529d65478ef3de397f4e341ad6a5537a557d120
|
|
|
macos-latest-results.json
|
395 KB |
sha256:169ba0d15ec1d0b7135719a0ebcd2d867fdc8890fed5f9eabcce6e6c1c754186
|
|
|
macos-latest-results.tar.gz
Expired
|
833 KB |
sha256:86b46b38b8110c7c26f0f602500992e3e4439b49e505d9570fb446bc9b8ee9de
|
|
|
ubuntu-latest-autoharness-verification.log.gz
Expired
|
373 KB |
sha256:e35a2cb22d61ce061895eda57c4c72c8ce6078e5bbbf0a218a64bd192600e784
|
|
|
ubuntu-latest-kani-list.json
Expired
|
109 KB |
sha256:6e6fc1b4ad601165c4f746b9bddca6758f40912fe90356e500b7f6a02b98073e
|
|
|
ubuntu-latest-results.json
|
419 KB |
sha256:0a9d79e9a71016a0e7b596721ecdf49eaa0c485080cd790725dfce47ee5d7675
|
|
|
ubuntu-latest-results.tar.gz
Expired
|
897 KB |
sha256:1abda6f5a7d7ce75bfc473c2ece272e32fa05ce04b6e4eca46e53c74b8db8358
|
|