All workflows

Workflow runs

• pages build and deployment

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

  Oct 17, 202639s

• CI

  completed successfully:
  CI#359:Scheduled
  main

  Oct 17, 20265m 2s
  More actions for workflow run 359

• CompatHelper

  completed successfully:
  CompatHelper#1069:Scheduled
  main

  Oct 17, 20263m 19s
  More actions for workflow run 1069

• pages build and deployment

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

  Oct 16, 202642s

• CI

  completed successfully:
  CI#358:Scheduled
  main

  Oct 16, 20265m 44s
  More actions for workflow run 358

• CompatHelper

  completed successfully:
  CompatHelper#1068:Scheduled
  main

  Oct 16, 20263m 35s
  More actions for workflow run 1068

• pages build and deployment

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

  Oct 15, 202639s

• CI

  completed successfully:
  CI#357:Scheduled
  main

  Oct 15, 20265m 3s
  More actions for workflow run 357

• CompatHelper

  completed successfully:
  CompatHelper#1067:Scheduled
  main

  Oct 15, 20263m 20s
  More actions for workflow run 1067

• pages build and deployment

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

  Oct 14, 202633s

• CI

  completed successfully:
  CI#356:Scheduled
  main

  Oct 14, 20269m 27s
  More actions for workflow run 356

• CompatHelper

  completed successfully:
  CompatHelper#1066:Scheduled
  main

  Oct 14, 20263m 14s
  More actions for workflow run 1066

• github_actions in /. - Update #1624321193

  completed successfully:
  Dependabot Updates#129:bydependabot[bot]Bot
  main

  Oct 13, 202648s

• pages build and deployment

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

  Oct 13, 202658s

• CI

  completed successfully:
  CI#355:Scheduled
  main

  Oct 13, 20268m 20s
  More actions for workflow run 355

• CompatHelper

  completed successfully:
  CompatHelper#1065:Scheduled
  main

  Oct 13, 20263m 16s
  More actions for workflow run 1065

• TagBot trigger issue

  completed successfully:
  TagBot#75:Issue comment#56 (comment)createdbyJuliaTagBot
  Oct 12, 202638s
  More actions for workflow run 75

• pages build and deployment

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

  Oct 12, 20261m 42s

• Bump version 0.1.14

  completed successfully:
  CI#354:Commit696ee63pushedbymohamed-barakat
  main

  Oct 12, 20267m 12s
  More actions for workflow run 354

• pages build and deployment

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

  Oct 12, 202641s

• CompatHelper: bump compat for Nemo to 0.57, (keep existing compat)

  completed successfully:
  CI#353:Pull request#80synchronizebymohamed-barakat
  compathelper/new_version/2026-10-08-03-42-43-952-03317457098

  Oct 12, 20268m 11s
  More actions for workflow run 353

• Merge pull request #79 from homalg-project/compathelper/new_version/2…

  completed successfully:
  CI#352:Commitce1b49fpushedbymohamed-barakat
  main

  Oct 12, 20268m 0s
  More actions for workflow run 352

• pages build and deployment

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

  Oct 12, 202636s

• CI

  completed successfully:
  CI#351:Scheduled
  main

  Oct 12, 20268m 5s
  More actions for workflow run 351

• CompatHelper

  completed successfully:
  CompatHelper#1064:Scheduled
  main

  Oct 12, 20262m 52s
  More actions for workflow run 1064