CONTRIBUTING.md: Move PR link #1616
Annotations
4 warnings
|
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Build C++17:
passes/opt/wreduce.cc#L283
‘bool Yosys::RTLIL::IdString::in(const Yosys::hashlib::pool<Yosys::RTLIL::IdString>&) const’ is deprecated [-Wdeprecated-declarations]
|
|
Setup Cpp
Failed to add apt key via server keyserver.ubuntu.com: Error: Command failed with exit code 2: sudo 'gpg' '--no-default-keyring' '--keyring' 'gnupg-ring:keyserver.ubuntu.com/ubuntu-toolchain-r-test.gpg' '--keyserver' 'keyserver.ubuntu.com' '--recv-keys' '1E9377A2BA9EF27F'
|
|
Setup Cpp
Failed to add apt key via server keyserver.ubuntu.com: Error: Command failed with exit code 2: sudo 'gpg' '--no-default-keyring' '--keyring' 'gnupg-ring:keyserver.ubuntu.com/ubuntu-toolchain-r-test.gpg' '--keyserver' 'keyserver.ubuntu.com' '--recv-keys' '1E9377A2BA9EF27F'
|
Loading