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
/
modshells
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
5
Code
Issues
0
Pull requests
0
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/modshells
Actions
All workflows
Workflows
Ada (GNAT)
Ada (GNAT)
CodeQL Security Analysis
CodeQL Security Analysis
Dependabot Updates
Dependabot Updates
Governance
Governance
Hypatia Security Scan
Hypatia Security Scan
Label Triage
Label Triage
Labels
Labels
Mirror to Git Forges
Mirror to Git Forges
Scorecards supply-chain security
Scorecards supply-chain security
Secret Scanner
Secret Scanner
Show more workflows...
Management
Caches
CodeQL Security Analysis
CodeQL Security Analysis
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
.
codeql.yml
will be ignored since log searching is not yet available
305 workflow runs
305 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.
Update STATE.a2ml: mark modshells as CRG C complete with test coverag…
CodeQL Security Analysis
#105:
Commit
cce2320
pushed by
hyperpolymath
55s
main
main
55s
View workflow file
CRG blitz D→C: comprehensive test coverage for modshells
CodeQL Security Analysis
#104:
Commit
dbb8ab1
pushed by
hyperpolymath
1m 2s
main
main
1m 2s
View workflow file
chore(deps): Bump the actions group across 1 directory with 2 updates…
CodeQL Security Analysis
#103:
Commit
a600af2
pushed by
hyperpolymath
3m 15s
main
main
3m 15s
View workflow file
chore(deps): Bump the actions group across 1 directory with 2 updates
CodeQL Security Analysis
#102:
Pull request
#25
synchronize by
hyperpolymath
1m 58s
dependabot/github_actions/actions-1a9f155adc
dependabot/github_actions/actions-1a9f155adc
1m 58s
View #25
View workflow file
Add casket pages workflow
CodeQL Security Analysis
#101:
Commit
a808061
pushed by
hyperpolymath
40m 53s
main
main
40m 53s
View workflow file
docs: add TEST-NEEDS.md and/or PROOF-NEEDS.md from audit
CodeQL Security Analysis
#100:
Commit
dc4ec53
pushed by
hyperpolymath
7m 16s
main
main
7m 16s
View workflow file
CodeQL Security Analysis
CodeQL Security Analysis
#99:
Scheduled
43s
main
main
43s
View workflow file
feat: add stapeln.toml container definition
CodeQL Security Analysis
#98:
Commit
349fc4e
pushed by
hyperpolymath
21m 30s
main
main
21m 30s
View workflow file
chore: deploy UX infrastructure (contractile.just, .well-known, manif…
CodeQL Security Analysis
#97:
Commit
62a95a8
pushed by
hyperpolymath
28m 25s
main
main
28m 25s
View workflow file
chore: add UX infrastructure (quickstart, doctor, setup)
CodeQL Security Analysis
#96:
Commit
502b59a
pushed by
hyperpolymath
56m 18s
main
main
56m 18s
View workflow file
chore: add agent_instructions methodology layer
CodeQL Security Analysis
#95:
Commit
7357451
pushed by
hyperpolymath
50m 49s
main
main
50m 49s
View workflow file
chore: standardise, Justfile, (rename,, fix, parse, errors,, remove, …
CodeQL Security Analysis
#94:
Commit
bd59a9a
pushed by
hyperpolymath
20m 24s
main
main
20m 24s
View workflow file
CodeQL Security Analysis
CodeQL Security Analysis
#93:
Scheduled
43s
main
main
43s
View workflow file
docs: add EXPLAINME.adoc — prove-it file backing README claims
CodeQL Security Analysis
#92:
Commit
5e4bbed
pushed by
hyperpolymath
40m 15s
main
main
40m 15s
View workflow file
chore(deps): Bump the actions group across 1 directory with 2 updates
CodeQL Security Analysis
#91:
Pull request
#25
opened by
dependabot
Bot
25s
dependabot/github_actions/actions-1a9f155adc
dependabot/github_actions/actions-1a9f155adc
25s
View #25
View workflow file
chore(ci): maximize ci/cd values via dependabot and permissions
CodeQL Security Analysis
#90:
Commit
399ed2a
pushed by
hyperpolymath
13m 1s
main
main
13m 1s
View workflow file
chore(ci): Maximize CI/CD values (Dependabot & Permissions)
CodeQL Security Analysis
#89:
Pull request
#24
synchronize by
hyperpolymath
12m 11s
chore/cicd-optimizations
chore/cicd-optimizations
12m 11s
View #24
View workflow file
chore(ci): Maximize CI/CD values (Dependabot & Permissions)
CodeQL Security Analysis
#88:
Pull request
#24
opened by
hyperpolymath
23m 11s
chore/cicd-optimizations
chore/cicd-optimizations
23m 11s
View #24
View workflow file
chore(deps): Bump github/codeql-action from 4.32.6 to 4.33.0 in the actions group
CodeQL Security Analysis
#87:
Pull request
#23
opened by
dependabot
Bot
29s
dependabot/github_actions/actions-08da7132b3
dependabot/github_actions/actions-08da7132b3
29s
View #23
View workflow file
chore(deps): Bump erlef/setup-beam from 1.22.0 to 1.23.0 in the actio…
CodeQL Security Analysis
#86:
Commit
9740059
pushed by
hyperpolymath
4h 38m 59s
main
main
4h 38m 59s
View workflow file
CodeQL Security Analysis
CodeQL Security Analysis
#85:
Scheduled
5h 0m 32s
main
main
5h 0m 32s
View workflow file
chore(deps): Bump erlef/setup-beam from 1.22.0 to 1.23.0 in the actions group
CodeQL Security Analysis
#84:
Pull request
#22
opened by
dependabot
Bot
8h 21m 33s
dependabot/github_actions/actions-edfc3fc012
dependabot/github_actions/actions-edfc3fc012
8h 21m 33s
View #22
View workflow file
migrate: .scm → .a2ml state files in .machine_readable/
CodeQL Security Analysis
#83:
Commit
1ec6ae4
pushed by
hyperpolymath
6h 51m 32s
main
main
6h 51m 32s
View workflow file
fix: SPDX headers (AGPL→PMPL), email, author name
CodeQL Security Analysis
#82:
Commit
a50c2e1
pushed by
hyperpolymath
3h 2m 48s
main
main
3h 2m 48s
View workflow file
refactor: migrate 6SCM → 6A2 (.scm → .a2ml format)
CodeQL Security Analysis
#81:
Commit
2d085c6
pushed by
hyperpolymath
27m 58s
main
main
27m 58s
View workflow file
Previous
1
2
…
7
8
9
10
11
12
13
Next
You can’t perform that action at this time.