Add machine-checked proofs for critical arithmetic paths #888
jservmain.yml
on: pull_request
Build (macOS Apple Silicon)
30s
Lint (Linux)
1m 23s
clang-tidy (macOS Apple Silicon)
1m 51s
Frama-C WP proofs (make verify)
2m 39s
scan-build (macOS Apple Silicon)
3m 38s
Infer (macOS Apple Silicon)
1m 37s
Matrix: runtime-macos
Annotations
1 error and 6 warnings
|
Frama-C WP proofs (make verify)
Process completed with exit code 2.
|
|
Build (macOS Apple Silicon)
The following taps are not trusted:
aws/tap
Homebrew is currently ignoring formulae, casks and commands from these taps because tap trust is required.
Untap them with:
brew untap aws/tap
Trust specific formulae, casks and commands with:
brew trust --formula <user>/<tap>/<formula>
brew trust --cask <user>/<tap>/<cask>
brew trust --command <user>/<tap>/<command>
Whole-tap trust is broader and includes all current and future formulae,
casks and commands from the listed taps. Trust whole taps with:
brew trust aws/tap
To disable trust checks:
export HOMEBREW_NO_REQUIRE_TAP_TRUST=1
This is not recommended and will be removed in a later release.
For more information, see:
https://docs.brew.sh/Tap-Trust
|
|
Lint (Linux)
Failed to save: "/usr/bin/tar" failed with error: The process '/usr/bin/tar' failed with exit code 2
|
|
Infer (macOS Apple Silicon)
The following taps are not trusted:
aws/tap
Homebrew is currently ignoring formulae, casks and commands from these taps because tap trust is required.
Untap them with:
brew untap aws/tap
Trust specific formulae, casks and commands with:
brew trust --formula <user>/<tap>/<formula>
brew trust --cask <user>/<tap>/<cask>
brew trust --command <user>/<tap>/<command>
Whole-tap trust is broader and includes all current and future formulae,
casks and commands from the listed taps. Trust whole taps with:
brew trust aws/tap
To disable trust checks:
export HOMEBREW_NO_REQUIRE_TAP_TRUST=1
This is not recommended and will be removed in a later release.
For more information, see:
https://docs.brew.sh/Tap-Trust
|
|
Frama-C WP proofs (make verify)
The following taps are not trusted:
aws/tap
Homebrew is currently ignoring formulae, casks and commands from these taps because tap trust is required.
Untap them with:
brew untap aws/tap
Trust specific formulae, casks and commands with:
brew trust --formula <user>/<tap>/<formula>
brew trust --cask <user>/<tap>/<cask>
brew trust --command <user>/<tap>/<command>
Whole-tap trust is broader and includes all current and future formulae,
casks and commands from the listed taps. Trust whole taps with:
brew trust aws/tap
To disable trust checks:
export HOMEBREW_NO_REQUIRE_TAP_TRUST=1
This is not recommended and will be removed in a later release.
For more information, see:
https://docs.brew.sh/Tap-Trust
|
|
clang-tidy (macOS Apple Silicon)
The following taps are not trusted:
aws/tap
Homebrew is currently ignoring formulae, casks and commands from these taps because tap trust is required.
Untap them with:
brew untap aws/tap
Trust specific formulae, casks and commands with:
brew trust --formula <user>/<tap>/<formula>
brew trust --cask <user>/<tap>/<cask>
brew trust --command <user>/<tap>/<command>
Whole-tap trust is broader and includes all current and future formulae,
casks and commands from the listed taps. Trust whole taps with:
brew trust aws/tap
To disable trust checks:
export HOMEBREW_NO_REQUIRE_TAP_TRUST=1
This is not recommended and will be removed in a later release.
For more information, see:
https://docs.brew.sh/Tap-Trust
|
|
scan-build (macOS Apple Silicon)
The following taps are not trusted:
aws/tap
Homebrew is currently ignoring formulae, casks and commands from these taps because tap trust is required.
Untap them with:
brew untap aws/tap
Trust specific formulae, casks and commands with:
brew trust --formula <user>/<tap>/<formula>
brew trust --cask <user>/<tap>/<cask>
brew trust --command <user>/<tap>/<command>
Whole-tap trust is broader and includes all current and future formulae,
casks and commands from the listed taps. Trust whole taps with:
brew trust aws/tap
To disable trust checks:
export HOMEBREW_NO_REQUIRE_TAP_TRUST=1
This is not recommended and will be removed in a later release.
For more information, see:
https://docs.brew.sh/Tap-Trust
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
elfuse-macOS-ARM64
Expired
|
303 KB |
sha256:dbd2a6bc7465d41ef15d95b2612a91bf336ceee6c42f79ea722b0d5d6f1dd94a
|
|
|
elfuse-runtime-asan-macOS-ARM64
Expired
|
653 KB |
sha256:13c7c3c13667047d5044ceafde15a4e362310bcb83614f96a86c57379e98eb52
|
|
|
elfuse-runtime-release-macOS-ARM64
Expired
|
304 KB |
sha256:18721f293089a26e817fce12e87f7470eb8e7a2b79f634d3a9a55d5b4eb65c7a
|
|
|
elfuse-runtime-tsan-macOS-ARM64
Expired
|
425 KB |
sha256:5c80bdb4b8485ed5019a1c41580d21a8063382294b31073919e21055f479d6dc
|
|
|
elfuse-runtime-ubsan-macOS-ARM64
Expired
|
452 KB |
sha256:f99787f23a77f731824d60cae4532a3685c3fc050802dedbf5d148afc7e72dd4
|
|
|
infer-macOS-ARM64
Expired
|
136 Bytes |
sha256:89dd274f82b4b907976cf94d51149003913b6b045f070dce5994132088235f27
|
|
|
scan-build-macOS-ARM64
Expired
|
246 KB |
sha256:6c2b5983d7fa15bcfbaf9b4af32d36043688071a3fad4909cc6369db24fb1cfd
|
|
|
verify-logs
|
3.94 KB |
sha256:520425a02140dafe48a3b61cc0b91a183b25b6487f257f3a27ff4b7179b52f39
|
|