I’d bend the rule once, then be transparent about why
I’d make an exception and help the colleague, as long as I’m really sure there’s no harm or serious risk in breaking that rule. Afterward I’d document what happened and explain the situation to my manager so it doesn’t turn into a hidden habit of ignoring rules.