Skip to content

Actions: hyperpolymath/rescript-tea

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
142 workflow runs
142 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

docs: update SCM files with project information CodeQL Security Analysis #142: Commit 40bafde pushed by hyperpolymath
3h 34m 36s main
main
3h 34m 36s
docs: add CONTRIBUTING.md CodeQL Security Analysis #141: Commit 10a6c56 pushed by hyperpolymath
2h 15m 45s main
main
2h 15m 45s
docs: add SCM checkpoint files CodeQL Security Analysis #140: Commit bcb03d7 pushed by hyperpolymath
23m 35s main
main
23m 35s
Apply rhodium repository hygiene CodeQL Security Analysis #139: Commit e9f62cd pushed by hyperpolymath
1m 9s main
main
1m 9s
CodeQL Security Analysis CodeQL Security Analysis #138: Scheduled
1m 52s main
main
1m 52s
deps(actions): bump erlef/setup-beam from 1.17.5 to 1.20.4 CodeQL Security Analysis #137: Pull request #37 opened by dependabot bot
1m 9s dependabot/github_actions/erlef/setup-beam-1.20.4
dependabot/github_actions/erlef/setup-beam-1.20.4
1m 9s
deps(actions): bump actions/github-script from 7.0.1 to 8.0.0 CodeQL Security Analysis #136: Pull request #36 opened by dependabot bot
1m 2s dependabot/github_actions/actions/github-script-8.0.0
dependabot/github_actions/actions/github-script-8.0.0
1m 2s
deps(actions): bump github/codeql-action from 4.31.10 to 4.32.0 CodeQL Security Analysis #135: Pull request #35 opened by dependabot bot
1m 2s dependabot/github_actions/github/codeql-action-4.32.0
dependabot/github_actions/github/codeql-action-4.32.0
1m 2s
deps(actions): bump actions/checkout from 6.0.1 to 6.0.2 CodeQL Security Analysis #134: Pull request #34 synchronize by dependabot bot
1m 8s dependabot/github_actions/actions/checkout-6.0.2
dependabot/github_actions/actions/checkout-6.0.2
1m 8s
docs: update STATE.scm with proven integration status CodeQL Security Analysis #133: Commit 0fe67e1 pushed by hyperpolymath
2m 2s main
main
2m 2s
feat: configure Deno for ReScript compilation (no Node.js) CodeQL Security Analysis #132: Commit 1d1d4ab pushed by hyperpolymath
1m 7s main
main
1m 7s
feat: integrate proven formally verified library CodeQL Security Analysis #131: Commit 8b8fe8f pushed by hyperpolymath
1m 14s main
main
1m 14s
docs: add checkpoint files for state tracking CodeQL Security Analysis #130: Commit 733d884 pushed by hyperpolymath
1h 4m 42s main
main
1h 4m 42s
feat(ci): enable Hypatia scanning CodeQL Security Analysis #129: Commit 17258b2 pushed by hyperpolymath
1h 25m 10s main
main
1h 25m 10s
CodeQL Security Analysis CodeQL Security Analysis #128: Scheduled
1m 27s main
main
1m 27s
deps(actions): bump actions/checkout from 6.0.1 to 6.0.2 CodeQL Security Analysis #127: Pull request #34 opened by dependabot bot
1m 8s dependabot/github_actions/actions/checkout-6.0.2
dependabot/github_actions/actions/checkout-6.0.2
1m 8s
deps(actions): bump github/codeql-action from 4.31.10 to 4.31.11 CodeQL Security Analysis #126: Pull request #33 opened by dependabot bot
1m 5s dependabot/github_actions/github/codeql-action-4.31.11
dependabot/github_actions/github/codeql-action-4.31.11
1m 5s
chore: commit local changes before sync CodeQL Security Analysis #125: Commit ac82c0a pushed by hyperpolymath
2h 54m 38s main
main
2h 54m 38s
CodeQL Security Analysis CodeQL Security Analysis #124: Scheduled
1m 21s main
main
1m 21s
deps(actions): bump actions/upload-pages-artifact from 3.0.1 to 4.0.0… CodeQL Security Analysis #123: Commit ec3882c pushed by hyperpolymath
1m 3s main
main
1m 3s
deps(actions): bump actions/upload-pages-artifact from 3.0.1 to 4.0.0 CodeQL Security Analysis #122: Pull request #27 synchronize by hyperpolymath
1m 5s dependabot/github_actions/actions/upload-pages-artifact-4.0.0
dependabot/github_actions/actions/upload-pages-artifact-4.0.0
1m 5s
deps(actions): bump trufflesecurity/trufflehog from 3.92.4 to 3.92.5 … CodeQL Security Analysis #121: Commit 895531f pushed by hyperpolymath
1m 4s main
main
1m 4s
deps(actions): bump trufflesecurity/trufflehog from 3.92.4 to 3.92.5 CodeQL Security Analysis #120: Pull request #28 synchronize by hyperpolymath
1m 8s dependabot/github_actions/trufflesecurity/trufflehog-3.92.5
dependabot/github_actions/trufflesecurity/trufflehog-3.92.5
1m 8s
deps(npm): bump rescript from 12.0.2 to 12.1.0 in the rescript group … CodeQL Security Analysis #119: Commit ee44bca pushed by hyperpolymath
58s main
main
58s
deps(npm): bump rescript from 12.0.2 to 12.1.0 in the rescript group CodeQL Security Analysis #118: Pull request #29 synchronize by hyperpolymath
1m 6s dependabot/npm_and_yarn/rescript-81bcda2c45
dependabot/npm_and_yarn/rescript-81bcda2c45
1m 6s