Skip to content

Commit 3e4cf6c

Browse files
committed
Rename specification.
1 parent cead0bf commit 3e4cf6c

10 files changed

+12
-12
lines changed

.github/workflows/deploy_pages.yml

Lines changed: 12 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -16,8 +16,8 @@ defaults:
1616
run:
1717
shell: bash
1818
jobs:
19-
# Upload Device Trust Anchor Management spec
20-
device-trust-anchor-management-spec:
19+
# Upload Device Identity Provisioning spec
20+
device-identity-provisioning-spec:
2121
runs-on: ubuntu-latest
2222
container:
2323
image: ghcr.io/trustedcomputinggroup/pandoc:latest
@@ -36,7 +36,7 @@ jobs:
3636
fetch-tags: true
3737
repository: "opencomputeproject/ocp-spec-tools"
3838
# The underlying tex and templates assume this exists under the "extra" folder.
39-
path: "specifications/device-trust-anchor-management/extra"
39+
path: "specifications/device-identity-provisioning/extra"
4040

4141
- name: Render Device Trust Anchor Management HTML
4242
run: |
@@ -52,7 +52,7 @@ jobs:
5252
5353
git reset --hard $ref
5454
55-
pushd specifications/device-trust-anchor-management
55+
pushd specifications/device-identity-provisioning
5656
5757
if [[ "${ref}" == "master" ]]; then
5858
# Label the current spec version.
@@ -73,28 +73,28 @@ jobs:
7373
7474
trimmed_ref="HEAD"
7575
76-
mkdir -p "gh-pages/device-trust-anchor-management/${trimmed_ref}"
77-
cp specifications/device-trust-anchor-management/spec.html "gh-pages/device-trust-anchor-management/${trimmed_ref}/index.html"
78-
echo "Added webpage device-trust-anchor-management/${trimmed_ref}/index.html"
76+
mkdir -p "gh-pages/device-identity-provisioning/${trimmed_ref}"
77+
cp specifications/device-identity-provisioning/spec.html "gh-pages/device-identity-provisioning/${trimmed_ref}/index.html"
78+
echo "Added webpage device-identity-provisioning/${trimmed_ref}/index.html"
7979
done
8080
81-
- name: Upload artifacts for device-trust-anchor-management spec
81+
- name: Upload artifacts for device-identity-provisioning spec
8282
uses: actions/upload-artifact@v4
8383
with:
84-
name: device-trust-anchor-management
84+
name: device-identity-provisioning
8585
path: gh-pages
8686

8787
deploy:
8888
environment:
8989
name: github-pages
9090
url: ${{ steps.deployment.outputs.page_url }}
9191
runs-on: ubuntu-latest
92-
needs: [device-trust-anchor-management-spec]
92+
needs: [device-identity-provisioning-spec]
9393
steps:
94-
- name: Download device-trust-anchor-management artifacts
94+
- name: Download device-identity-provisioning artifacts
9595
uses: actions/download-artifact@v4
9696
with:
97-
name: device-trust-anchor-management
97+
name: device-identity-provisioning
9898
path: gh-pages
9999
- name: Upload static files as artifact
100100
uses: actions/upload-pages-artifact@v3

0 commit comments

Comments
 (0)