Add github action for verilator lint and yosys-slang elaboration#414

micprog wants to merge 2 commits intomasterpulp-platform/axi:masterfrom

yosys-slang-cipulp-platform/axi:yosys-slang-ciCopy head branch name to clipboard