Execute CI tasks inside a CHERIoT devcontainer#273

resistor wants to merge 1 commit intoCHERIoT-Platform:cheriotCHERIoT-Platform/llvm-project:cheriotfrom

resistor:ci-containerresistor/llvm-project-1:ci-containerCopy head branch name to clipboard