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 }}
eric-vergo
/
Showcase
Public
forked from
leanprover/verso-blueprint
Notifications
You must be signed in to change notification settings
Fork
0
Star
0
Code
Pull requests
0
Actions
Projects
Security and quality
0
Insights
Additional navigation options
Code
Pull requests
Actions
Projects
Security and quality
Insights
Actions: eric-vergo/Showcase
Actions
All workflows
Workflows
Blueprint Deploy
Blueprint Deploy
Blueprint Verify
Blueprint Verify
CI
CI
Dependency Graph
Dependency Graph
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
23 workflow runs
23 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.
ci: pass --required-file in the = form — a path may start with a dash
CI
#22:
Commit
97637a6
pushed by
eric-vergo
13m 16s
blueprint
blueprint
13m 16s
View workflow file
Merge s1-gates: one-implementation CX-066 gate over HTML too, bootstr…
CI
#21:
Commit
5e3344e
pushed by
eric-vergo
8m 14s
blueprint
blueprint
8m 14s
View workflow file
Merge ci-standard: the reusable blueprint-verify / blueprint-deploy w…
CI
#20:
Commit
6dd4a5f
pushed by
eric-vergo
10m 18s
blueprint
blueprint
10m 18s
View workflow file
scale: a page policy, complete-only decl graphs, and a slimmer decl page
CI
#19:
Commit
98debe9
pushed by
eric-vergo
12m 34s
blueprint
blueprint
12m 34s
View workflow file
scale: cap the per-page local graph by node count
CI
#18:
Commit
63dbb25
pushed by
eric-vergo
13m 20s
blueprint
blueprint
13m 20s
View workflow file
cap how many per-declaration pages a site emits
CI
#17:
Commit
91d38af
pushed by
eric-vergo
12m 53s
blueprint
blueprint
12m 53s
View workflow file
fixup: say the right thing about an unpinned checker, and warn about …
CI
#16:
Commit
32d88e6
pushed by
eric-vergo
10m 11s
blueprint
blueprint
10m 11s
View workflow file
trust: the dashboard strip counts what was certified too
CI
#15:
Commit
3e1c146
pushed by
eric-vergo
8m 22s
blueprint
blueprint
8m 22s
View workflow file
registry: a shared digest is not a shared claim (CX-065)
CI
#14:
Commit
dd2640b
pushed by
eric-vergo
13m 21s
blueprint
blueprint
13m 21s
View workflow file
harness: the pin the template ships, and a reader that can see the flags
CI
#13:
Commit
e7124f9
pushed by
eric-vergo
12m 42s
blueprint
blueprint
12m 42s
View workflow file
trust: evidence bound to the bytes this build read, not the last one …
CI
#12:
Commit
f020ab2
pushed by
eric-vergo
13m 14s
blueprint
blueprint
13m 14s
View workflow file
trust: the probe adds records, it does not stand in for them (CX-074)
CI
#11:
Commit
26fb5b3
pushed by
eric-vergo
8m 40s
blueprint
blueprint
8m 40s
View workflow file
trust: two accounts of one checker, settled by evidence and not by ar…
CI
#10:
Commit
05fc643
pushed by
eric-vergo
12m 42s
blueprint
blueprint
12m 42s
View workflow file
trust: what a metadata file has to say, and what a registration is not
CI
#9:
Commit
6c337f5
pushed by
eric-vergo
12m 29s
blueprint
blueprint
12m 29s
View workflow file
trust: the conventions a statement can be misread through, and what a…
CI
#8:
Commit
6781bac
pushed by
eric-vergo
12m 41s
blueprint
blueprint
12m 41s
View workflow file
trust: a number for the step that cannot be delegated
CI
#7:
Commit
a0a965a
pushed by
eric-vergo
12m 56s
blueprint
blueprint
12m 56s
View workflow file
trust: a closure is a claim about bytes, so say which bytes
CI
#6:
Commit
3365acd
pushed by
eric-vergo
11m 23s
blueprint
blueprint
11m 23s
View workflow file
trust: a pin that has aged, said out loud
CI
#5:
Commit
0d3f875
pushed by
eric-vergo
12m 16s
blueprint
blueprint
12m 16s
View workflow file
trust: one canonical kernel record, and no unread rows
CI
#4:
Commit
722cc7a
pushed by
eric-vergo
12m 37s
blueprint
blueprint
12m 37s
View workflow file
harness: cover the curated-doc validator instead of shelling out to lake
CI
#3:
Commit
d3d0689
pushed by
eric-vergo
8m 40s
blueprint
blueprint
8m 40s
View workflow file
js-api: restore the public type contract and the module guidance it g…
CI
#2:
Commit
52b2efb
pushed by
eric-vergo
12m 44s
blueprint
blueprint
12m 44s
View workflow file
template: re-pin to Showcase@0c463f2 (v4.33.1) + manifest regen
CI
#1:
Commit
7f9a074
pushed by
eric-vergo
11m 14s
blueprint
blueprint
11m 14s
View workflow file
Graph Update: pip in /tests/browser #1465483007
Dependency Graph
#1:
by
dependabot
Bot
53s
blueprint
blueprint
53s
You can’t perform that action at this time.