chore: make common files visible for bikeshed

Signed-off-by: Wouter Termont <[email protected]>
SolidLabResearch · Dec 10, 2024 · 567134b · 567134b
1 parent 45643be
commit 567134b
Show file tree

Hide file tree

Showing 5 changed files with 9 additions and 10 deletions.
diff --git a/.github/workflows/auto-publish.yml b/.github/workflows/auto-publish.yml
@@ -45,31 +45,31 @@ jobs:
 
       - name: Setup build environment
         run: |
-          mkdir -p "${{ env.build_dir }}"
-          cp common/* level0/
-          echo "time=$(date +"%Y%m%d%H%M%S")" >> "$GITHUB_OUTPUT"
-        # && cp common/* level1/ && cp common/* level2/
+          mkdir -p "${{ env.build_dir }}"/level{0,1,2}
+          echo "timestamp=$(date +"%Y%m%d%H%M%S")" >> "$GITHUB_OUTPUT"
+        id: setup
 
       - name: Build Level 0
         if: steps.filter.outputs.level0 == 'true'
-        run: bikeshed spec level0/index.bs "${{ env.build_dir }}/level0/index.html"
+        run: bikeshed spec level0/index.bs "${{ env.build_dir }}"/level0/index.html
         id: bikeshed
 
       # - name: Build Level 1
       #   if: steps.filter.outputs.level1 == 'true'
-      #   run: bikeshed spec level1/index.bs "${{ env.build_dir }}/level1/index.html"
+      #   run: bikeshed spec level1/index.bs "${{ env.build_dir }}"/level1/index.html
       #   id: bikeshed
 
       # - name: Build Level 2
       #   if: steps.filter.outputs.level2 == 'true'
-      #   run: bikeshed spec level2/index.bs "${{ env.build_dir }}/level2/index.html"
+      #   run: bikeshed spec level2/index.bs "${{ env.build_dir }}"/level2/index.html
       #   id: bikeshed
 
       - name: Deploy to GitHub Pages
         uses: JamesIves/github-pages-deploy-action@v4
         with:
           folder: "${{ env.build_dir }}"
           target-folder: "specs"
-          commit-message: "publish: changes at ${{ steps.bikeshed.outputs.time }}"
+          commit-message: "publish: changes at ${{ steps.setup.outputs.timestamp }}"
           branch: gh-pages
-          tag: "v${{ steps.bikeshed.outputs.time }}"
+          tag: "v${{ steps.setup.outputs.timestamp }}"
+          clean: false
diff --git a/common/anchors.bsdata → anchors.bsdata b/common/anchors.bsdata → anchors.bsdata
diff --git a/common/biblio.json → biblio.json b/common/biblio.json → biblio.json
diff --git a/level0/index.bs b/level0/index.bs
@@ -334,4 +334,3 @@ Comments regarding this document are welcome, via the [GitHub issue tracker](htt
   ...
 
   ISSUE: clarify claim token formats, and discuss advertising them with a parameter separate from uma profiles
-
diff --git a/common/link-defaults.infotree → link-defaults.infotree b/common/link-defaults.infotree → link-defaults.infotree
Original file line number	Diff line number	Diff line change
Expand Up		@@ -334,4 +334,3 @@ Comments regarding this document are welcome, via the [GitHub issue tracker](htt
		...

		ISSUE: clarify claim token formats, and discuss advertising them with a parameter separate from uma profiles