Skip to content

Actions: Clyra-AI/proof

Actions

codeql

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
84 workflow runs
84 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
Raise testutil coverage above main gate (#32) codeql #84: Commit 8383e6f pushed by davidahmann
1m 7s main
main
1m 7s
Raise testutil coverage above main gate codeql #83: Pull request #32 opened by davidahmann
1m 9s codex/fix-main-postmerge-ci
codex/fix-main-postmerge-ci
1m 9s
Fix syncframeworks main CI gates (#31) codeql #82: Commit e53ac59 pushed by davidahmann
1m 3s main
main
1m 3s
Fix syncframeworks main CI gates codeql #81: Pull request #31 synchronize by davidahmann
1m 10s codex/fix-main-postmerge-ci
codex/fix-main-postmerge-ci
1m 10s
Fix syncframeworks main CI gates codeql #80: Pull request #31 opened by davidahmann
1m 9s codex/fix-main-postmerge-ci
codex/fix-main-postmerge-ci
1m 9s
Add framework evidence paths and bump Go to 1.26.1 (#30) codeql #79: Commit 162b0d5 pushed by davidahmann
1m 3s main
main
1m 3s
Add framework evidence paths and bump Go to 1.26.1 codeql #78: Pull request #30 synchronize by davidahmann
1m 8s codex/framework-evidence-go1261
codex/framework-evidence-go1261
1m 8s
Add framework evidence paths and bump Go to 1.26.1 codeql #77: Pull request #30 synchronize by davidahmann
1m 8s codex/framework-evidence-go1261
codex/framework-evidence-go1261
1m 8s
Add framework evidence paths and bump Go to 1.26.1 codeql #76: Pull request #30 synchronize by davidahmann
1m 8s codex/framework-evidence-go1261
codex/framework-evidence-go1261
1m 8s
Add framework evidence paths and bump Go to 1.26.1 codeql #75: Pull request #30 synchronize by davidahmann
1m 6s codex/framework-evidence-go1261
codex/framework-evidence-go1261
1m 6s
Add framework evidence paths and bump Go to 1.26.1 codeql #74: Pull request #30 synchronize by davidahmann
1m 9s codex/framework-evidence-go1261
codex/framework-evidence-go1261
1m 9s
Add framework evidence paths and bump Go to 1.26.1 codeql #73: Pull request #30 synchronize by davidahmann
1m 8s codex/framework-evidence-go1261
codex/framework-evidence-go1261
1m 8s
Add framework evidence paths and bump Go to 1.26.1 codeql #72: Pull request #30 opened by davidahmann
1m 11s codex/framework-evidence-go1261
codex/framework-evidence-go1261
1m 11s
test: enforce exact brew version match in UAT (#29) codeql #71: Commit 53a1017 pushed by davidahmann
1m 4s main
main
1m 4s
test: enforce exact Homebrew release version check in UAT codeql #70: Pull request #29 opened by davidahmann
1m 11s codex/fix-brew-version-exact
codex/fix-brew-version-exact
1m 11s
test: add brew install path to local UAT (#28) codeql #69: Commit 3a301d2 pushed by davidahmann
1m 4s main
main
1m 4s
test: add Homebrew install path to local UAT codeql #68: Pull request #28 opened by davidahmann
1m 7s codex/uat-brew-install-path
codex/uat-brew-install-path
1m 7s
ci: pass Homebrew tap token to release goreleaser (#27) codeql #67: Commit 36a84bd pushed by davidahmann
1m 2s main
main
1m 2s
ci: wire Homebrew tap token into release workflow codeql #66: Pull request #27 opened by davidahmann
1m 10s codex/release-brew-token
codex/release-brew-token
1m 10s
fix: address codex review items for installer, error kind, and exit m… codeql #65: Commit 353d2b0 pushed by davidahmann
1m 3s main
main
1m 3s
Fix Codex review findings from #24 codeql #64: Pull request #26 opened by davidahmann
1m 3s codex/fix-codex-review-items
codex/fix-codex-review-items
1m 3s
test: satisfy core coverage gates for bundle and errors (#25) codeql #63: Commit 3e2ac8c pushed by davidahmann
1m 18s main
main
1m 18s
Fix core coverage gates after bundle/errors additions codeql #62: Pull request #25 opened by davidahmann
1m 18s codex/fix-core-errors-coverage
codex/fix-core-errors-coverage
1m 18s
refactor bundle api, add typed errors, docs/contracts, and framework … codeql #61: Commit 7f529d0 pushed by davidahmann
1m 8s main
main
1m 8s
Implement proof contract, bundle API refactor, typed errors, and framework/doc hygiene codeql #60: Pull request #24 opened by davidahmann
1m 16s codex/proof-required-changes
codex/proof-required-changes
1m 16s