Check that OK files are up to date

Add extended technology mapping from mockturtle to `rmp` #3070

Sign in to view logs

Re-run triggered December 19, 2025 17:03

maliberty

#9097

antmicro:mockturtle-extended-technology-mapping

Status Success

Total duration 58s

Artifacts –

github-actions-are-differences-found.yml

on: pull_request

No-Diffs-In-Ok-Files