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
See 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 }}
This workflow was disabled manually.
Instant Sync
instant-sync.yml
Workflow options
More workflow actions
Filter workflow runs
Search
Workflow runs for Instant Sync
72 workflow runs
Auto-refresh: 30s
Event
Status
Branch
Actor
More items
ci: Secret Scanner caller must grant the reusable's job permissions (…
failed:
Instant Sync
#72:
Commit
bef19ee
pushed
by
hyperpolymath
main
Jul 9, 2026
14m 58s
More actions for workflow run 72
fix(ci): clear OSSF Scorecard startup_failure (#39)
failed:
Instant Sync
#71:
Commit
c0d8462
pushed
by
hyperpolymath
main
Jul 6, 2026
46m 52s
More actions for workflow run 71
fix(clade): correct identity uuid (deterministic v5) (#38)
failed:
Instant Sync
#70:
Commit
048e21c
pushed
by
hyperpolymath
main
Jun 29, 2026
7m 42s
More actions for workflow run 70
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia…
failed:
Instant Sync
#69:
Commit
5093644
pushed
by
hyperpolymath
main
Jun 28, 2026
39s
More actions for workflow run 69
ABI Layer 5: end-to-end soundness capstone certificate (#36)
failed:
Instant Sync
#68:
Commit
c97ba30
pushed
by
hyperpolymath
main
Jun 28, 2026
7s
More actions for workflow run 68
ABI Layer 4: prove the FFI result-code seam is injective + faithful (…
failed:
Instant Sync
#67:
Commit
039fe39
pushed
by
hyperpolymath
main
Jun 28, 2026
7s
More actions for workflow run 67
ABI Layer 3: monotone safety under policy composition (#34)
failed:
Instant Sync
#66:
Commit
9d8062b
pushed
by
hyperpolymath
main
Jun 28, 2026
1m 46s
More actions for workflow run 66
ABI Layer 2: prove forbidden actions are never permitted (ethical saf…
failed:
Instant Sync
#65:
Commit
1a0ad20
pushed
by
hyperpolymath
main
Jun 27, 2026
8s
More actions for workflow run 65
ci: refresh standards reusable pins to current HEAD (d7c2271) (#32)
failed:
Instant Sync
#64:
Commit
31f6d0c
pushed
by
hyperpolymath
main
Jun 27, 2026
1h 45m 19s
More actions for workflow run 64
ci: add ABI↔FFI conformance gate (#31)
failed:
Instant Sync
#63:
Commit
3ad6937
pushed
by
hyperpolymath
main
Jun 26, 2026
40s
More actions for workflow run 63
Auto-install pinned Zig toolchain in setup + devcontainer (#30)
failed:
Instant Sync
#62:
Commit
7bfc86d
pushed
by
hyperpolymath
main
Jun 26, 2026
4m 37s
More actions for workflow run 62
ABI: make Idris2 proofs genuinely compile + add machine-checked theor…
failed:
Instant Sync
#61:
Commit
f048ddd
pushed
by
hyperpolymath
main
Jun 26, 2026
2m 10s
More actions for workflow run 61
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#28)
failed:
Instant Sync
#60:
Commit
eb0dcfb
pushed
by
hyperpolymath
main
Jun 26, 2026
32s
More actions for workflow run 60
chore(clade): backfill [status] lifecycle block (#26)
failed:
Instant Sync
#59:
Commit
44baec3
pushed
by
hyperpolymath
main
Jun 24, 2026
21h 13m 14s
More actions for workflow run 59
chore(ci): add dormant push-email notification workflow (#27)
failed:
Instant Sync
#58:
Commit
9d19705
pushed
by
hyperpolymath
main
Jun 24, 2026
20h 38m 15s
More actions for workflow run 58
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) …
failed:
Instant Sync
#57:
Commit
abd6414
pushed
by
hyperpolymath
main
Jun 24, 2026
17h 13m 50s
More actions for workflow run 57
chore(ci): bump standards reusable workflow pins (#24)
failed:
Instant Sync
#56:
Commit
29859da
pushed
by
hyperpolymath
main
Jun 24, 2026
5h 21m 12s
More actions for workflow run 56
chore(nix->guix): remove flake.nix (Guix-only) (#23)
failed:
Instant Sync
#55:
Commit
cdead60
pushed
by
hyperpolymath
main
Jun 24, 2026
58m 56s
More actions for workflow run 55
chore: retire local issue/discussion templates -> inherit org .github…
failed:
Instant Sync
#54:
Commit
51f241d
pushed
by
hyperpolymath
main
Jun 22, 2026
44m 9s
More actions for workflow run 54
ci: adopt standards reusable workflows for Scorecard, Hypatia, and Go…
failed:
Instant Sync
#53:
Commit
234948f
pushed
by
hyperpolymath
main
Jun 21, 2026
22m 53s
More actions for workflow run 53
Base camp: RSR Mustfile + green CI + CHANGELOG de-dup (#22)
failed:
Instant Sync
#52:
Commit
223ff42
pushed
by
hyperpolymath
main
Jun 18, 2026
40s
More actions for workflow run 52
ci: bump a2ml-validate-action to 6bff6ec (s-expression form support) …
failed:
Instant Sync
#51:
Commit
f75466f
pushed
by
hyperpolymath
main
Jun 2, 2026
15s
More actions for workflow run 51
ci: repin orphan reusable SHAs (97df7621/4fdf4314 → live) (#20)
failed:
Instant Sync
#50:
Commit
d7ac987
pushed
by
hyperpolymath
main
May 30, 2026
14h 10m 30s
More actions for workflow run 50
ci(hypatia-scan): repin reusable to merge-commit SHA (orphan-SHA fix)…
failed:
Instant Sync
#49:
Commit
299ade9
pushed
by
hyperpolymath
main
May 27, 2026
6h 11m 46s
More actions for workflow run 49
chore(ci): replace secret-scanner.yml with reusable wrapper (#17)
failed:
Instant Sync
#48:
Commit
7ff55f1
pushed
by
hyperpolymath
main
May 27, 2026
6h 9m 7s
More actions for workflow run 48
Previous
1
2
3
Next
You can’t perform that action at this time.