amaranth/.github/workflows
Catherine e55dec9615 CI: adjust the required job to never be skipped.
While this fails a normal required status check, the merge group will
succeed even if a required status check is skipped.
2023-10-30 20:31:51 +00:00
..
main.yaml CI: adjust the required job to never be skipped. 2023-10-30 20:31:51 +00:00