All workflows

Workflow runs

• Support type checking with TY

  completed successfully:
  Dependency Review#5244:Pull request#8441synchronizebyjenshnielsen
  jenshnielsen:ty_0_73_support_1

  Nov 3, 202625s
  More actions for workflow run 5244

• Support type checking with TY

  completed successfully:
  CodeQL#7386:Pull request#8441synchronizebyjenshnielsen
  jenshnielsen:ty_0_73_support_1

  Nov 3, 20261m 53s
  More actions for workflow run 7386

• Support type checking with TY

  failed:
  Run mypy and pytest#23632:Pull request#8441synchronizebyjenshnielsen
  jenshnielsen:ty_0_73_support_1

  Nov 3, 202611m 39s
  More actions for workflow run 23632

• Support type checking with TY

  completed successfully:
  build docs#23622:Pull request#8441synchronizebyjenshnielsen
  jenshnielsen:ty_0_73_support_1

  Nov 3, 202619m 41s
  More actions for workflow run 23622

• Support type checking with TY

  completed successfully:
  pre-commit hooks#15119:Pull request#8441synchronizebyjenshnielsen
  jenshnielsen:ty_0_73_support_1

  Nov 3, 202629s
  More actions for workflow run 15119

• Running Copilot Code Review

  completed successfully:
  Copilot#36:byCopilotAI
  main

  Nov 3, 20264m 18s

• pages build and deployment

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

  Nov 3, 202657s

• Merge pull request #8694 from jenshnielsen/generic_step

  completed successfully:
  Scorecard supply-chain security#2024:Commit1d181a6pushedbygithub-merge-queue[bot]Bot
  main

  Nov 3, 20261m 19s
  More actions for workflow run 2024

• Merge pull request #8694 from jenshnielsen/generic_step

  completed successfully:
  pre-commit hooks#15118:Commit1d181a6pushedbygithub-merge-queue[bot]Bot
  main

  Nov 3, 202624s
  More actions for workflow run 15118

• Merge pull request #8694 from jenshnielsen/generic_step

  completed successfully:
  Run mypy and pytest#23631:Commit1d181a6pushedbygithub-merge-queue[bot]Bot
  main

  Nov 3, 202611m 1s
  More actions for workflow run 23631

• Merge pull request #8694 from jenshnielsen/generic_step

  completed successfully:
  CodeQL#7385:Commit1d181a6pushedbygithub-merge-queue[bot]Bot
  main

  Nov 3, 20262m 32s
  More actions for workflow run 7385

• Merge pull request #8694 from jenshnielsen/generic_step

  completed successfully:
  build docs#23621:Commit1d181a6pushedbygithub-merge-queue[bot]Bot
  main

  Nov 3, 202620m 21s
  More actions for workflow run 23621

• pre-commit hooks

  completed successfully:
  pre-commit hooks#15117:Merge group checks requested
  Nov 3, 202622s
  More actions for workflow run 15117

• build docs

  completed successfully:
  build docs#23620:Merge group checks requested
  Nov 3, 202617m 55s
  More actions for workflow run 23620

• Run mypy and pytest

  completed successfully:
  Run mypy and pytest#23630:Merge group checks requested
  Nov 3, 20269m 29s
  More actions for workflow run 23630

• Merge pull request #8694 from jenshnielsen/generic_step

  completed successfully:
  Copilot Setup Steps#409:Commit1d181a6pushedbygithub-merge-queue[bot]Bot
  gh-readonly-queue/main/pr-8694-533ba6a9c7a52711d75fcea897c5eec97f753315

  Nov 3, 20261m 25s
  More actions for workflow run 409

• pages build and deployment

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

  Nov 3, 202659s

• Configured Graph Update: pip in /. #1677047140

  completed successfully:
  Dependency Graph#257:bydependabot[bot]Bot
  main

  Nov 3, 202654s

• Merge pull request #8707 from microsoft/dependabot/pip/jsonpointer-3.6

  completed successfully:
  Run mypy and pytest#23629:Commit533ba6apushedbygithub-merge-queue[bot]Bot
  main

  Nov 3, 202615m 51s
  More actions for workflow run 23629

• Merge pull request #8707 from microsoft/dependabot/pip/jsonpointer-3.6

  completed successfully:
  build docs#23619:Commit533ba6apushedbygithub-merge-queue[bot]Bot
  main

  Nov 3, 202620m 43s
  More actions for workflow run 23619

• Merge pull request #8707 from microsoft/dependabot/pip/jsonpointer-3.6

  completed successfully:
  Scorecard supply-chain security#2023:Commit533ba6apushedbygithub-merge-queue[bot]Bot
  main

  Nov 3, 20261m 23s
  More actions for workflow run 2023

• Merge pull request #8707 from microsoft/dependabot/pip/jsonpointer-3.6

  completed successfully:
  pre-commit hooks#15116:Commit533ba6apushedbygithub-merge-queue[bot]Bot
  main

  Nov 3, 202622s
  More actions for workflow run 15116

• Merge pull request #8707 from microsoft/dependabot/pip/jsonpointer-3.6

  completed successfully:
  CodeQL#7384:Commit533ba6apushedbygithub-merge-queue[bot]Bot
  main

  Nov 3, 20262m 32s
  More actions for workflow run 7384

• Configured Graph Update: pip in /. #1677042982

  completed successfully:
  Dependency Graph#256:bydependabot[bot]Bot
  main

  Nov 3, 20261m 0s

• Merge pull request #8708 from microsoft/dependabot/pre_commit/https-/…

  cancelled:
  build docs#23618:Commit4a4f006pushedbygithub-merge-queue[bot]Bot
  main

  Nov 3, 20262m 54s
  More actions for workflow run 23618