Skip to content

Navigation Menu

Appearance settings

- AI CODE CREATION
  GitHub CopilotWrite better code with AI
  GitHub Copilot appDirect agents from issue to merge
  MCP Registry^NewIntegrate external tools
- DEVELOPER WORKFLOWS
  ActionsAutomate any workflow
  CodespacesInstant dev environments
  IssuesPlan and track work
  Code ReviewManage code changes
- APPLICATION SECURITY
  GitHub Advanced SecurityFind and fix vulnerabilities
  Code securitySecure your code as you build
  Secret protectionStop leaks before they start
- EXPLORE
  Why GitHub
  Documentation
  Blog
  Changelog
  Marketplace
View all features
- 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
- 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
- COMMUNITY
  GitHub SponsorsFund open source developers
- PROGRAMS
  Security Lab
  Maintainer Community
  Accelerator
  GitHub Stars
  Archive Program
- REPOSITORIES
  Topics
  Trending
  Collections
- ENTERPRISE SOLUTIONS
  Enterprise platformAI-powered developer platform
- AVAILABLE ADD-ONS
  GitHub Advanced SecurityEnterprise-grade security features
  Copilot for BusinessEnterprise-grade AI features
  Premium SupportEnterprise-grade 24/7 support
Pricing

Search code, repositories, users, issues, pull requests...

Search

Clear

Search syntax tips

Provide feedback

We read every piece of feedback, and take your input very seriously.

Include my email address so I can be contacted

Saved searches

Use saved searches to filter your results more quickly

Name

Query

To see all available qualifiers, see our documentation.

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

SentinelOps-CI / provability-fabric Public

Notifications You must be signed in to change notification settings
Fork 2
Star 11

Code
Issues 3
Pull requests 25
Discussions
Actions
Projects
Security and quality
Insights

Additional navigation options

Code
Issues
Pull requests
Discussions
Actions
Projects
Security and quality
Insights

ci: repo-wide green — workflow and chart fixes#136

Open

fraware wants to merge 69 commits into

mainSentinelOps-CI/provability-fabric:mainfrom

ci/repo-wide-greenSentinelOps-CI/provability-fabric:ci/repo-wide-greenCopy head branch name to clipboard

Conversation Commits69 (69)Checks Files changed

Open

ci: repo-wide green — workflow and chart fixes#136
fraware wants to merge 69 commits into
mainfrom
ci/repo-wide-green

Commits

Commits on Jun 17, 2026

ci: fix repo-wide workflow failures blocking main
fraware
committed
ci: harden dependency review, docs deploy, and scheduled workflows
fraware
committed
ci: fix replay bundle schema and k6 install on runners
fraware
committed
ci: fix k6 timing header lookup for mock PF server
fraware
committed
ci: fix lowview oracle CLI in replay runner
fraware
committed
ci: fix DFA equivalence cargo test filter
fraware
committed
test(evidence): align KIT trace import test with event schema
fraware
committed
ci: install k6 from GitHub release in perf smoke
fraware
committed
ci: stop requiring Cargo.lock in runtime Rust images
fraware
committed

Commits on Jun 18, 2026

