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 }}
deeplethe
/
utopia
Public
Notifications
You must be signed in to change notification settings
Fork
1.1k
Star
10.1k
Code
Issues
31
Pull requests
5
Discussions
Actions
Projects
Security and quality
0
Insights
Additional navigation options
Code
Issues
Pull requests
Discussions
Actions
Projects
Security and quality
Insights
Actions: deeplethe/utopia
Actions
All workflows
Workflows
Aletheia contract label
Aletheia contract label
CI
CI
Dependabot Updates
Dependabot Updates
Dependency Graph
Dependency Graph
Release
Release
Star History
Star History
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
2,068 workflow runs
2,068 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.
Materialization reconciles the rows it writes, and a version keeps the date it was pushed with
CI
#2001:
Pull request
#911
synchronize by
WaylandYang
In progress
fix/timeline-reconcile-899-900
fix/timeline-reconcile-899-900
In progress
View #911
View workflow file
A rule's definition has a history, and a conclusion names the version…
CI
#2000:
Commit
a656cb0
pushed by
WaylandYang
3m 43s
dev
dev
3m 43s
View workflow file
A rule's definition has a history, and a conclusion names the version it was drawn under
CI
#1999:
Pull request
#913
opened by
WaylandYang
3m 20s
feat/rule-versions
feat/rule-versions
3m 20s
View #913
View workflow file
Materialization reconciles the rows it writes, and a version keeps the date it was pushed with
CI
#1998:
Pull request
#911
opened by
WaylandYang
2m 42s
fix/timeline-reconcile-899-900
fix/timeline-reconcile-899-900
2m 42s
View #911
View workflow file
Star History
Star History
#47:
Scheduled
1m 0s
dev
dev
1m 0s
View workflow file
Export says which family a rule belongs to, and an axiom rule its kin…
CI
#1997:
Commit
8857be5
pushed by
WaylandYang
3m 46s
dev
dev
3m 46s
View workflow file
Export says which family a rule belongs to, and an axiom rule its kind and declaring predicate
CI
#1996:
Pull request
#910
opened by
WaylandYang
3m 42s
feat/rule-export-family-and-kind
feat/rule-export-family-and-kind
3m 42s
View #910
View workflow file
Let business rules join entities and conclude relations (#861)
CI
#1995:
Commit
535aac0
pushed by
WaylandYang
3m 28s
dev
dev
3m 28s
View workflow file
Let business rules join entities and conclude relations
CI
#1994:
Pull request
#861
synchronize by
WaylandYang
2m 46s
iuiu-py:feat/rule-entity-join
iuiu-py:feat/rule-entity-join
2m 46s
View #861
View workflow file
Let business rules join entities and conclude relations
CI
#1993:
Pull request
#861
synchronize by
WaylandYang
3m 21s
iuiu-py:feat/rule-entity-join
iuiu-py:feat/rule-entity-join
3m 21s
View #861
View workflow file
Let a source push statements in the open contract (#884)
CI
#1992:
Commit
22c21ea
pushed by
WaylandYang
3m 25s
dev
dev
3m 25s
View workflow file
Let a source push statements in the open contract
CI
#1991:
Pull request
#884
synchronize by
WaylandYang
3m 38s
feat/statements-source
feat/statements-source
3m 38s
View #884
View workflow file
Give the weekly Trendshift badge a fresh URL so GitHub's image proxy …
CI
#1990:
Commit
a98ef16
pushed by
WaylandYang
3m 21s
dev
dev
3m 21s
View workflow file
Give the weekly Trendshift badge a fresh URL so GitHub's image proxy refetches it
CI
#1989:
Pull request
#909
opened by
WaylandYang
3m 37s
docs/readme-weekly-badge
docs/readme-weekly-badge
3m 37s
View #909
View workflow file
test(alerts): lock the role rank order across rank(), PartialOrd, and…
CI
#1988:
Commit
6dda0b1
pushed by
WaylandYang
3m 26s
dev
dev
3m 26s
View workflow file
test(alerts): lock the role rank order across rank(), PartialOrd, and VISIBLE
CI
#1987:
Pull request
#907
synchronize by
WaylandYang
2m 54s
rollroyces:test/alert-role-rank-drift-guard
rollroyces:test/alert-role-rank-drift-guard
2m 54s
View #907
View workflow file
Verify plan conclusions follow changed premises without disturbing un…
CI
#1986:
Commit
992423e
pushed by
WaylandYang
2m 49s
dev
dev
2m 49s
View workflow file
Verify derived plan steps follow changes to their premises
CI
#1985:
Pull request
#898
synchronize by
WaylandYang
3m 21s
Maya-Kid:test/premise-replay
Maya-Kid:test/premise-replay
3m 21s
View #898
View workflow file
fix(chat): emit one earned terminal per turn (#903)
CI
#1984:
Commit
f4ea6a8
pushed by
WaylandYang
4m 5s
dev
dev
4m 5s
View workflow file
fix(chat): emit one earned terminal per turn
CI
#1983:
Pull request
#903
synchronize by
WaylandYang
3m 38s
Floating-Y:fix/issue-857-earned-terminal
Floating-Y:fix/issue-857-earned-terminal
3m 38s
View #903
View workflow file
fix(rdf): resolve object_value text robustly; emit no rdf:object when…
CI
#1982:
Commit
bdb2466
pushed by
WaylandYang
3m 18s
dev
dev
3m 18s
View workflow file
Verify derived plan steps follow changes to their premises
CI
#1981:
Pull request
#898
synchronize by
WaylandYang
3m 27s
Maya-Kid:test/premise-replay
Maya-Kid:test/premise-replay
3m 27s
View #898
View workflow file
fix(rdf): resolve object_value text robustly; emit no rdf:object when literal cannot be parsed (#831)
CI
#1980:
Pull request
#865
synchronize by
WaylandYang
3m 33s
rollroyces:fix/rdf-literal-text-resolution
rollroyces:fix/rdf-literal-text-resolution
3m 33s
View #865
View workflow file
fix(server): index mcp.md in the chat-searchable docs corpus (#905)
CI
#1979:
Commit
0243cf2
pushed by
WaylandYang
3m 32s
dev
dev
3m 32s
View workflow file
Verify derived plan steps follow changes to their premises
CI
#1978:
Pull request
#898
synchronize by
WaylandYang
3m 14s
Maya-Kid:test/premise-replay
Maya-Kid:test/premise-replay
3m 14s
View #898
View workflow file
Previous
1
2
3
4
5
…
82
83
Next
You can’t perform that action at this time.