Commits

Breadcrumbs

History for

onmain

User selector

All users

All time

Commit History

Commits on Sep 18, 2025

• deploy/pr: pre-render the Graphviz diagrams

  Show description for 5ceac84
  dscho

  committed
  5ceac84

  Copy full SHA for 5ceac84

Commits on Mar 8, 2025

• ci: add a GitHub workflow to deploy the site

  Show description for 40f513a
  dscho

  committed
  40f513a

  Copy full SHA for 40f513a

• Replace the Pull Request automation with a Hugo one

  Show description for b6d166a
  dscho

  committed
  b6d166a

  Copy full SHA for b6d166a

• Drop the current PR automation

  Show description for 7820e4e
  dscho

  committed
  7820e4e

  Copy full SHA for 7820e4e

Commits on Mar 6, 2025

• PR build: when called from forks, publish a Git bundle

  Show description for 3bf1328
  dscho

  committed
  3bf1328

  Copy full SHA for 3bf1328

Commits on Mar 3, 2025

• Add a GitHub workflow to update the `.html` files in PRs

  Show description for e395bbf
  dscho

  committed
  e395bbf

  Copy full SHA for e395bbf

Loading