Upgrade to node16 actions to reduce warnings on CI. Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This action triggers docker container deployment in the repo seL4/ci-actions when the C parser changes here. Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>