[webrtc-identity] new commits pushed by dontcallmedom

The following commits were just pushed by dontcallmedom to https://github.com/w3c/webrtc-identity:

* Upgrade action checkout
  by Dominique Hazael-Massieux
https://github.com/w3c/webrtc-identity/commit/4ffc85f8567db8cbc0028d36f566dc783878bed9



-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config

Received on Tuesday, 12 December 2023 13:55:37 UTC