Meta: update repository files

See https://github.com/whatwg/spec-factory for details. Also includes a Reffy fix. CSS2 strikes again.
whatwg · Mar 23, 2023 · d5dbe0b · d5dbe0b
1 parent 5835e14
commit d5dbe0b
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -9,15 +9,14 @@ on:
 jobs:
   build:
     name: Build
-    runs-on: ubuntu-20.04
+    runs-on: ubuntu-22.04
     steps:
     - uses: actions/checkout@v3
       with:
         fetch-depth: 2
-    # Note: `python` will also be this version, which various scripts depend on.
-    - uses: actions/setup-python@v3
+    - uses: actions/setup-python@v4
       with:
-        python-version: "3.10"
+        python-version: "3.11"
     # Note: `make deploy` will do a deploy dry run on PRs.
     - run: make deploy
       env:

diff --git a/storage.bs b/storage.bs
@@ -16,6 +16,7 @@ urlPrefix: https://tc39.github.io/ecma262/; spec: ECMASCRIPT
 
 <pre class=link-defaults>
 spec:infra; type:dfn; text:implementation-defined
+spec:infra; type:dfn; text:user agent
 </pre>
-Original file line number
+Diff line change
@@ Expand Up / @@ -16,6 +16,7 @@ urlPrefix: https://tc39.github.io/ecma262/; spec: ECMASCRIPT @@
     <pre class=link-defaults>
     spec:infra; type:dfn; text:implementation-defined
+    spec:infra; type:dfn; text:user agent
     </pre>
@@ Expand Down @@