W3C home > Mailing lists > Public > public-webrtc-logs@w3.org > March 2021

[webrtc-insertable-streams] Pull Request: Detect missing references on build

From: Dominique Hazael-Massieux via GitHub <sysbot+gh@w3.org>
Date: Mon, 08 Mar 2021 10:41:22 +0000
To: public-webrtc-logs@w3.org
Message-ID: <pull_request.opened-586667396-1615200080-sysbot+gh@w3.org>
dontcallmedom has just submitted a new pull request for https://github.com/w3c/webrtc-insertable-streams:

== Detect missing references on build ==
Using spec-prod configuration to detect when the spec uses undefined references https://github.com/w3c/spec-prod/blob/main/docs/options.md#build_fail_on
Per https://github.com/w3c/webrtc-insertable-streams/pull/73#issuecomment-792653932

See https://github.com/w3c/webrtc-insertable-streams/pull/74

Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Monday, 8 March 2021 10:41:23 UTC

This archive was generated by hypermail 2.4.0 : Saturday, 6 May 2023 21:19:53 UTC