- From: Domenic Denicola <notifications@github.com>
- Date: Fri, 03 Sep 2021 09:15:35 -0700
- To: heycam/webidl <webidl@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Friday, 3 September 2021 16:15:48 UTC
@domenic commented on this pull request. > @@ -2,25 +2,29 @@ name: Build on: pull_request: branches: - - master + - main We might want to do the branch rename separately? > -ci: - mkdir -p out - make index.html - mv index.html out/index.html +local: index.bs + bikeshed spec index.bs index.html --md-Text-Macro="COMMIT-SHA LOCAL COPY" + +deploy: index.bs + curl --remote-name --fail https://resources.whatwg.org/build/deploy.sh + POST_BUILD_STEP='node ./check-grammar.js "$$DIR/index.html" && npm run pp-webidl -- --input "$$DIR/index.html"' \ Where does `$$DIR` come from? -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/heycam/webidl/pull/1018#pullrequestreview-746277754
Received on Friday, 3 September 2021 16:15:48 UTC