endChild(card);
          }catch(err){
            const e = document.createElement('div');
            e.textContent = `Failed to fetch ${wf}: ${err.message}`;
            e.style.color = 'red';
            container.appendChild(e);
          }
        }
      })();
    </script>

    <p>Artifacts from CI runs are available in the GitHub Actions UI.</p>
  </body>
</html>
