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 }}
gHashTag
trios
Repository navigation
Code
Issues
111
(111)
Pull requests
17
(17)
Actions
Projects
Security and quality
Insights
More
items
Actions: gHashTag/trios
Actions
All workflows
Workflows
Actor simulation
Actor simulation
arch-guard
arch-guard
CI
CI
Closure Gate (#446 — 312/312)
Closure Gate (#446 — 312/312)
Code Quality
Code Quality
Context Guard
Context Guard
Coq Invariant Check (L-R14)
Coq Invariant Check (L-R14)
Coq Proofs (L-R14)
Coq Proofs (L-R14)
IGLA Anti-Ban Audit
IGLA Anti-Ban Audit
Laws Guard
Laws Guard
Show more workflows...
Management
Caches
Deployments
Lockfile
Code Quality
Code Quality
Actions
Loading...
Loading
Sorry, something went wrong.
Uh oh!
There was an error while loading.
Please reload this page
.
will be ignored since log searching is not yet available
Show workflow options
Create status badge
Create status badge
Loading
Uh oh!
There was an error while loading.
Please reload this page
.
will be ignored since log searching is not yet available
347 workflow runs
347 workflow runs
Event
Filter by Event
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching events.
Status
Filter by Status
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching statuses.
Branch
Filter by Branch
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching branches.
Actor
Filter by Actor
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching users.
test(agent): pin the agent container terminal - AgentTerminal (Closes #1692)
Code Quality
#347:
Pull request
#1972
opened by
dmitrii-f-t27
59s
zcode-mbp/tests-1692-agent-terminal
zcode-mbp/tests-1692-agent-terminal
59s
View #1972
View workflow file
Merge pull request #1971 from gHashTag/zcode-mbp/tests-1836-agent-act…
Code Quality
#346:
Commit
b4db71d
pushed by
dmitrii-f-t27
55s
queen
queen
55s
View workflow file
test(agent): pin the agent row actions - AgentActions (Closes #1836)
Code Quality
#345:
Pull request
#1971
opened by
dmitrii-f-t27
1m 20s
zcode-mbp/tests-1836-agent-actions
zcode-mbp/tests-1836-agent-actions
1m 20s
View #1971
View workflow file
Merge pull request #1970 from gHashTag/zcode-mbp/tests-1544-new-agent…
Code Quality
#344:
Commit
0606407
pushed by
dmitrii-f-t27
1m 6s
queen
queen
1m 6s
View workflow file
test(agent): pin the new-agent dialog - NewAgentDialog (Closes #1544)
Code Quality
#343:
Pull request
#1970
opened by
dmitrii-f-t27
55s
zcode-mbp/tests-1544-new-agent-dialog
zcode-mbp/tests-1544-new-agent-dialog
55s
View #1970
View workflow file
Merge pull request #1969 from gHashTag/zcode-mbp/tests-1543-file-prev…
Code Quality
#342:
Commit
d2b50b7
pushed by
dmitrii-f-t27
1m 4s
queen
queen
1m 4s
View workflow file
test(agent): pin the file preview sheet - FilePreviewSheet (Closes #1543)
Code Quality
#341:
Pull request
#1969
opened by
dmitrii-f-t27
49s
zcode-mbp/tests-1543-file-preview-sheet
zcode-mbp/tests-1543-file-preview-sheet
49s
View #1969
View workflow file
Merge pull request #1968 from gHashTag/zcode-mbp/tests-1542-step-one
Code Quality
#340:
Commit
200b33d
pushed by
dmitrii-f-t27
59s
queen
queen
59s
View workflow file
test(agent): pin the first onboarding step - StepOne (Closes #1542)
Code Quality
#339:
Pull request
#1968
opened by
dmitrii-f-t27
47s
zcode-mbp/tests-1542-step-one
zcode-mbp/tests-1542-step-one
47s
View #1968
View workflow file
Merge pull request #1967 from gHashTag/zcode-mbp/tests-1536-app-selector
Code Quality
#338:
Commit
2b6b789
pushed by
dmitrii-f-t27
1m 5s
queen
queen
1m 5s
View workflow file
test(agent): pin the app selector - AppSelector (Closes #1536)
Code Quality
#337:
Pull request
#1967
synchronize by
dmitrii-f-t27
1m 8s
zcode-mbp/tests-1536-app-selector
zcode-mbp/tests-1536-app-selector
1m 8s
View #1967
View workflow file
test(agent): pin the app selector - AppSelector (Closes #1536)
Code Quality
#336:
Pull request
#1967
synchronize by
dmitrii-f-t27
56s
zcode-mbp/tests-1536-app-selector
zcode-mbp/tests-1536-app-selector
56s
View #1967
View workflow file
test(agent): pin the app selector - AppSelector (Closes #1536)
Code Quality
#335:
Pull request
#1967
opened by
dmitrii-f-t27
56s
zcode-mbp/tests-1536-app-selector
zcode-mbp/tests-1536-app-selector
56s
View #1967
View workflow file
Merge pull request #1966 from gHashTag/zcode-mbp/tests-1535-tab-picker
Code Quality
#334:
Commit
e7a50a0
pushed by
dmitrii-f-t27
1m 0s
queen
queen
1m 0s
View workflow file
test(agent): pin the tab picker popover - TabPickerPopover (Closes #1535)
Code Quality
#333:
Pull request
#1966
opened by
dmitrii-f-t27
1m 5s
zcode-mbp/tests-1535-tab-picker
zcode-mbp/tests-1535-tab-picker
1m 5s
View #1966
View workflow file
Merge pull request #1965 from gHashTag/zcode-mbp/tests-1529-server-se…
Code Quality
#332:
Commit
25b90e0
pushed by
dmitrii-f-t27
1m 4s
queen
queen
1m 4s
View workflow file
test(agent): pin the MCP server settings card - ServerSettingsCard (Closes #1529)
Code Quality
#331:
Pull request
#1965
opened by
dmitrii-f-t27
1m 1s
zcode-mbp/tests-1529-server-settings-card
zcode-mbp/tests-1529-server-settings-card
1m 1s
View #1965
View workflow file
Merge pull request #1964 from gHashTag/zcode-mbp/tests-1528-onboardin…
Code Quality
#330:
Commit
41bedfa
pushed by
dmitrii-f-t27
49s
queen
queen
49s
View workflow file
test(agent): pin the onboarding demo - OnboardingDemo (Closes #1528)
Code Quality
#329:
Pull request
#1964
opened by
dmitrii-f-t27
56s
zcode-mbp/tests-1528-onboarding-demo
zcode-mbp/tests-1528-onboarding-demo
56s
View #1964
View workflow file
Merge pull request #1963 from gHashTag/zcode-mbp/tests-1519-connect-mcp
Code Quality
#328:
Commit
ac81d73
pushed by
dmitrii-f-t27
1m 3s
queen
queen
1m 3s
View workflow file
test(agent): pin the connect-MCP page - ConnectMCP (Closes #1519)
Code Quality
#327:
Pull request
#1963
opened by
dmitrii-f-t27
1m 3s
zcode-mbp/tests-1519-connect-mcp
zcode-mbp/tests-1519-connect-mcp
1m 3s
View #1963
View workflow file
Merge pull request #1962 from gHashTag/zcode-mbp/tests-1507-features
Code Quality
#326:
Commit
d4ea327
pushed by
dmitrii-f-t27
1m 6s
queen
queen
1m 6s
View workflow file
test(agent): pin the onboarding features page - FeaturesPage (Closes #1507)
Code Quality
#325:
Pull request
#1962
opened by
dmitrii-f-t27
50s
zcode-mbp/tests-1507-features
zcode-mbp/tests-1507-features
50s
View #1962
View workflow file
Merge pull request #1961 from gHashTag/zcode-mbp/tests-1506-chat-input
Code Quality
#324:
Commit
e3f133f
pushed by
dmitrii-f-t27
1m 1s
queen
queen
1m 1s
View workflow file
test(agent): pin the sidepanel chat input - ChatInput (Closes #1506)
Code Quality
#323:
Pull request
#1961
opened by
dmitrii-f-t27
1m 5s
zcode-mbp/tests-1506-chat-input
zcode-mbp/tests-1506-chat-input
1m 5s
View #1961
View workflow file
Previous
1
2
3
4
5
…
13
14
Next
You can’t perform that action at this time.