All workflows

Workflow runs

• Run daily full test to validate current head revision

  completed successfully:
  Continuous integration – daily#3:Scheduled
  main

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

• Run daily full test to validate current head revision

  completed successfully:
  Continuous integration – daily#2:Scheduled
  main

  Oct 14, 20265m 56s
  More actions for workflow run 2

• github_actions in /. - Update #1625777128

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

  Oct 13, 20261m 46s

• docker in /dev_tools/requirements, /docker - Update #1625777132

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

  Oct 13, 202641s

• pip in /dev_tools/requirements/deps, /docs/tutorials - Update #1625777131

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

  Oct 13, 20261m 11s

• Run CI tests on PR #1452 by @anishbhujbal7

  completed successfully:
  Continuous Integration#1387:Pull request#1452synchronizebyanishbhujbal7
  anishbhujbal7:main

  Oct 13, 20266m 42s
  More actions for workflow run 1387

• Run Scorecard analyzer

  skipped:
  Scorecard analysis#967:Pull request#1452synchronizebyanishbhujbal7
  anishbhujbal7:main

  Oct 13, 20262s
  More actions for workflow run 967

• fix: handle optional SymPy support and zero-pruning in SymbolicOperat…

  completed successfully:
  GitHub Actions Scan#385:Pull request#1452synchronizebyanishbhujbal7
  Oct 13, 20269s
  More actions for workflow run 385

• Run CI tests on PR #1452 by @anishbhujbal7

  completed successfully:
  Continuous Integration#1386:Pull request#1452synchronizebyanishbhujbal7
  anishbhujbal7:main

  Oct 13, 20266m 20s
  More actions for workflow run 1386

• Run Scorecard analyzer

  skipped:
  Scorecard analysis#966:Pull request#1452synchronizebyanishbhujbal7
  anishbhujbal7:main

  Oct 13, 20267s
  More actions for workflow run 966

• fix: handle optional SymPy support and zero-pruning in SymbolicOperat…

  completed successfully:
  GitHub Actions Scan#384:Pull request#1452synchronizebyanishbhujbal7
  Oct 13, 202612s
  More actions for workflow run 384

• Run daily full test to validate current head revision

  completed successfully:
  Continuous integration – daily#1:Scheduled
  main

  Oct 13, 20266m 37s
  More actions for workflow run 1

• Run CI tests on push to main by @github-merge-queue[bot]

  completed successfully:
  Continuous Integration#1385:Commit90074a3pushedbygithub-merge-queue[bot]Bot
  main

  Oct 12, 20265m 49s
  More actions for workflow run 1385

• Push on main

  completed successfully:
  CodeQL#673:bygithub-merge-queue[bot]Bot
  main

  Oct 12, 20261m 27s

• Run CI tests on push to gh-readonly-queue/main/pr-1464-42f84e3f0bdd03c901b63891ed33b383b360f0b3 by @mhucka

  completed successfully:
  Continuous Integration#1384:Merge group checks requested
  Oct 12, 20265m 58s
  More actions for workflow run 1384

• GitHub Actions Scan

  skipped:
  GitHub Actions Scan#383:Merge group checks requested
  Oct 12, 20261s
  More actions for workflow run 383

• Fix permissions best practices in nightly CI workflow & simplify it

  completed successfully:
  GitHub Actions Scan#382:Pull request#1464synchronizebymhucka
  Oct 12, 202649s
  More actions for workflow run 382

• Run Scorecard analyzer

  skipped:
  Scorecard analysis#965:Pull request#1464synchronizebymhucka
  mhucka:streamline-nightly-ci

  Oct 12, 20261s
  More actions for workflow run 965

• Run CI tests on PR #1464 by @mhucka

  completed successfully:
  Continuous Integration#1383:Pull request#1464synchronizebymhucka
  mhucka:streamline-nightly-ci

  Oct 12, 20267m 22s
  More actions for workflow run 1383

• Run CI tests on PR #1464 by @mhucka

  cancelled:
  Continuous Integration#1382:Pull request#1464synchronizebymhucka
  mhucka:streamline-nightly-ci

  Oct 12, 20261m 41s
  More actions for workflow run 1382

• Run Scorecard analyzer

  skipped:
  Scorecard analysis#964:Pull request#1464synchronizebymhucka
  mhucka:streamline-nightly-ci

  Oct 12, 202611s
  More actions for workflow run 964

• Fix permissions best practices in nightly CI workflow & simplify it

  completed successfully:
  GitHub Actions Scan#381:Pull request#1464synchronizebymhucka
  Oct 12, 202647s
  More actions for workflow run 381

• Push on main

  completed successfully:
  CodeQL#672:bygithub-merge-queue[bot]Bot
  main

  Oct 12, 20261m 20s

• Run CI tests on push to main by @github-merge-queue[bot]

  completed successfully:
  Continuous Integration#1381:Commit42f84e3pushedbygithub-merge-queue[bot]Bot
  main

  Oct 12, 20265m 27s
  More actions for workflow run 1381

• GitHub Actions Scan

  skipped:
  GitHub Actions Scan#380:Merge group checks requested
  Oct 12, 202611s
  More actions for workflow run 380