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 }}
hyperpolymath
/
polyglot-formalisms-elixir
Public
Notifications
You must be signed in to change notification settings
Fork
0
Star
2
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/polyglot-formalisms-elixir
Actions
All workflows
Workflows
.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
BoJ Server Build Trigger
BoJ Server Build Trigger
CodeQL Security Analysis
CodeQL Security Analysis
Dependabot Updates
Dependabot Updates
Dogfood Gate
Dogfood Gate
GitHub Pages
GitHub Pages
Label Triage
Label Triage
Show more workflows...
Management
Caches
Deployments
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
146 workflow runs
146 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.
chore: R-16 toolchain pin + reconciliation (#39)
CodeQL Security Analysis
#146:
Commit
1e3c115
pushed by
hyperpolymath
43s
main
main
43s
View workflow file
chore: R-16 toolchain pin + reconciliation
CodeQL Security Analysis
#145:
Pull request
#39
opened by
hyperpolymath
41s
r16-reconcile-2026-08-28
r16-reconcile-2026-08-28
41s
View #39
View workflow file
feat(labels): estate label tooling + auto-triage for new issues (#38)
CodeQL Security Analysis
#144:
Commit
d9ed06b
pushed by
hyperpolymath
1h 46m 9s
main
main
1h 46m 9s
View workflow file
fix(ci): the invisible-character gate never matched anything (#37)
CodeQL Security Analysis
#143:
Commit
c3ff628
pushed by
hyperpolymath
15m 21s
main
main
15m 21s
View workflow file
feat(labels): estate label tooling + auto-triage for new issues
CodeQL Security Analysis
#142:
Pull request
#38
synchronize by
hyperpolymath
26m 22s
automated/label-tooling
automated/label-tooling
26m 22s
View #38
View workflow file
feat(labels): estate label tooling + auto-triage for new issues
CodeQL Security Analysis
#141:
Pull request
#38
opened by
hyperpolymath
1h 18m 56s
automated/label-tooling
automated/label-tooling
1h 18m 56s
View #38
View workflow file
fix(ci): the invisible-character gate never matched anything
CodeQL Security Analysis
#140:
Pull request
#37
opened by
hyperpolymath
21m 1s
fix/empty-linter-pattern-never-matched
fix/empty-linter-pattern-never-matched
21m 1s
View #37
View workflow file
refactor: migrate Markdown to AsciiDoc (#36)
CodeQL Security Analysis
#139:
Commit
5b417b0
pushed by
hyperpolymath
48m 57s
main
main
48m 57s
View workflow file
refactor: migrate Markdown to AsciiDoc
CodeQL Security Analysis
#138:
Pull request
#36
opened by
hyperpolymath
49m 4s
refactor/md-to-adoc
refactor/md-to-adoc
49m 4s
View #36
View workflow file
CodeQL Security Analysis
CodeQL Security Analysis
#137:
Scheduled
53s
main
main
53s
View workflow file
chore(nix->guix): delete Nix estate-wide (#138) (#35)
CodeQL Security Analysis
#136:
Commit
75b3d5f
pushed by
hyperpolymath
1h 37m 29s
main
main
1h 37m 29s
View workflow file
chore(nix->guix): delete Nix estate-wide (#138)
CodeQL Security Analysis
#135:
Pull request
#35
opened by
hyperpolymath
1h 26m 23s
chore/nix-sweep-138
chore/nix-sweep-138
1h 26m 23s
View #35
View workflow file
CodeQL Security Analysis
CodeQL Security Analysis
#134:
Scheduled
42s
main
main
42s
View workflow file
fix(ci): update reusable workflow SHAs to @7fdc2705df74b4e352d2a1cde3…
CodeQL Security Analysis
#133:
Commit
2e983dd
pushed by
hyperpolymath
42s
main
main
42s
View workflow file
fix(ci): update reusable workflow SHAs to @7fdc2705df74b4e352d2a1cde3e87a5923fdf329
CodeQL Security Analysis
#132:
Pull request
#34
opened by
hyperpolymath
1m 11s
fix/ci-426-batch13
fix/ci-426-batch13
1m 11s
View #34
View workflow file
fix(ci): update reusable workflow SHAs to @7fdc2705df74b4e352d2a1cde3…
CodeQL Security Analysis
#131:
Commit
1001bb9
pushed by
hyperpolymath
59s
main
main
59s
View workflow file
fix(ci): update reusable workflow SHAs to @7fdc2705df74b4e352d2a1cde3e87a5923fdf329
CodeQL Security Analysis
#130:
Pull request
#33
opened by
hyperpolymath
1m 24s
fix/ci-426-batch11
fix/ci-426-batch11
1m 24s
View #33
View workflow file
fix(ci): remove erroneous squisher-corpus guix.scm placeholder (#32)
CodeQL Security Analysis
#129:
Commit
7d16004
pushed by
hyperpolymath
56s
main
main
56s
View workflow file
fix(ci): remove erroneous squisher-corpus guix.scm placeholder
CodeQL Security Analysis
#128:
Pull request
#32
opened by
hyperpolymath
1m 30s
fix/ci-426-squisher-cleanup
fix/ci-426-squisher-cleanup
1m 30s
View #32
View workflow file
CodeQL Security Analysis
CodeQL Security Analysis
#127:
Scheduled
46s
main
main
46s
View workflow file
fix(codeql): analyse the languages this repository actually has (#30)
CodeQL Security Analysis
#126:
Commit
df8e34a
pushed by
hyperpolymath
9h 53m 7s
main
main
9h 53m 7s
View workflow file
chore(ci): make Scorecard periodic, not per-push (#31)
CodeQL Security Analysis
#125:
Commit
8efb1ae
pushed by
hyperpolymath
28m 52s
main
main
28m 52s
View workflow file
chore(ci): make Scorecard periodic, not per-push
CodeQL Security Analysis
#124:
Pull request
#31
opened by
hyperpolymath
59m 17s
chore/scorecard-periodic
chore/scorecard-periodic
59m 17s
View #31
View workflow file
fix(codeql): analyse the languages this repository actually has
CodeQL Security Analysis
#123:
Pull request
#30
opened by
hyperpolymath
7m 51s
fix/codeql-language-matrix
fix/codeql-language-matrix
7m 51s
View #30
View workflow file
chore: fill derivable placeholders, drop false ARCHITECTURE, surface the rest
CodeQL Security Analysis
#122:
Pull request
#29
synchronize by
hyperpolymath
26m 1s
chore/estate-topup
chore/estate-topup
26m 1s
View #29
View workflow file
Previous
1
2
3
4
5
6
Next
You can’t perform that action at this time.