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
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 }}
hyperpolymath
/
proven
Public
Uh oh!
There was an error while loading.
Please reload this page
.
Notifications
You must be signed in to change notification settings
Fork
0
Star
2
Code
Issues
17
Pull requests
3
Discussions
Actions
Projects
Wiki
Security and quality
0
Insights
Additional navigation options
Code
Issues
Pull requests
Discussions
Actions
Projects
Wiki
Security and quality
Insights
Actions: hyperpolymath/proven
Actions
All workflows
Workflows
.github/workflows/clusterfuzzlite.yml
.github/workflows/clusterfuzzlite.yml
.github/workflows/e2e.yml
.github/workflows/e2e.yml
.github/workflows/governance.yml
.github/workflows/governance.yml
.github/workflows/hypatia-scan.yml
.github/workflows/hypatia-scan.yml
.github/workflows/mirror.yml
.github/workflows/mirror.yml
.github/workflows/scorecard.yml
.github/workflows/scorecard.yml
.github/workflows/secret-scanner.yml
.github/workflows/secret-scanner.yml
.github/workflows/spark-theatre-gate.yml
.github/workflows/spark-theatre-gate.yml
.github/workflows/workflow-linter.yml
.github/workflows/workflow-linter.yml
Architecture Enforcement
Architecture Enforcement
Show more workflows...
Management
Caches
.github/workflows/governance.yml
.github/workflows/governance.yml
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
.
governance.yml
will be ignored since log searching is not yet available
477 workflow runs
477 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.
feat(labels): estate label tooling + auto-triage for new issues
.github/workflows/governance.yml
#477:
Pull request
#213
by
hyperpolymath
Failure
automated/label-tooling
automated/label-tooling
Failure
View #213
View workflow file
fix(idris2): cure seven build blockers — build goes VOID → RED, frontier 165 → 211/305
.github/workflows/governance.yml
#476:
Pull request
#206
by
hyperpolymath
Failure
fix/idris2-build-blockers
fix/idris2-build-blockers
Failure
View #206
View workflow file
fix(idris2): cure seven build blockers — build goes VOID → RED, frontier 165 → 211/305
.github/workflows/governance.yml
#475:
Pull request
#206
by
hyperpolymath
Failure
fix/idris2-build-blockers
fix/idris2-build-blockers
Failure
View #206
View workflow file
fix(ci): the invisible-character gate never matched anything
.github/workflows/governance.yml
#474:
Pull request
#207
by
hyperpolymath
Failure
fix/empty-linter-pattern-never-matched
fix/empty-linter-pattern-never-matched
Failure
View #207
View workflow file
fix(idris2): cure seven build blockers — build goes VOID → RED, frontier 165 → 211/305
.github/workflows/governance.yml
#473:
Pull request
#206
by
hyperpolymath
Failure
fix/idris2-build-blockers
fix/idris2-build-blockers
Failure
View #206
View workflow file
feat(labels): estate label tooling + auto-triage for new issues (#205)
.github/workflows/governance.yml
#472:
Commit
c19fcba
pushed by
hyperpolymath
Failure
main
main
Failure
View workflow file
feat(labels): estate label tooling + auto-triage for new issues
.github/workflows/governance.yml
#471:
Pull request
#205
by
hyperpolymath
Failure
automated/label-tooling
automated/label-tooling
Failure
View #205
View workflow file
feat(labels): estate label tooling + auto-triage for new issues
.github/workflows/governance.yml
#470:
Pull request
#205
by
hyperpolymath
Failure
automated/label-tooling
automated/label-tooling
Failure
View #205
View workflow file
feat(labels): estate label tooling + auto-triage for new issues
.github/workflows/governance.yml
#469:
Pull request
#205
by
hyperpolymath
Failure
automated/label-tooling
automated/label-tooling
Failure
View #205
View workflow file
refactor: migrate Markdown to AsciiDoc (#201)
.github/workflows/governance.yml
#468:
Commit
3932a8c
pushed by
hyperpolymath
Failure
main
main
Failure
View workflow file
refactor: migrate Markdown to AsciiDoc
.github/workflows/governance.yml
#467:
Pull request
#201
by
hyperpolymath
Failure
refactor/md-to-adoc
refactor/md-to-adoc
Failure
View #201
View workflow file
chore(nix->guix): delete Nix estate-wide (#138) (#200)
.github/workflows/governance.yml
#466:
Commit
60ac138
pushed by
hyperpolymath
Failure
main
main
Failure
View workflow file
chore(nix->guix): delete Nix estate-wide (#138)
.github/workflows/governance.yml
#465:
Pull request
#200
by
hyperpolymath
Failure
chore/nix-sweep-138
chore/nix-sweep-138
Failure
View #200
View workflow file
fix(ci): update reusable workflow SHAs to @7fdc2705df74b4e352d2a1cde3…
.github/workflows/governance.yml
#464:
Commit
5d3933f
pushed by
hyperpolymath
1m 23s
main
main
1m 23s
View workflow file
fix(ci): update reusable workflow SHAs to @7fdc2705df74b4e352d2a1cde3e87a5923fdf329
.github/workflows/governance.yml
#463:
Pull request
#199
opened by
hyperpolymath
1m 10s
fix/ci-426-batch13
fix/ci-426-batch13
1m 10s
View #199
View workflow file
fix(ci): update reusable workflow SHAs to @7fdc2705df74b4e352d2a1cde3…
.github/workflows/governance.yml
#462:
Commit
7bcedb6
pushed by
hyperpolymath
2m 29s
main
main
2m 29s
View workflow file
fix(ci): update reusable workflow SHAs to @7fdc2705df74b4e352d2a1cde3e87a5923fdf329
.github/workflows/governance.yml
#461:
Pull request
#198
opened by
hyperpolymath
2m 35s
fix/ci-426-batch11
fix/ci-426-batch11
2m 35s
View #198
View workflow file
fix(ci): remove erroneous squisher-corpus guix.scm placeholder (#197)
.github/workflows/governance.yml
#460:
Commit
0f5c394
pushed by
hyperpolymath
5m 56s
main
main
5m 56s
View workflow file
fix(ci): remove erroneous squisher-corpus guix.scm placeholder
.github/workflows/governance.yml
#459:
Pull request
#197
opened by
hyperpolymath
4m 59s
fix/ci-426-squisher-cleanup
fix/ci-426-squisher-cleanup
4m 59s
View #197
View workflow file
chore(hypatia): acknowledge current findings in the baseline (#195)
.github/workflows/governance.yml
#458:
Commit
311f4f5
pushed by
hyperpolymath
9h 43m 32s
main
main
9h 43m 32s
View workflow file
chore(governance): declare the banned-language migration backlog (#194)
.github/workflows/governance.yml
#457:
Commit
0283cb3
pushed by
hyperpolymath
9h 54m 14s
main
main
9h 54m 14s
View workflow file
chore(ci): make Scorecard periodic, not per-push (#193)
.github/workflows/governance.yml
#456:
Commit
66bb484
pushed by
hyperpolymath
10h 6m 54s
main
main
10h 6m 54s
View workflow file
chore(hypatia): acknowledge current findings in the baseline
.github/workflows/governance.yml
#455:
Pull request
#195
opened by
hyperpolymath
10h 12m 43s
chore/hypatia-baseline
chore/hypatia-baseline
10h 12m 43s
View #195
View workflow file
chore(governance): declare the banned-language migration backlog
.github/workflows/governance.yml
#454:
Pull request
#194
opened by
hyperpolymath
10h 19m 24s
chore/banned-language-ledger
chore/banned-language-ledger
10h 19m 24s
View #194
View workflow file
chore(ci): make Scorecard periodic, not per-push
.github/workflows/governance.yml
#453:
Pull request
#193
opened by
hyperpolymath
2h 27m 44s
chore/scorecard-periodic
chore/scorecard-periodic
2h 27m 44s
View #193
View workflow file
Previous
1
2
3
4
5
…
19
20
Next
You can’t perform that action at this time.