fix expected sub format

Signed-off-by: Mario Minardi <mminardi@shaw.ca>
This commit is contained in:
Mario Minardi 2026-01-19 21:29:52 -07:00
parent eedd362669
commit e18021d0ed

View file

@ -57,8 +57,8 @@ jobs:
echo "Error: EVENT_NAME should be push but is $EVENT_NAME"
exit 1
fi
if [[ "$SUB" != "repo:root/example-id-tokens:ref:refs/head/master" ]]; then
echo "Error: SUB should be repo:root/example-id-tokens:ref:refs/head/main but is $SUB"
if [[ "$SUB" != "repo:root/example-id-tokens:ref:refs/heads/main" ]]; then
echo "Error: SUB should be repo:root/example-id-tokens:ref:refs/heads/main but is $SUB"
exit 1
fi