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
Accelerator
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
Type
/
to 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 }}
Uh oh!
There was an error while loading.
Please reload this page
.
sunholo-data
/
ailang
Public
Notifications
You must be signed in to change notification settings
Fork
5
Star
33
Code
Issues
68
Pull requests
3
Actions
Projects
Security and quality
0
Insights
Additional navigation options
Code
Issues
Pull requests
Actions
Projects
Security and quality
Insights
Actions: sunholo-data/ailang
Actions
All workflows
Workflows
Build and Release
Build and Release
CI
CI
Release
Release
AI Evaluation Benchmarks
AI Evaluation Benchmarks
CodeQL
CodeQL
Dashboard UI Build
Dashboard UI Build
Dependabot auto-merge
Dependabot auto-merge
Dependabot Updates
Dependabot Updates
Dependency Graph
Dependency Graph
Deploy Documentation to GitHub Pages
Deploy Documentation to GitHub Pages
Show more workflows...
Management
Caches
Deployments
Deploy Documentation to GitHub Pages
Deploy Documentation to GitHub Pages
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
.
docusaurus-deploy.yml
will be ignored since log searching is not yet available
2,333 workflow runs
2,333 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.
fix(mission-control): namespace the designer-rotation state key — one file was shared by every mission
Deploy Documentation to GitHub Pages
#2333:
Pull request
#686
opened by
sunholo-voight-kampff
30s
sprint/iter188-designer-rotation-namespace
sprint/iter188-designer-rotation-namespace
30s
View #686
View workflow file
docs(#558): m-driver-pin-rollout — gate discharged, doc designed, PARKED at the quorum gate (D-13)
Deploy Documentation to GitHub Pages
#2332:
Pull request
#685
opened by
sunholo-voight-kampff
27s
sprint/iter188-driver-pin-rollout-doc
sprint/iter188-driver-pin-rollout-doc
27s
View #685
View workflow file
fix(#505): fixed-length list patterns must match exactly n under --by…
Deploy Documentation to GitHub Pages
#2331:
Commit
0625059
pushed by
sunholo-voight-kampff
10m 55s
dev
dev
10m 55s
View workflow file
fix(#505): fixed-length list patterns must match exactly n under --bytecode
Deploy Documentation to GitHub Pages
#2330:
Pull request
#684
opened by
sunholo-voight-kampff
10m 48s
sprint/iter187-bytecode-pattern-arity
sprint/iter187-bytecode-pattern-arity
10m 48s
View #684
View workflow file
docs(mission): iteration 186 — #617 M4 landed and #617 is complete, and the plan's Core shape would have shipped a detector that never fires
Deploy Documentation to GitHub Pages
#2329:
Pull request
#682
synchronize by
sunholo-voight-kampff
2m 4s
mission/iter186-record
mission/iter186-record
2m 4s
View #682
View workflow file
docs(mission): iteration 186 — #617 M4 landed and #617 is complete, and the plan's Core shape would have shipped a detector that never fires
Deploy Documentation to GitHub Pages
#2328:
Pull request
#682
synchronize by
sunholo-voight-kampff
23s
mission/iter186-record
mission/iter186-record
23s
View #682
View workflow file
docs(mission): iteration 186 — #617 M4 landed and #617 is complete, and the plan's Core shape would have shipped a detector that never fires
Deploy Documentation to GitHub Pages
#2327:
Pull request
#682
synchronize by
sunholo-voight-kampff
2m 18s
mission/iter186-record
mission/iter186-record
2m 18s
View #682
View workflow file
docs(mission): iteration 186 — #617 M4 landed and #617 is complete, and the plan's Core shape would have shipped a detector that never fires
Deploy Documentation to GitHub Pages
#2326:
Pull request
#682
synchronize by
sunholo-voight-kampff
25s
mission/iter186-record
mission/iter186-record
25s
View #682
View workflow file
docs(mission): iteration 186 — #617 M4 landed and #617 is complete, and the plan's Core shape would have shipped a detector that never fires
Deploy Documentation to GitHub Pages
#2325:
Pull request
#682
synchronize by
sunholo-voight-kampff
24s
mission/iter186-record
mission/iter186-record
24s
View #682
View workflow file
docs(mission): iteration 186 — #617 M4 landed and #617 is complete, and the plan's Core shape would have shipped a detector that never fires
Deploy Documentation to GitHub Pages
#2324:
Pull request
#682
opened by
sunholo-voight-kampff
24s
mission/iter186-record
mission/iter186-record
24s
View #682
View workflow file
#617 M4: the LIST_TAKE_AFTER_FLATMAP note — the plan's Core shape wou…
Deploy Documentation to GitHub Pages
#2323:
Commit
905722f
pushed by
sunholo-voight-kampff
12m 53s
dev
dev
12m 53s
View workflow file
#617 M4: the LIST_TAKE_AFTER_FLATMAP note — the plan's Core shape would have shipped a detector that never fires
Deploy Documentation to GitHub Pages
#2322:
Pull request
#681
synchronize by
sunholo-voight-kampff
10m 52s
sprint/iter186-617-m4
sprint/iter186-617-m4
10m 52s
View #681
View workflow file
#617 M4: the LIST_TAKE_AFTER_FLATMAP note — the plan's Core shape would have shipped a detector that never fires
Deploy Documentation to GitHub Pages
#2321:
Pull request
#681
opened by
sunholo-voight-kampff
10m 58s
sprint/iter186-617-m4
sprint/iter186-617-m4
10m 58s
View #681
View workflow file
docs(mission): iteration 185 — #617 M3 landed, and the slot before mine died with a clean rc=0
Deploy Documentation to GitHub Pages
#2320:
Pull request
#677
opened by
sunholo-voight-kampff
2m 6s
mission/iter185-records
mission/iter185-records
2m 6s
View #677
View workflow file
#617 M3: teach the strict take-after-flatMap trap — limitations, prom…
Deploy Documentation to GitHub Pages
#2319:
Commit
ebbc5a7
pushed by
sunholo-voight-kampff
11m 22s
dev
dev
11m 22s
View workflow file
#617 M3: teach the strict take-after-flatMap trap — limitations, prompt v0.16.6, footgun row, changelog
Deploy Documentation to GitHub Pages
#2318:
Pull request
#675
opened by
sunholo-voight-kampff
12m 35s
sprint/iter185-617-m3-teach
sprint/iter185-617-m3-teach
12m 35s
View #675
View workflow file
fix(driver): the onboarding gate checked the wrong path — a worktree inherits its clone (#558)
Deploy Documentation to GitHub Pages
#2317:
Pull request
#674
opened by
sunholo-voight-kampff
28s
fix/pin-onboarding-predicate
fix/pin-onboarding-predicate
28s
View #674
View workflow file
docs(mission): iteration 183 record — #617 M2 landed, and its behavioural pin had no CI gate
Deploy Documentation to GitHub Pages
#2316:
Pull request
#673
opened by
sunholo-voight-kampff
29s
mission/iter183-record
mission/iter183-record
29s
View #673
View workflow file
docs(mission): correct V22 — either trust flag suffices; my "onboardi…
Deploy Documentation to GitHub Pages
#2315:
Commit
29079ff
pushed by
sunholo-voight-kampff
14m 59s
dev
dev
14m 59s
View workflow file
#617 M2: expose takeFlatMap/takeMap on std/list, and give the .ail suites a CI gate they never had
Deploy Documentation to GitHub Pages
#2314:
Pull request
#668
opened by
sunholo-voight-kampff
35s
sprint/iter183-take-flatmap-m2
sprint/iter183-take-flatmap-m2
35s
View #668
View workflow file
fix(driver): the pin would have walked every fire into a probe-hang — gate on onboarding (#558)
Deploy Documentation to GitHub Pages
#2313:
Pull request
#667
opened by
sunholo-voight-kampff
27s
fix/driver-pin-onboarding-guard
fix/driver-pin-onboarding-guard
27s
View #667
View workflow file
docs(mission): a NEW checkout must be opened in Claude Code once, or …
Deploy Documentation to GitHub Pages
#2312:
Commit
76ee405
pushed by
sunholo-voight-kampff
10m 50s
dev
dev
10m 50s
View workflow file
fix(driver): pin launchd drivers to committed code, and make an unpinned fire LOUD (#558)
Deploy Documentation to GitHub Pages
#2311:
Pull request
#666
synchronize by
sunholo-voight-kampff
35s
fix/driver-pin-root
fix/driver-pin-root
35s
View #666
View workflow file
fix(driver): pin launchd drivers to committed code, and make an unpinned fire LOUD (#558)
Deploy Documentation to GitHub Pages
#2310:
Pull request
#666
synchronize by
sunholo-voight-kampff
30s
fix/driver-pin-root
fix/driver-pin-root
30s
View #666
View workflow file
fix(driver): pin launchd drivers to committed code, and make an unpinned fire LOUD (#558)
Deploy Documentation to GitHub Pages
#2309:
Pull request
#666
opened by
sunholo-voight-kampff
33s
fix/driver-pin-root
fix/driver-pin-root
33s
View #666
View workflow file
Previous
1
2
3
4
5
…
93
94
Next
You can’t perform that action at this time.