All workflows

Workflow runs

• Smoketest

  failed:
  Smoketest#224:Scheduled
  master

  Oct 15, 202621s
  More actions for workflow run 224

• Smoketest

  completed successfully:
  Smoketest#223:Scheduled
  master

  Oct 14, 202610s
  More actions for workflow run 223

• Smoketest

  completed successfully:
  Smoketest#222:Scheduled
  master

  Oct 13, 20269s
  More actions for workflow run 222

• Smoketest

  completed successfully:
  Smoketest#221:Scheduled
  master

  Oct 12, 202613s
  More actions for workflow run 221

• Smoketest

  completed successfully:
  Smoketest#220:Scheduled
  master

  Oct 11, 202613s
  More actions for workflow run 220

• Smoketest

  failed:
  Smoketest#219:Scheduled
  master

  Oct 10, 202655s
  More actions for workflow run 219

• Smoketest

  completed successfully:
  Smoketest#218:Scheduled
  master

  Oct 9, 202612s
  More actions for workflow run 218

• Smoketest

  completed successfully:
  Smoketest#217:Scheduled
  master

  Oct 8, 202610s
  More actions for workflow run 217

• Smoketest

  completed successfully:
  Smoketest#216:Scheduled
  master

  Oct 7, 202612s
  More actions for workflow run 216

• Smoketest

  completed successfully:
  Smoketest#215:Scheduled
  master

  Oct 6, 202615s
  More actions for workflow run 215

• Smoketest

  completed successfully:
  Smoketest#214:Scheduled
  master

  Oct 5, 202612s
  More actions for workflow run 214

• Smoketest

  completed successfully:
  Smoketest#213:Scheduled
  master

  Oct 4, 20269s
  More actions for workflow run 213

• Smoketest

  completed successfully:
  Smoketest#212:completedbygithub-pages[bot]Bot
  Oct 3, 20269s
  More actions for workflow run 212

• pages build and deployment

  completed successfully:
  pages-build-deployment#93:bygithub-pages[bot]Bot
  gh-pages

  Oct 3, 202643s

• Smoketest

  completed successfully:
  Smoketest#211:Manually runbyMaxDaten
  master

  Oct 3, 202610s
  More actions for workflow run 211

• fix(smoketest): avoid SIGPIPE race in content checks

  completed successfully:
  CI#160:Commitb615c1epushedbyMaxDaten
  master

  Oct 3, 20262m 58s
  More actions for workflow run 160

• Smoketest

  completed successfully:
  Smoketest#210:completedbygithub-pages[bot]Bot
  Oct 3, 202610s
  More actions for workflow run 210

• pages build and deployment

  completed successfully:
  pages-build-deployment#92:bygithub-pages[bot]Bot
  gh-pages

  Oct 3, 202637s

• ci: pin devenv to v2.4.0 and bump actions to Node 24 versions

  completed successfully:
  CI#159:Commitb3c812cpushedbyMaxDaten
  master

  Oct 3, 20262m 51s
  More actions for workflow run 159

• pages build and deployment

  completed successfully:
  pages-build-deployment#91:bygithub-pages[bot]Bot
  gh-pages

  Oct 3, 202641s

• build(devenv): update devenv.lock for devenv 2.x

  completed successfully:
  CI#158:Commit3273267pushedbyMaxDaten
  master

  Oct 3, 20262m 24s
  More actions for workflow run 158

• build(nix): replace deprecated texlive.combine with texliveMedium.wit…

  failed:
  CI#157:Commit9bb1516pushedbyMaxDaten
  master

  Oct 3, 20261m 25s
  More actions for workflow run 157

• Smoketest

  failed:
  Smoketest#209:Scheduled
  master

  Jun 13, 202611s
  More actions for workflow run 209

• Smoketest

  failed:
  Smoketest#208:Scheduled
  master

  Jun 12, 202611s
  More actions for workflow run 208

• Smoketest

  failed:
  Smoketest#207:Scheduled
  master

  Jun 11, 202611s
  More actions for workflow run 207