show actionlint version in playground

rhysd · May 11, 2024 · d1c0e3b · d1c0e3b
1 parent 7e91feb
commit d1c0e3b
Show file tree

Hide file tree

Showing 3 changed files with 9 additions and 1 deletion.
diff --git a/playground/index.html b/playground/index.html
@@ -22,7 +22,7 @@
   <body>
     <nav id="header-bar" class="navbar" role="navigation" aria-label="header navigation bar">
       <header class="header">
-        <h1 class="title"><a id="logo" rel="noopener" href="https://github.com/rhysd/actionlint"><i class="devicon-github-original"></i></a> actionlint playground</h1>
+        <h1 class="title"><a id="logo" rel="noopener" href="https://github.com/rhysd/actionlint"><i class="devicon-github-original"></i></a> actionlint playground<span class="tag is-dark" id="version">v1.7.0</span></h1>
         <h2 class="subtitle">Static checker for GitHub Actions workflow files</h2>
       </header>
       <div id="controls" class="navbar-end">

diff --git a/playground/style.css b/playground/style.css
@@ -28,6 +28,10 @@ main {
   }
 }
 
+#version {
+  margin-left: 1em;
+}
+
 #controls {
   display: flex;
   margin-top: 8px;

diff --git a/scripts/bump-version.bash b/scripts/bump-version.bash
@@ -46,6 +46,7 @@ pre_commit_hook='./.pre-commit-hooks.yaml'
 usage_doc='./docs/usage.md'
 tag="v${version}"
 job_url='https://github.com/rhysd/actionlint/actions/workflows/release.yaml'
+playground_html='./playground/index.html'
 
 echo "Bumping up version to ${version} (tag: ${tag})"
 
@@ -60,6 +61,9 @@ sed_ "\
     s/\`actionlint:[0-9]+\.[0-9]+\.[0-9]+\`/\`actionlint:${version}\`/g; \
     " "$usage_doc"
 
+echo "Updating $playground_html"
+sed_ "s/id=\"version\">v[0-9]+\.[0-9]+\.[0-9]+/id=\"version\">v${version}/" "$playground_html"
+
 echo 'Creating a version bump commit and a version tag'
 git add "$pre_commit_hook" "$usage_doc"
 git commit -m "bump up version to ${tag}"