[webrtc-pc] new commits pushed by dontcallmedom

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

* Adapt GitHub CI to platform change

Cf https://github.blog/changelog/2020-10-01-github-actions-deprecating-set-env-and-add-path-commands/
  by Dominique Hazael-Massieux
https://github.com/w3c/webrtc-pc/commit/a25af539e40efb31892efdaf8ceda3735c81e822

* Merge pull request #2608 from w3c/fix-set-env

Adapt GitHub CI to platform change
  by Dominique Hazael-Massieux
https://github.com/w3c/webrtc-pc/commit/5b6e9fa96d44715838a06e771ff27d9fcbe0029e



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