Skip to content

Actions: SentinelOps-CI/SpecSync

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
140 workflow runs
140 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
github_actions in /. - Update #1548467063 Dependabot Updates #92: by dependabot Bot
23s main
main
23s
Bump @types/node from 20.19.43 to 26.4.0 in /vscode-extension Node CI #20: Pull request #14 opened by dependabot Bot
2m 46s dependabot/npm_and_yarn/vscode-extension/types/node-26.4.0
dependabot/npm_and_yarn/vscode-extension/types/node-26.4.0
2m 46s
Bump @types/node from 20.19.43 to 26.4.0 in /vscode-extension CodeQL #17: Pull request #14 opened by dependabot Bot
1m 5s dependabot/npm_and_yarn/vscode-extension/types/node-26.4.0
dependabot/npm_and_yarn/vscode-extension/types/node-26.4.0
1m 5s
Bump @types/node from 20.19.43 to 26.4.0 in /vscode-extension .github/workflows/lean4-ci.yml #11: Commit 86c8ee3 pushed by dependabot Bot
Failure dependabot/npm_and_yarn/vscode-extension/types/node-26.4.0
dependabot/npm_and_yarn/vscode-extension/types/node-26.4.0
Failure
npm_and_yarn in / for @anthropic-ai/sdk, @octokit/rest, @octokit/webhooks, @slack/web-api, diff, dotenv, ejs, express, fs-extra, openai, pino, probot, tree-sitter, tree-sitter-java, tree-sitter-javascript, tree-sitter-python, tree-sitter-rust, tree-sitter-typescript - Update #1548464707 Dependabot Updates #91: by dependabot Bot
2m 38s main
main
2m 38s
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 #1548464701 Dependabot Updates #90: by dependabot Bot
2m 25s main
main
2m 25s
npm_and_yarn in /. - Update #1548464652 Dependabot Updates #89: by dependabot Bot
46s main
main
46s
npm_and_yarn in /vscode-extension - Update #1548464650 Dependabot Updates #88: by dependabot Bot
46s main
main
46s
CodeQL CodeQL #16: Scheduled
1m 31s main
main
1m 31s
Bump @types/vscode from 1.125.0 to 1.134.0 in /vscode-extension CodeQL #15: Pull request #13 opened by dependabot Bot
1m 4s dependabot/npm_and_yarn/vscode-extension/types/vscode-1.134.0
dependabot/npm_and_yarn/vscode-extension/types/vscode-1.134.0
1m 4s
Bump @types/vscode from 1.125.0 to 1.134.0 in /vscode-extension Node CI #19: Pull request #13 opened by dependabot Bot
1m 17s dependabot/npm_and_yarn/vscode-extension/types/vscode-1.134.0
dependabot/npm_and_yarn/vscode-extension/types/vscode-1.134.0
1m 17s
github_actions in /. - Update #1539641277 Dependabot Updates #87: by dependabot Bot
31s main
main
31s
Bump @types/vscode from 1.125.0 to 1.134.0 in /vscode-extension .github/workflows/lean4-ci.yml #10: Commit f571c80 pushed by dependabot Bot
Failure dependabot/npm_and_yarn/vscode-extension/types/vscode-1.134.0
dependabot/npm_and_yarn/vscode-extension/types/vscode-1.134.0
Failure
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 #1539639629 Dependabot Updates #86: by dependabot Bot
3m 0s main
main
3m 0s
npm_and_yarn in / for @anthropic-ai/sdk, @octokit/rest, @octokit/webhooks, @slack/web-api, diff, dotenv, ejs, express, fs-extra, openai, pino, probot, tree-sitter, tree-sitter-java, tree-sitter-javascript, tree-sitter-python, tree-sitter-rust, tree-sitter-typescript - Update #1539639627 Dependabot Updates #85: by dependabot Bot
2m 45s main
main
2m 45s
npm_and_yarn in /. - Update #1539639610 Dependabot Updates #84: by dependabot Bot
49s main
main
49s
npm_and_yarn in /vscode-extension - Update #1539639609 Dependabot Updates #83: by dependabot Bot
1m 0s main
main
1m 0s
CodeQL CodeQL #14: Scheduled
1m 31s main
main
1m 31s
github_actions in /. - Update #1530207506 Dependabot Updates #82: by dependabot Bot
31s main
main
31s
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 #1530205945 Dependabot Updates #81: by dependabot Bot
2m 10s main
main
2m 10s
npm_and_yarn in / for @anthropic-ai/sdk, @octokit/rest, @octokit/webhooks, @slack/web-api, diff, dotenv, ejs, express, fs-extra, openai, pino, probot, tree-sitter, tree-sitter-java, tree-sitter-javascript, tree-sitter-python, tree-sitter-rust, tree-sitter-typescript - Update #1530205917 Dependabot Updates #80: by dependabot Bot
2m 29s main
main
2m 29s
npm_and_yarn in /vscode-extension - Update #1530205866 Dependabot Updates #79: by dependabot Bot
52s main
main
52s
npm_and_yarn in /. - Update #1530205862 Dependabot Updates #78: by dependabot Bot
58s main
main
58s
CodeQL CodeQL #13: Scheduled
1m 34s main
main
1m 34s
Bump @types/node from 20.19.43 to 26.2.0 in /vscode-extension Node CI #18: Pull request #12 opened by dependabot Bot
1m 23s dependabot/npm_and_yarn/vscode-extension/types/node-26.2.0
dependabot/npm_and_yarn/vscode-extension/types/node-26.2.0
1m 23s