All workflows

Workflow runs

• Run daily full test to validate current head revision

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

  Nov 3, 20267m 50s
  More actions for workflow run 22

• feat(thc): Add Matrix-Free O(N^3) Plucker-Exterior THC & Polarized Bianchi SOS Certifier

  failed:
  Scorecard analysis#978:Pull request#1473openedbyghost
  pr2-plucker-exterior-thc-sos

  Nov 2, 202626m 47s
  More actions for workflow run 978

• feat(thc): Add Matrix-Free O(N^3) Plucker-Exterior THC & Polarized Bianchi SOS Certifier

  failed:
  Continuous Integration#1407:Pull request#1473openedbyghost
  pr2-plucker-exterior-thc-sos

  Nov 2, 202626m 47s
  More actions for workflow run 1407

• feat(thc): Add Matrix-Free O(N^3) Plucker-Exterior THC & Polarized Bianchi SOS Certifier

  completed successfully:
  GitHub Actions Scan#400:Pull request#1473openedbyghost
  Nov 2, 202610s
  More actions for workflow run 400

• Run daily full test to validate current head revision

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

  Nov 2, 20267m 26s
  More actions for workflow run 21

• Run daily full test to validate current head revision

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

  Nov 1, 20267m 11s
  More actions for workflow run 20

• Run Scorecard analyzer

  completed successfully:
  Scorecard analysis#977:Scheduled
  main

  Oct 31, 20261m 15s
  More actions for workflow run 977

• Scheduled

  completed successfully:
  CodeQL#685:bygithub-advanced-security[bot]AI
  main

  Oct 31, 20261m 0s

• Run daily full test to validate current head revision

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

  Oct 31, 20266m 29s
  More actions for workflow run 19

• Run daily full test to validate current head revision

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

  Oct 30, 20266m 26s
  More actions for workflow run 18

• Run daily full test to validate current head revision

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

  Oct 29, 20266m 12s
  More actions for workflow run 17

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

  completed successfully:
  Continuous Integration#1406:Commit34adf31pushedbygithub-merge-queue[bot]Bot
  main

  Oct 28, 20266m 37s
  More actions for workflow run 1406

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

  cancelled:
  Continuous Integration#1405:Commit0226a31pushedbygithub-merge-queue[bot]Bot
  main

  Oct 28, 20269s
  More actions for workflow run 1405

• Push on main

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

  Oct 28, 20261m 32s

• Push on main

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

  Oct 28, 20261m 27s

• Run CI tests on push to gh-readonly-queue/main/pr-1471-0226a315b14fa2d2b8de33750c647c8e75c620d5 by @mhucka

  completed successfully:
  Continuous Integration#1404:Merge group checks requested
  Oct 28, 20266m 17s
  More actions for workflow run 1404

• GitHub Actions Scan

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

• GitHub Actions Scan

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

• Run CI tests on push to gh-readonly-queue/main/pr-1472-3ecc9c3289ac460cfc816c5b6ec1c448573f4558 by @mhucka

  completed successfully:
  Continuous Integration#1403:Merge group checks requested
  Oct 28, 20266m 47s
  More actions for workflow run 1403

• Run CI tests on PR #1472 by @dependabot[bot]

  completed successfully:
  Continuous Integration#1402:Pull request#1472openedbydependabot[bot]Bot
  dependabot/github_actions/actions/setup-python-7.1.0

  Oct 28, 20266m 25s
  More actions for workflow run 1402

• Run Scorecard analyzer

  completed successfully:
  Scorecard analysis#976:Pull request#1472openedbydependabot[bot]Bot
  dependabot/github_actions/actions/setup-python-7.1.0

  Oct 28, 202637s
  More actions for workflow run 976

• Bump actions/setup-python from 7.0.0 to 7.1.0

  completed successfully:
  GitHub Actions Scan#397:Pull request#1472openedbydependabot[bot]Bot
  Oct 28, 20261m 8s
  More actions for workflow run 397

• Run CI tests on PR #1471 by @dependabot[bot]

  completed successfully:
  Continuous Integration#1401:Pull request#1471openedbydependabot[bot]Bot
  dependabot/github_actions/github/codeql-action/upload-sarif-4.39.1

  Oct 28, 20266m 41s
  More actions for workflow run 1401

• Run Scorecard analyzer

  completed successfully:
  Scorecard analysis#975:Pull request#1471openedbydependabot[bot]Bot
  dependabot/github_actions/github/codeql-action/upload-sarif-4.39.1

  Oct 28, 202646s
  More actions for workflow run 975

• Bump github/codeql-action/upload-sarif from 4.39.0 to 4.39.1

  completed successfully:
  GitHub Actions Scan#396:Pull request#1471openedbydependabot[bot]Bot
  Oct 28, 20261m 22s
  More actions for workflow run 396