Fix flux to work with 2025-10-09 (#513) #2335
feliperodrikani.yml
on: push
Matrix: Verify std library using autoharness
Matrix: Kani Metrics
Kani List
1h 1m
Kani Autoharness Analyzer
44m 25s
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 1366k. For more information see: https://docs.github.com/actions/using-workflows/workflow-commands-for-github-actions#adding-a-markdown-summary
|
|
Verify std library (partition 2)
Already linked: /opt/homebrew/Cellar/[email protected]/3.14.0_1
|
|
Verify std library (partition 2)
[email protected] 3.14.0_1 is already installed and up-to-date.
To reinstall 3.14.0_1, run:
brew reinstall [email protected]
|
|
Verify std library (partition 3)
Already linked: /opt/homebrew/Cellar/[email protected]/3.14.0_1
|
|
Verify std library (partition 3)
[email protected] 3.14.0_1 is already installed and up-to-date.
To reinstall 3.14.0_1, run:
brew reinstall [email protected]
|
|
Verify std library (partition 1)
Already linked: /opt/homebrew/Cellar/[email protected]/3.14.0_1
|
|
Verify std library (partition 1)
[email protected] 3.14.0_1 is already installed and up-to-date.
To reinstall 3.14.0_1, run:
brew reinstall [email protected]
|
|
Verify std library (partition 4)
Already linked: /opt/homebrew/Cellar/[email protected]/3.14.0_1
|
|
Verify std library (partition 4)
[email protected] 3.14.0_1 is already installed and up-to-date.
To reinstall 3.14.0_1, run:
brew reinstall [email protected]
|
|
Verify std library using autoharness (macos-latest)
Already linked: /opt/homebrew/Cellar/[email protected]/3.14.0_1
|
|
Verify std library using autoharness (macos-latest)
[email protected] 3.14.0_1 is already installed and up-to-date.
To reinstall 3.14.0_1, run:
brew reinstall [email protected]
|
|
Kani Metrics (macos-latest)
Already linked: /opt/homebrew/Cellar/[email protected]/3.14.0_1
|
|
Kani Metrics (macos-latest)
[email protected] 3.14.0_1 is already installed and up-to-date.
To reinstall 3.14.0_1, run:
brew reinstall [email protected]
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
macos-latest-autoharness-verification.log.gz
Expired
|
357 KB |
sha256:d2404c932da5c2fd25ca6ccf0aaca2c6c27da2fbab0cd79f0f3be0b05883f748
|
|
|
macos-latest-kani-list.json
Expired
|
102 KB |
sha256:ddd7db8a03b7c42c846632c4cf68eb0d3064fc41a77c79dfbba18dc8971a382a
|
|
|
macos-latest-results.json
|
397 KB |
sha256:764f1b06d00c6765f677e6a9db64a56e5a5f1c52c34a5b8c8335797e77592e2a
|
|
|
macos-latest-results.tar.gz
Expired
|
838 KB |
sha256:5d5a5025ed1ba61bec652960a33d3680ab276f81505029a019e393570ddfda7c
|
|
|
ubuntu-latest-autoharness-verification.log.gz
Expired
|
375 KB |
sha256:fda0a2c95a8c832172342768dbe5a6ea396bbb81e10d7786b429d4eb4c756522
|
|
|
ubuntu-latest-kani-list.json
Expired
|
110 KB |
sha256:57d8955fd7d6ff36533a8ccab47ce5faa928b18b73d0ef6892ac0e7bf52d4194
|
|
|
ubuntu-latest-results.json
|
421 KB |
sha256:e3559583c01dbbcb629601b9ceebca8d42f8f76de34605800f8eaedc06a5b554
|
|
|
ubuntu-latest-results.tar.gz
Expired
|
902 KB |
sha256:5568549fb6a0dc88e684fb9d8e7694567b466709ed159f008c502cc42717457a
|
|