Fix build issues and update workflow#3

arpjw merged 1 commit intomainarpjw/executionrl:mainfrom

codex/check-if-the-program-runsarpjw/executionrl:codex/check-if-the-program-runsCopy head branch name to clipboard