The following commits were just pushed by dontcallmedom to https://github.com/w3c/mediacapture-main: * 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/mediacapture-main/commit/671b356703972fcd17acca1173e6483dd14e9d81 * Merge pull request #753 from w3c/fix-set-env Adapt GitHub CI to platform change by Dominique Hazael-Massieux https://github.com/w3c/mediacapture-main/commit/dbf7851ca73116b4d60e9cf345d949292e693e51 -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-configReceived on Tuesday, 1 December 2020 15:32:59 UTC
This archive was generated by hypermail 2.4.0 : Saturday, 6 May 2023 21:19:52 UTC