style(ci): use 100 emoji for dev publish

This commit is contained in:
Vijay Janapa Reddi
2026-01-27 10:40:24 -05:00
parent 53fb49f3e6
commit 216b70a3ca
4 changed files with 4 additions and 4 deletions

View File

@@ -1,4 +1,4 @@
name: '📚 Book · Publish (Dev)'
name: '📚 Book · 💯 Publish (Dev)'
env:
ARTIFACT_NAME: dev-html-linux # The name of the artifact produced by the 'validate-dev' workflow

View File

@@ -1,4 +1,4 @@
name: '📦 Kits · Publish (Dev)'
name: '📦 Kits · 💯 Publish (Dev)'
# Builds and deploys Hardware Kits site (with PDF) to dev preview

View File

@@ -1,4 +1,4 @@
name: '🔮 Labs · Publish (Dev)'
name: '🔮 Labs · 💯 Publish (Dev)'
# Builds and deploys Labs site to dev preview

View File

@@ -1,4 +1,4 @@
name: '🔥 TinyTorch · Publish (Dev)'
name: '🔥 TinyTorch · 💯 Publish (Dev)'
# Builds and deploys TinyTorch site to dev preview
# Triggers after Validate (Dev) passes, builds PDFs, then deploys