tree e4054cfe95a010b132032dbb4510580897074cda
parent 7bef5953d7367a0d40d8104c202e62bb6f4a5b49
author Nathaniel Wesley Filardo <wes.filardo@scisemi.com> 1735829174 +0000
committer Nathaniel Wesley Filardo <VP331RHQ115POU58JFRLKB7OPA0L18E3@cmx.ietfng.org> 1735831834 -0500

GitHub CI: workflow_dispatch container input

Allow the use of an alternate devcontainer when manually running CI
scripts.