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 }}
modularcloud
/
xspec
Public
Notifications
You must be signed in to change notification settings
Fork
0
Star
0
Code
Issues
0
Pull requests
2
Actions
Projects
Security and quality
0
Insights
Additional navigation options
Code
Issues
Pull requests
Actions
Projects
Security and quality
Insights
Actions: modularcloud/xspec
Actions
All workflows
Workflows
CI
CI
Release
Release
Show more workflows...
Management
Caches
All workflows
All workflows
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
Showing runs from all workflows
will be ignored since log searching is not yet available
677 workflow runs
677 workflow runs
Workflow
Filter by Workflow
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching workflows.
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.
sdg(phase-4): 6.5: judge a TypeScript source's prologue and statement…
CI
#672:
Commit
f31e100
pushed by
lzrscg
21m 22s
claude/xspec-ui-apis-4df8fa
claude/xspec-ui-apis-4df8fa
21m 22s
View #7
View workflow file
sdg(phase-6): log SPEC 6.5's undecided statement-end reading for adde…
CI
#671:
Commit
9992151
pushed by
lzrscg
20m 24s
claude/xspec-ui-apis-4df8fa
claude/xspec-ui-apis-4df8fa
20m 24s
View workflow file
sdg(phase-6): name every addition test in T6.5-22(a); align T6.5-10(c…
CI
#670:
Commit
b6633ea
pushed by
lzrscg
2m 19s
claude/xspec-ui-apis-4df8fa
claude/xspec-ui-apis-4df8fa
2m 19s
View workflow file
sdg(phase-6): extend S-9 to TypeScript fixtures under 14.20's 5.9.3 p…
CI
#669:
Commit
99c858e
pushed by
lzrscg
2m 13s
claude/xspec-ui-apis-4df8fa
claude/xspec-ui-apis-4df8fa
2m 13s
View workflow file
sdg(phase-6): test 6.5's TypeScript placement and timeliness; pin the…
CI
#668:
Commit
4772637
pushed by
lzrscg
46s
claude/xspec-ui-apis-4df8fa
claude/xspec-ui-apis-4df8fa
46s
View workflow file
sdg(phase-6): test 6.5's barred and captured names for added imports …
CI
#667:
Commit
86c1e0e
pushed by
lzrscg
6m 22s
claude/xspec-ui-apis-4df8fa
claude/xspec-ui-apis-4df8fa
6m 22s
View workflow file
sdg(phase-6): test 6.5's derived-path destination refusals and refuse…
CI
#666:
Commit
ff3d902
pushed by
lzrscg
2m 10s
claude/xspec-ui-apis-4df8fa
claude/xspec-ui-apis-4df8fa
2m 10s
View workflow file
sdg(phase-6): test 14.22's second relation, rebuild-obstructing orpha…
CI
#665:
Commit
779dbb6
pushed by
lzrscg
2m 8s
claude/xspec-ui-apis-4df8fa
claude/xspec-ui-apis-4df8fa
2m 8s
View workflow file
sdg(phase-6): test 7.1's spec-path character bar, its move refusal, a…
CI
#664:
Commit
6b01b13
pushed by
lzrscg
2m 1s
claude/xspec-ui-apis-4df8fa
claude/xspec-ui-apis-4df8fa
2m 1s
View workflow file
sdg(phase-6): test using declarations, every module-linking form, con…
CI
#663:
Commit
11d1d8e
pushed by
lzrscg
1m 4s
claude/xspec-ui-apis-4df8fa
claude/xspec-ui-apis-4df8fa
1m 4s
View workflow file
sdg(phase-6): bar U+2028/U+2029 in segment and tag tests; test 1.4's …
CI
#662:
Commit
2c22d08
pushed by
lzrscg
2m 52s
claude/xspec-ui-apis-4df8fa
claude/xspec-ui-apis-4df8fa
2m 52s
View workflow file
sdg(phase-4): match a JSX pragma's name regardless of ASCII case in 6…
CI
#661:
Commit
a63ce11
pushed by
lzrscg
21m 8s
claude/xspec-ui-apis-4df8fa
claude/xspec-ui-apis-4df8fa
21m 8s
View workflow file
sdg(phase-4): root TypeScript spellings only at timely bindings; bar …
CI
#660:
Commit
fc64d26
pushed by
lzrscg
20m 29s
claude/xspec-ui-apis-4df8fa
claude/xspec-ui-apis-4df8fa
20m 29s
View workflow file
sdg(phase-4): bar names TypeScript's compilation reserves, declares, …
CI
#659:
Commit
90e7e59
pushed by
lzrscg
16m 17s
claude/xspec-ui-apis-4df8fa
claude/xspec-ui-apis-4df8fa
16m 17s
View workflow file
sdg(phase-4): added imports bind only strict-module names and follow …
CI
#658:
Commit
06a48c3
pushed by
lzrscg
21m 31s
claude/xspec-ui-apis-4df8fa
claude/xspec-ui-apis-4df8fa
21m 31s
View workflow file
sdg(phase-4): count using declarations as variable declarations; bar …
CI
#657:
Commit
26e29fe
pushed by
lzrscg
22m 13s
claude/xspec-ui-apis-4df8fa
claude/xspec-ui-apis-4df8fa
22m 13s
View workflow file
sdg(phase-4): bound an added import's identifier and offset so it cap…
CI
#656:
Commit
e22816c
pushed by
lzrscg
1m 51s
claude/xspec-ui-apis-4df8fa
claude/xspec-ui-apis-4df8fa
1m 51s
View workflow file
sdg(phase-4): pin 14.20's TypeScript grammar at release 5.9.3; restat…
CI
#655:
Commit
19ebd8e
pushed by
lzrscg
15m 53s
claude/xspec-ui-apis-4df8fa
claude/xspec-ui-apis-4df8fa
15m 53s
View workflow file
sdg(phase-4): fix TypeScript's language level, define valid TypeScrip…
CI
#654:
Commit
a190dd3
pushed by
lzrscg
20m 43s
claude/xspec-ui-apis-4df8fa
claude/xspec-ui-apis-4df8fa
20m 43s
View workflow file
sdg(phase-4): close round 5 of the SPEC-PROBLEMS refinement (applied …
CI
#653:
Commit
f9fb8ab
pushed by
lzrscg
19m 51s
claude/xspec-ui-apis-4df8fa
claude/xspec-ui-apis-4df8fa
19m 51s
View workflow file
sdg(phase-4): close round 4 of the SPEC-PROBLEMS refinement (applied …
CI
#652:
Commit
cbf6907
pushed by
lzrscg
20m 56s
claude/xspec-ui-apis-4df8fa
claude/xspec-ui-apis-4df8fa
20m 56s
View workflow file
sdg(phase-4): close round 3 of the SPEC-PROBLEMS refinement (applied …
CI
#651:
Commit
f275680
pushed by
lzrscg
21m 46s
claude/xspec-ui-apis-4df8fa
claude/xspec-ui-apis-4df8fa
21m 46s
View workflow file
sdg(phase-4): close round 2 of the SPEC-PROBLEMS refinement (applied …
CI
#650:
Commit
7f04726
pushed by
lzrscg
16m 4s
claude/xspec-ui-apis-4df8fa
claude/xspec-ui-apis-4df8fa
16m 4s
View workflow file
sdg(phase-4): name string-named module declarations exactly (C4 follo…
CI
#649:
Commit
e1d93c4
pushed by
lzrscg
18m 47s
claude/xspec-ui-apis-4df8fa
claude/xspec-ui-apis-4df8fa
18m 47s
View workflow file
sdg(phase-4): render 6.5's refusal conditions as a list, one reason e…
CI
#648:
Commit
9e69f87
pushed by
lzrscg
1m 34s
claude/xspec-ui-apis-4df8fa
claude/xspec-ui-apis-4df8fa
1m 34s
View workflow file
Previous
1
2
3
4
5
…
27
28
Next
You can’t perform that action at this time.