- 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