ci: bump runtime Rust Docker images to 1.85
fraware
committed
ci: harden SBOM gate downstream jobs
fraware
committed
ci: fix multiarch, fuzz, lean, and bench workflows
fraware
committed
ci: fix redteam, privacy, and replay test jobs
fraware
committed
fix(admission): add /healthz for Helm readiness
fraware
committed
fix: paper-conformance markers and break-glass signatures
fraware
committed
fix(marketplace/ui): resolve ESLint build failures
fraware
committed
ci: fix replay oracle, Rust 1.86 images, fuzz nightly, lean vendor
fraware
committed
ci: Rust 1.88 images, replay zip path, fuzz default nightly
fraware
committed
ci: trace_replay cert validation and lean vendor order
fraware
committed
ci: replay jsonschema, lean NI example, marketplace compat script
fraware
committed
fix(marketplace/ui): restore package.json and compat test
fraware
committed
ci: fix elan PATH in Lean jobs, PR docker cache, ledger tsc
fraware
committed
ci: drop duplicate inline cache export on PR multi-arch
fraware
committed
ci: install Go via setup-go in rbac-test
fraware
committed
ledger: fix MCP types and compose for CI docker builds
fraware
committed
proofs: fix Policy.lean compile errors on Lean 4.7
fraware
committed
marketplace: add missing e2e and integration npm scripts
fraware
committed
ci: fix paper-conformance grep and labeler stress seed
fraware
committed
ci: fix kind cluster name, lean vendor order
fraware
committed
test: wait on ledger /health in integration fixture
fraware
committed
proofs: fix ActionDSL Safety.lean for Lean 4.7
fraware
committed
ci: fix lean build, ledger startup, and CodeQL config
fraware
committed
ci: fix ActionDSL proofs and heartbeat kind image load
fraware
committed
ci: fix lean export, allowlist, egress docker on PR 136
fraware
committed
proofs: fix ActionDSL prefix-closed lemma
fraware
committed
proofs: repair ActionDSL prefix-closed theorem
fraware
committed
ci: align heartbeat Kind cluster name
fraware
committed
ci: fix ledger CI image and ExportDFA on Lean 4.7
fraware
committed
proofs: fix ExportDFA and Fabric package for Lean 4.7
fraware
committed
proofs: wire agent bundles to core Fabric package
fraware
committed
policy: sync allowlist.json with Lean proof exports
fraware
committed
runtime: fix ledger CI image startup
fraware
committed
ci: stabilize Kind attestor and ledger deploys
fraware
committed
privacy: add CI epsilon guard tests and load retry
fraware
committed
fix(lean): resolve Budget/ActionDSL clashes and restore ExportDFA CLI
fraware
committed
fix(ci): rebuild attestor binary and extend heartbeat waits
fraware
committed
fix(ci): pass ExportDFA CLI args after lake exe --
fraware
committed
fix(ci): remove BOM from heartbeat workflow YAML
fraware
committed
fix(lean): repair Budget prefix and monotone proofs
fraware
committed
policy: regenerate allowlist after Fabric lake layout
fraware
committed
fix(ci): use ASCII messages in heartbeat workflow
fraware
committed

Commits on Jun 19, 2026

fix(lean): repair Budget proof and Lean CI export paths
fraware
committed
fix(allowlist): normalize paths and compare stable fields
fraware
committed
fix(ci): workflow paths, timeouts, and SBOM grype policy
fraware
committed
fix(runtime): ledger OpenSSL image and sidecar heartbeat
fraware
committed
fix(paper-conformance): register tests and reduce stress scale
fraware
committed
fix(ci): ledger startup, SBOM grype policy, and privacy load stability
fraware
committed
fix(paper-conformance): use lib CI gates and unblock sidecar tests
fraware
committed
fix(ci): actionlint shellcheck and bundle yaml parsing
fraware
committed
fix(ci): DFA export invoke, ledger health, bundle vectors
fraware
committed
fix(ci): native ExportDFA binary and heartbeat failure test
fraware
committed
fix(ci): pass ExportDFA args after -- separator
fraware
committed
fix(ci): ExportDFA positional args and ledger CI schema sync
fraware
committed
fix(ci): policy-build skip postgres-dependent gateway
fraware
committed
fix(ci): ExportDFA main, ledger dist path, heartbeat test
fraware
committed
fix(ci): allowlist tools-only sync and DFA comment 403
fraware
committed
fix(ci): ledger image dist and rbac schema sync
fraware
committed
fix(lean): repair bundle proofs and Fabric lake dependency
fraware
committed
fix(lean): dedupe bundle budget proofs via core theorem
fraware
committed

Footer

© 2026 GitHub, Inc.

Footer navigation

Terms
Privacy
Security
Status
Community
Docs
Contact

You can’t perform that action at this time.