Initial setup and overview for the JS Primitive Builtins Proposal.

Author: sjrd

.github/workflows/ci-interpreter.yml

@@ -31,4 +31,4 @@ jobs:
       - name: Build interpreter
         run: cd interpreter && opam exec make
       - name: Run tests
-        run: cd interpreter && opam exec make JS=node ci
+        run: cd interpreter && opam exec make ci

README.md

@@ -1,5 +1,17 @@
-[![CI for specs](https://github.com/WebAssembly/spec/actions/workflows/ci-spec.yml/badge.svg)](https://github.com/WebAssembly/spec/actions/workflows/ci-spec.yml)
-[![CI for interpreter & tests](https://github.com/WebAssembly/spec/actions/workflows/ci-interpreter.yml/badge.svg)](https://github.com/WebAssembly/spec/actions/workflows/ci-interpreter.yml)
+[![CI for specs](https://github.com/WebAssembly/js-primitive-builtins/actions/workflows/ci-spec.yml/badge.svg)](https://github.com/WebAssembly/js-primitive-builtins/actions/workflows/ci-spec.yml)
+[![CI for interpreter & tests](https://github.com/WebAssembly/js-primitive-builtins/actions/workflows/ci-interpreter.yml/badge.svg)](https://github.com/WebAssembly/js-primitive-builtins/actions/workflows/ci-interpreter.yml)
+
+# JS Primitive Builtins Proposal for WebAssembly
+
+This repository is a clone of [github.com/WebAssembly/spec/](https://github.com/WebAssembly/spec/).
+It is meant for discussion, prototype specification and implementation of a proposal to
+add support for additional JS builtins to the JS embedding of WebAssembly.
+
+* See the [overview](proposals/js-primitive-builtins/Overview.md) for a summary of the proposal.
+
+* See the [modified spec](https://webassembly.github.io/js-primitive-builtins/) for details.
+
+Original `README` from upstream repository follows...
 
 # spec
 

document/core/conf.py

@@ -66,10 +66,10 @@
 logo = 'static/webassembly.png'
 
 # The name of the GitHub repository this resides in
-repo = 'spec'
+repo = 'js-primitive-builtins'
 
 # The name of the proposal it represents, if any
-proposal = ''
+proposal = 'js-primitive-builtins'
 
 # The draft version string (clear out for release cuts)
 draft = ' (Draft ' + date.today().strftime("%Y-%m-%d") + ')'