Skip to content

Actions: SentinelOps-CI/SpecSync

Actions

.github/workflows/lean4-ci.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lean4-ci.yml
13 workflow runs
13 workflow runs

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
Bump @types/vscode from 1.125.0 to 1.136.0 in /vscode-extension .github/workflows/lean4-ci.yml #13: Commit 402405d pushed by dependabot Bot
Failure dependabot/npm_and_yarn/vscode-extension/types/vscode-1.136.0
dependabot/npm_and_yarn/vscode-extension/types/vscode-1.136.0
Failure
Bump @types/node from 20.19.43 to 26.4.1 in /vscode-extension .github/workflows/lean4-ci.yml #12: Commit 7a06ecc pushed by dependabot Bot
Failure dependabot/npm_and_yarn/vscode-extension/types/node-26.4.1
dependabot/npm_and_yarn/vscode-extension/types/node-26.4.1
Failure
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
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
Bump @types/node from 20.19.43 to 26.2.0 in /vscode-extension .github/workflows/lean4-ci.yml #9: Commit 5f82ff7 pushed by dependabot Bot
Failure dependabot/npm_and_yarn/vscode-extension/types/node-26.2.0
dependabot/npm_and_yarn/vscode-extension/types/node-26.2.0
Failure
Bump @types/node from 20.19.43 to 26.1.2 in /vscode-extension .github/workflows/lean4-ci.yml #8: Commit e1c5551 pushed by dependabot Bot
Failure dependabot/npm_and_yarn/vscode-extension/types/node-26.1.2
dependabot/npm_and_yarn/vscode-extension/types/node-26.1.2
Failure
Bump the development group across 1 directory with 13 updates .github/workflows/lean4-ci.yml #7: Commit 8a62dc5 pushed by dependabot Bot
Failure dependabot/npm_and_yarn/development-ed2f43526a
dependabot/npm_and_yarn/development-ed2f43526a
Failure
Bump the production group across 1 directory with 18 updates .github/workflows/lean4-ci.yml #6: Commit c89512e pushed by dependabot Bot
Failure dependabot/npm_and_yarn/production-183eb63c73
dependabot/npm_and_yarn/production-183eb63c73
Failure
Bump @types/node from 20.19.43 to 26.1.1 in /vscode-extension .github/workflows/lean4-ci.yml #5: Commit c65f129 pushed by dependabot Bot
Failure dependabot/npm_and_yarn/vscode-extension/types/node-26.1.1
dependabot/npm_and_yarn/vscode-extension/types/node-26.1.1
Failure
Bump typescript from 5.9.3 to 7.0.2 in /vscode-extension .github/workflows/lean4-ci.yml #4: Commit 735655b pushed by dependabot Bot
Failure dependabot/npm_and_yarn/vscode-extension/typescript-7.0.2
dependabot/npm_and_yarn/vscode-extension/typescript-7.0.2
Failure
Merge pull request #8 from SentinelOps-CI/remediation/audit-hardening .github/workflows/lean4-ci.yml #3: Commit cecc644 pushed by fraware
-1s main
main
-1s
Document audit remediation and refresh deploy configuration. .github/workflows/lean4-ci.yml #2: Commit 44a6a78 pushed by fraware
Failure remediation/audit-hardening
remediation/audit-hardening
Failure
Modernize SpecSync: TypeScript, CI, docs .github/workflows/lean4-ci.yml #1: Commit ef5f59f pushed by fraware
5h 28m 24s main
main
5h 28m 24s