ci(semantics): use seismic branch of seismic-revm#219

cdrappi wants to merge 1 commit intoseismicSeismicSystems/seismic-solidity:seismicfrom

ci-via-ir-inSeismicSystems/seismic-solidity:ci-via-ir-inCopy head branch name to clipboard