Skip to content
Navigation Menu
Sign in
Appearance settings
Platform
AI CODE CREATION
GitHub Copilot
Write better code with AI
GitHub Copilot app
Direct agents from issue to merge
MCP Registry
Integrate external tools
DEVELOPER WORKFLOWS
Actions
Automate any workflow
Codespaces
Instant dev environments
Issues
Plan and track work
Code Review
Manage code changes
Code Quality
Enforce quality at merge
APPLICATION SECURITY
GitHub Advanced Security
Find and fix vulnerabilities
Code security
Secure your code as you build
Secret protection
Stop leaks before they start
EXPLORE
Why GitHub
Documentation
Blog
Changelog
Marketplace
View all features
Solutions
BY COMPANY SIZE
Enterprises
Small and medium teams
Startups
Nonprofits
BY USE CASE
App Modernization
DevSecOps
DevOps
CI/CD
View all use cases
BY INDUSTRY
Healthcare
Financial services
Manufacturing
Government
View all industries
View all solutions
Resources
EXPLORE BY TOPIC
AI
Software Development
DevOps
Security
View all topics
EXPLORE BY TYPE
Customer stories
Events & webinars
Ebooks & reports
Business insights
GitHub Skills
SUPPORT & SERVICES
Documentation
Customer support
Community forum
Trust center
Partners
View all resources
Open Source
COMMUNITY
GitHub Sponsors
Fund open source developers
PROGRAMS
Security Lab
Maintainer Community
GitHub Stars
Archive Program
REPOSITORIES
Topics
Trending
Collections
Enterprise
ENTERPRISE SOLUTIONS
Enterprise platform
AI-powered developer platform
AVAILABLE ADD-ONS
GitHub Advanced Security
Enterprise-grade security features
Copilot for Business
Enterprise-grade AI features
Premium Support
Enterprise-grade 24/7 support
Pricing
Search
/
Sign in
Sign up
Appearance settings
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
You switched accounts on another tab or window.
Reload
to refresh your session.
Dismiss alert
{{ message }}
typecheck
typecheck.yml
Workflow options
More workflow actions
Filter workflow runs
Search
Workflow runs for typecheck
23 workflow runs
Auto-refresh: 30s
Event
Status
Branch
Actor
More items
chore: add dist-v2/ to gitignore
cancelled:
typecheck
#30:
Commit
419f24d
pushed
by
RobertWsp
dev
Apr 14, 2026
1d 0h 0m 2s
More actions for workflow run 30
fix(session): tolerant tool name repair with mcp__server__ prefix strip
cancelled:
typecheck
#29:
Commit
f390592
pushed
by
RobertWsp
dev
Apr 14, 2026
1d 0h 0m 2s
More actions for workflow run 29
fix(session): actively rewrite confabulated assistant text on text-end
cancelled:
typecheck
#28:
Commit
463541a
pushed
by
RobertWsp
dev
Apr 14, 2026
1d 0h 0m 2s
More actions for workflow run 28
fix(session): treat HTTP 400 "out of extra usage" as account exhaustion
cancelled:
typecheck
#27:
Commit
297575f
pushed
by
RobertWsp
dev
Apr 14, 2026
1d 0h 0m 1s
More actions for workflow run 27
fix(session): treat "long context" 429 as context overflow for auto-c…
cancelled:
typecheck
#26:
Commit
8d05856
pushed
by
RobertWsp
dev
Mar 20, 2026
1d 0h 0m 2s
More actions for workflow run 26
fix(plugin): disable context-1m by default — account rejects it even …
cancelled:
typecheck
#25:
Commit
af8399f
pushed
by
RobertWsp
dev
Mar 20, 2026
1d 0h 0m 1s
More actions for workflow run 25
fix(plugin): enable context-1m by default for 4.6 models, opt-out via…
cancelled:
typecheck
#24:
Commit
e22b3cd
pushed
by
RobertWsp
dev
Mar 20, 2026
1d 0h 0m 2s
More actions for workflow run 24
fix(plugin): make context-1m opt-in via ANTHROPIC_1M_CONTEXT env var
cancelled:
typecheck
#23:
Commit
d9d77b1
pushed
by
RobertWsp
dev
Mar 20, 2026
1d 0h 0m 1s
More actions for workflow run 23
fix(plugin): remove context-1m beta header — requires Extra Usage bil…
cancelled:
typecheck
#22:
Commit
0c5c116
pushed
by
RobertWsp
dev
Mar 20, 2026
1d 0h 0m 2s
More actions for workflow run 22
fix(plugin): match Claude Code 2.1.80 exact headers from network capture
cancelled:
typecheck
#21:
Commit
3bdf247
pushed
by
RobertWsp
dev
Mar 20, 2026
1d 0h 0m 2s
More actions for workflow run 21
fix(plugin): migrate OAuth endpoints from console.anthropic.com to pl…
cancelled:
typecheck
#20:
Commit
73e2e11
pushed
by
RobertWsp
dev
Mar 20, 2026
1d 0h 0m 2s
More actions for workflow run 20
feat(plugin): add billing header to system prompt for Claude 4+ model…
cancelled:
typecheck
#19:
Commit
56f81e6
pushed
by
RobertWsp
dev
Mar 20, 2026
1d 0h 0m 2s
More actions for workflow run 19
fix(plugin): use claude-cli UA for OAuth token endpoints instead of '…
cancelled:
typecheck
#18:
Commit
d76d1e3
pushed
by
RobertWsp
dev
Mar 20, 2026
1d 0h 0m 2s
More actions for workflow run 18
fix(plugin): correct interleaved-thinking beta header date to 2025-05-14
cancelled:
typecheck
#17:
Commit
100345c
pushed
by
RobertWsp
dev
Mar 20, 2026
1d 0h 0m 2s
More actions for workflow run 17
feat(tool): integrate bash safety classification into command execution
cancelled:
typecheck
#16:
Commit
728b890
pushed
by
RobertWsp
dev
Mar 20, 2026
1d 0h 0m 2s
More actions for workflow run 16
fix(provider): re-enable disabled accounts on manual switch and persi…
cancelled:
typecheck
#15:
Commit
d1c506a
pushed
by
RobertWsp
dev
Mar 17, 2026
1d 0h 0m 3s
More actions for workflow run 15
merge: sync with upstream/dev
cancelled:
typecheck
#14:
Commit
1dbb64c
pushed
by
RobertWsp
dev
Mar 6, 2026
1d 0h 0m 2s
More actions for workflow run 14
Merge pull request #7 from 477174/fix/wsl-clipboard-image-paste
cancelled:
typecheck
#13:
Commit
f51102f
pushed
by
RobertWsp
dev
Mar 5, 2026
1d 0h 0m 1s
More actions for workflow run 13
Merge pull request #6 from 477174/fix/wsl-file-drag-and-drop
cancelled:
typecheck
#12:
Commit
787a22b
pushed
by
RobertWsp
dev
Mar 5, 2026
1d 0h 0m 2s
More actions for workflow run 12
fix(tui): make MCP toggle restart connected servers instead of just d…
cancelled:
typecheck
#4:
Commit
aa103e1
pushed
by
RobertWsp
dev
Feb 25, 2026
1d 0h 0m 2s
More actions for workflow run 4
fix(tui): use text/plain mime for pasted files and resolve paths agai…
cancelled:
typecheck
#3:
Commit
4ec96c1
pushed
by
RobertWsp
dev
Feb 25, 2026
1d 0h 0m 2s
More actions for workflow run 3
feat(tui): add account status sidebar, management dialogs, and cross-…
cancelled:
typecheck
#2:
Commit
d990ff1
pushed
by
RobertWsp
dev
Feb 25, 2026
1d 0h 0m 2s
More actions for workflow run 2
chore: remove .sisyphus from tracking and add to .gitignore
cancelled:
typecheck
#1:
Commit
c72b5a7
pushed
by
RobertWsp
dev
Feb 23, 2026
1d 0h 0m 2s
More actions for workflow run 1
You can’t perform that action at this time.