Verilog: add -y and +libdir+ library directory command-line option
#7660
kroeningpull-request-checks.yaml
on: pull_request
Build+test ebmc (Ubuntu/clang)
15m 24s
Build+test ebmc (Ubuntu/gcc)
14m 0s
Build+test ebmc (CentOS 8)
7m 59s
Build+test ebmc (Mac/clang)
2m 25s
Build (Emscripten)
15m 19s
Build+test ebmc (Windows/VS)
17m 11s
ebmc Benchmarking
2m 21s
Run ebmc/Spot tests
54s
Run ebmc examples
7s
KNOWNBUG checks
43s
Annotations
2 warnings
|
Build+test ebmc (Mac/clang)
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
|
|
Build+test ebmc (Windows/VS)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: ilammy/msvc-dev-cmd@v1. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
ebmc-binary
|
3.33 MB |
sha256:a6cb0f0e7e9e518462be5c6702466ba7853f15f3af43480b253bec59f28e01a4
|
|
|
hw-cbmc-binary
|
5.61 MB |
sha256:640c3b7623f1ab298c3d2ddea1bc047a4de89f0388dc1e154f2a6ee2f8c30594
|
|
|
vlindex-binary
|
855 KB |
sha256:8c3be82b7291284658a8338cbb07044866771dd50b181055045991af65bf539e
|
|