Skip to content

Remove DevicePermissionDescriptor deviceId. #417

Remove DevicePermissionDescriptor deviceId.

Remove DevicePermissionDescriptor deviceId. #417

Workflow file for this run

name: Auto Publish
on:
push:
paths:
- getusermedia.html
branches:
- main
pull_request: {}
workflow_dispatch:
jobs:
validate-and-publish:
name: Validate and Publish
runs-on: ubuntu-20.04 # only linux supported at present
steps:
- uses: actions/checkout@v2
- uses: w3c/spec-prod@v2 # use the action
with:
W3C_WG_DECISION_URL: "https://lists.w3.org/Archives/Public/public-webrtc/2016Mar/0031.html"
W3C_NOTIFICATIONS_CC: "[email protected]"
VALIDATE_LINKS: false
SOURCE: getusermedia.html
TOOLCHAIN: respec
W3C_ECHIDNA_TOKEN: ${{ secrets.ECHIDNA_TOKEN }}
W3C_BUILD_OVERRIDE: |
shortName: mediacapture-streams
specStatus: CRD