All workflows

Workflow runs

• fix permissions

  completed successfully:
  CI#1605:Commit1e08b6cpushedbypuredanger
  master

  Sep 15, 20256s
  More actions for workflow run 1605

• Push on master

  completed successfully:
  CodeQL#86:bypuredanger
  master

  Sep 15, 202559s

• add permissions to jobs

  completed successfully:
  CI#1604:Commit529a258pushedbypuredanger
  master

  Sep 15, 20256s
  More actions for workflow run 1604

• add permissions to jobs

  failed:
  Daily Event Publishing#445:Commit529a258pushedbypuredanger
  master

  Sep 15, 2025Failure
  More actions for workflow run 445

• Push on master

  completed successfully:
  CodeQL#85:bygithub-advanced-security[bot]AI
  master

  Sep 15, 20251m 1s

• Daily Event Publishing

  completed successfully:
  Daily Event Publishing#444:Scheduled
  master

  Sep 15, 202525s
  More actions for workflow run 444

• Daily Event Publishing

  completed successfully:
  Daily Event Publishing#443:Scheduled
  master

  Sep 14, 202517s
  More actions for workflow run 443

• Daily Event Publishing

  completed successfully:
  Daily Event Publishing#442:Scheduled
  master

  Sep 13, 202526s
  More actions for workflow run 442

• Daily Event Publishing

  completed successfully:
  Daily Event Publishing#441:Scheduled
  master

  Sep 12, 202527s
  More actions for workflow run 441

• Scheduled

  completed successfully:
  CodeQL#84:bygithub-advanced-security[bot]AI
  master

  Sep 11, 202547s

• Daily Event Publishing

  completed successfully:
  Daily Event Publishing#440:Scheduled
  master

  Sep 11, 202522s
  More actions for workflow run 440

• Daily Event Publishing

  completed successfully:
  Daily Event Publishing#439:Scheduled
  master

  Sep 10, 202530s
  More actions for workflow run 439

• add deref

  completed successfully:
  CI#1603:Commitc83e562pushedbychristoph-neumann
  master

  Sep 10, 20256s
  More actions for workflow run 1603

• Push on master

  completed successfully:
  CodeQL#83:bychristoph-neumann
  master

  Sep 10, 202556s

• Daily Event Publishing

  completed successfully:
  Daily Event Publishing#438:Scheduled
  master

  Sep 9, 202528s
  More actions for workflow run 438

• add contributor

  completed successfully:
  CI#1602:Commit5abb197pushedbypuredanger
  master

  Sep 9, 202510s
  More actions for workflow run 1602

• Push on master

  completed successfully:
  CodeQL#82:bypuredanger
  master

  Sep 9, 202540s

• Daily Event Publishing

  completed successfully:
  Daily Event Publishing#437:Scheduled
  master

  Sep 8, 202523s
  More actions for workflow run 437

• Daily Event Publishing

  completed successfully:
  Daily Event Publishing#436:Scheduled
  master

  Sep 7, 202524s
  More actions for workflow run 436

• Daily Event Publishing

  completed successfully:
  Daily Event Publishing#435:Scheduled
  master

  Sep 6, 202521s
  More actions for workflow run 435

• fix paper link, closes #726

  completed successfully:
  CI#1601:Commit4196043pushedbypuredanger
  master

  Sep 5, 20259s
  More actions for workflow run 1601

• Push on master

  completed successfully:
  CodeQL#81:bypuredanger
  master

  Sep 5, 202551s

• Daily Event Publishing

  completed successfully:
  Daily Event Publishing#434:Scheduled
  master

  Sep 5, 202528s
  More actions for workflow run 434

• Scheduled

  completed successfully:
  CodeQL#80:bygithub-advanced-security[bot]AI
  master

  Sep 4, 202543s

• Daily Event Publishing

  completed successfully:
  Daily Event Publishing#433:Scheduled
  master

  Sep 4, 202526s
  More actions for workflow run 433