All workflows

Workflow runs

• CodeQL

  completed successfully:
  CodeQL#36:Scheduled
  main

  Oct 25, 20261m 27s
  More actions for workflow run 36

• CodeQL

  completed successfully:
  CodeQL#35:Scheduled
  main

  Oct 18, 20261m 22s
  More actions for workflow run 35

• github_actions in /. - Update #1626659477

  failed:
  Dependabot Updates#122:bydependabot[bot]Bot
  main

  Oct 14, 202629s

• Bump @types/node from 20.19.43 to 26.6.5 in /vscode-extension

  failed:
  Node CI#31:Pull request#25openedbydependabot[bot]Bot
  dependabot/npm_and_yarn/vscode-extension/types/node-26.6.5

  Oct 14, 20261m 14s
  More actions for workflow run 31

• Bump @types/node from 20.19.43 to 26.6.5 in /vscode-extension

  completed successfully:
  CodeQL#34:Pull request#25openedbydependabot[bot]Bot
  dependabot/npm_and_yarn/vscode-extension/types/node-26.6.5

  Oct 14, 20261m 4s
  More actions for workflow run 34

• Bump @types/node from 20.19.43 to 26.6.5 in /vscode-extension

  failed:
  .github/workflows/lean4-ci.yml#22:Commita6c04bfpushedbydependabot[bot]Bot
  dependabot/npm_and_yarn/vscode-extension/types/node-26.6.5

  Oct 14, 2026Failure
  More actions for workflow run 22

• npm_and_yarn in / for @eslint/js, @types/node, eslint, eslint-config-prettier, globals, jest, @types/jest, nodemon, prettier, ts-jest, tsx, typescript, typescript-eslint - Update #1626657843

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

  Oct 14, 20262m 23s

• npm_and_yarn in / for @anthropic-ai/sdk, @octokit/rest, @octokit/webhooks, @slack/web-api, diff, dotenv, ejs, express, fs-extra, openai, pino, probot, simple-git, tree-sitter, tree-sitter-java, tree-sitter-javascript, tree-sitter-python, tree-sitter-rust, tree-sitter-typescript - Update #1626657848

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

  Oct 14, 20262m 29s

• npm_and_yarn in /vscode-extension - Update #1626657801

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

  Oct 14, 20261m 0s

• npm_and_yarn in /. - Update #1626657795

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

  Oct 14, 202647s

• CodeQL

  completed successfully:
  CodeQL#33:Scheduled
  main

  Oct 11, 20261m 37s
  More actions for workflow run 33

• Bump @types/node from 20.19.43 to 26.6.4 in /vscode-extension

  failed:
  Node CI#30:Pull request#24openedbydependabot[bot]Bot
  dependabot/npm_and_yarn/vscode-extension/types/node-26.6.4

  Oct 6, 20261m 24s
  More actions for workflow run 30

• Bump @types/node from 20.19.43 to 26.6.4 in /vscode-extension

  completed successfully:
  CodeQL#32:Pull request#24openedbydependabot[bot]Bot
  dependabot/npm_and_yarn/vscode-extension/types/node-26.6.4

  Oct 6, 20261m 12s
  More actions for workflow run 32

• Bump @types/node from 20.19.43 to 26.6.4 in /vscode-extension

  failed:
  .github/workflows/lean4-ci.yml#21:Commitdb2841cpushedbydependabot[bot]Bot
  dependabot/npm_and_yarn/vscode-extension/types/node-26.6.4

  Oct 6, 2026Failure
  More actions for workflow run 21

• Bump @types/vscode from 1.125.0 to 1.140.0 in /vscode-extension

  completed successfully:
  CodeQL#31:Pull request#23openedbydependabot[bot]Bot
  dependabot/npm_and_yarn/vscode-extension/types/vscode-1.140.0

  Oct 6, 20261m 4s
  More actions for workflow run 31

• Bump @types/vscode from 1.125.0 to 1.140.0 in /vscode-extension

  failed:
  Node CI#29:Pull request#23openedbydependabot[bot]Bot
  dependabot/npm_and_yarn/vscode-extension/types/vscode-1.140.0

  Oct 6, 20261m 2s
  More actions for workflow run 29

• Bump @types/vscode from 1.125.0 to 1.140.0 in /vscode-extension

  failed:
  .github/workflows/lean4-ci.yml#20:Commitb0e0d69pushedbydependabot[bot]Bot
  dependabot/npm_and_yarn/vscode-extension/types/vscode-1.140.0

  Oct 6, 2026Failure
  More actions for workflow run 20

• github_actions in /. - Update #1611753775

  failed:
  Dependabot Updates#117:bydependabot[bot]Bot
  main

  Oct 6, 202628s

• npm_and_yarn in / for @eslint/js, @types/node, eslint, eslint-config-prettier, globals, jest, @types/jest, nodemon, prettier, ts-jest, tsx, typescript, typescript-eslint - Update #1611752756

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

  Oct 6, 20262m 31s

• npm_and_yarn in / for @anthropic-ai/sdk, @octokit/rest, @octokit/webhooks, @slack/web-api, diff, dotenv, ejs, express, fs-extra, openai, pino, probot, simple-git, tree-sitter, tree-sitter-java, tree-sitter-javascript, tree-sitter-python, tree-sitter-rust, tree-sitter-typescript - Update #1611752755

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

  Oct 6, 20262m 17s

• npm_and_yarn in /vscode-extension - Update #1611752708

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

  Oct 6, 20261m 3s

• npm_and_yarn in /. - Update #1611752706

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

  Oct 6, 202645s

• CodeQL

  completed successfully:
  CodeQL#30:Scheduled
  main

  Oct 4, 20261m 24s
  More actions for workflow run 30

• Bump the production group across 1 directory with 19 updates

  completed successfully:
  CodeQL#29:Pull request#22openedbydependabot[bot]Bot
  dependabot/npm_and_yarn/production-e3f1bbb249

  Sep 29, 20261m 24s
  More actions for workflow run 29

• Bump the production group across 1 directory with 19 updates

  failed:
  Node CI#28:Pull request#22openedbydependabot[bot]Bot
  dependabot/npm_and_yarn/production-e3f1bbb249

  Sep 29, 202618s
  More actions for workflow run 28