Skip to content

Actions: hyperpolymath/nextgen-languages

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
535 workflow runs
535 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
chore: update julia-the-viper submodule — add type system spec CodeQL Security Analysis #160: Commit a9bfcdb pushed by hyperpolymath
34s main
main
34s
chore: update 6 language submodules — add bibliographies CodeQL Security Analysis #159: Commit 899c30a pushed by hyperpolymath
41s main
main
41s
chore: update eclexia submodule — type system spec + bibliography CodeQL Security Analysis #158: Commit a0eaa37 pushed by hyperpolymath
35s main
main
35s
chore: update eclexia submodule — add operational semantics CodeQL Security Analysis #157: Commit adccc81 pushed by hyperpolymath
36s main
main
36s
chore: update wokelang submodule — reconcile grammar to canonical spec CodeQL Security Analysis #156: Commit 5f173dd pushed by hyperpolymath
35s main
main
35s
chore: update eclexia submodule — complete LP proof theorems CodeQL Security Analysis #155: Commit 2138a7f pushed by hyperpolymath
36s main
main
36s
chore: update 8 language submodules (RSR compliance) CodeQL Security Analysis #154: Commit 1341172 pushed by hyperpolymath
43s main
main
43s
chore(deps): bump trufflesecurity/trufflehog from 3.93.7 to 3.93.8 CodeQL Security Analysis #153: Pull request #38 opened by dependabot Bot
38s dependabot/github_actions/trufflesecurity/trufflehog-3.93.8
dependabot/github_actions/trufflesecurity/trufflehog-3.93.8
38s
chore(deps): bump erlef/setup-beam from 1.21.0 to 1.22.0 CodeQL Security Analysis #152: Pull request #37 opened by dependabot Bot
38s dependabot/github_actions/erlef/setup-beam-1.22.0
dependabot/github_actions/erlef/setup-beam-1.22.0
38s
chore(deps): bump webfactory/ssh-agent from 0.9.1 to 0.10.0 CodeQL Security Analysis #151: Pull request #36 opened by dependabot Bot
34s dependabot/github_actions/webfactory/ssh-agent-0.10.0
dependabot/github_actions/webfactory/ssh-agent-0.10.0
34s
chore: sync local changes CodeQL Security Analysis #150: Commit 80dd2db pushed by hyperpolymath
40s main
main
40s
chore(deps): bump trufflesecurity/trufflehog from 3.93.6 to 3.93.7 CodeQL Security Analysis #149: Commit a5ea3f5 pushed by hyperpolymath
38s main
main
38s
chore(deps): bump trufflesecurity/trufflehog from 3.93.6 to 3.93.7 CodeQL Security Analysis #148: Pull request #34 synchronize by hyperpolymath
34s dependabot/github_actions/trufflesecurity/trufflehog-3.93.7
dependabot/github_actions/trufflesecurity/trufflehog-3.93.7
34s
Standardise license setup: MPL-2.0 + PMPL-1.0-or-later (REUSE) CodeQL Security Analysis #147: Commit a2e6fd3 pushed by hyperpolymath
35m 57s main
main
35m 57s
chore(deps): bump trufflesecurity/trufflehog from 3.93.6 to 3.93.7 CodeQL Security Analysis #146: Pull request #34 synchronize by dependabot Bot
5m 59s dependabot/github_actions/trufflesecurity/trufflehog-3.93.7
dependabot/github_actions/trufflesecurity/trufflehog-3.93.7
5m 59s
chore(deps): bump erlef/setup-beam from 1.20.4 to 1.21.0 (#33) CodeQL Security Analysis #145: Commit 901f7ae pushed by hyperpolymath
2m 29s main
main
2m 29s
chore(deps): bump github/codeql-action from 4.32.4 to 4.32.6 (#35) CodeQL Security Analysis #144: Commit 41abff4 pushed by hyperpolymath
1m 51s main
main
1m 51s
CodeQL Security Analysis CodeQL Security Analysis #143: Scheduled
40s main
main
40s
chore(deps): bump github/codeql-action from 4.32.4 to 4.32.6 CodeQL Security Analysis #142: Pull request #35 opened by dependabot Bot
30s dependabot/github_actions/github/codeql-action-4.32.6
dependabot/github_actions/github/codeql-action-4.32.6
30s
chore(deps): bump trufflesecurity/trufflehog from 3.93.6 to 3.93.7 CodeQL Security Analysis #141: Pull request #34 opened by dependabot Bot
38s dependabot/github_actions/trufflesecurity/trufflehog-3.93.7
dependabot/github_actions/trufflesecurity/trufflehog-3.93.7
38s
chore(deps): bump erlef/setup-beam from 1.20.4 to 1.21.0 CodeQL Security Analysis #140: Pull request #33 opened by dependabot Bot
34s dependabot/github_actions/erlef/setup-beam-1.21.0
dependabot/github_actions/erlef/setup-beam-1.21.0
34s
chore(deps): bump actions/github-script from 7.0.1 to 8.0.0 (#28) CodeQL Security Analysis #139: Commit 225dee5 pushed by hyperpolymath
2m 35s main
main
2m 35s
chore(deps): bump actions/github-script from 7.0.1 to 8.0.0 CodeQL Security Analysis #138: Pull request #28 synchronize by hyperpolymath
3m 41s dependabot/github_actions/actions/github-script-8.0.0
dependabot/github_actions/actions/github-script-8.0.0
3m 41s
chore(deps): bump erlef/setup-beam from 1.17.5 to 1.20.4 (#29) CodeQL Security Analysis #137: Commit da65bf0 pushed by hyperpolymath
2m 50s main
main
2m 50s
chore(deps): bump erlef/setup-beam from 1.17.5 to 1.20.4 CodeQL Security Analysis #136: Pull request #29 synchronize by hyperpolymath
2m 21s dependabot/github_actions/erlef/setup-beam-1.20.4
dependabot/github_actions/erlef/setup-beam-1.20.4
2m 21s
ProTip! You can narrow down the results and go further in time using created:<2026-03-06 or the other filters available.