Skip to content

Actions: acgetchell/la-stack

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
182 workflow runs
182 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
docs(api): clarify finite solve and norm guarantees CodeQL #32: Commit fb71485 pushed by acgetchell
2m 2s main
main
2m 2s
Merge pull request #135 from acgetchell/fix/finite-proof-revalidation CodeQL #31: Commit db5bcd4 pushed by acgetchell
2m 12s main
main
2m 12s
fix(invariants): revalidate public compute inputs CodeQL #30: Pull request #135 opened by acgetchell
1m 58s fix/finite-proof-revalidation
fix/finite-proof-revalidation
1m 58s
Merge pull request #134 from acgetchell/refactor/finite-proof-simplif… CodeQL #29: Commit c6cde72 pushed by acgetchell
2m 6s main
main
2m 6s
refactor(invariants): simplify finite proof wrappers CodeQL #28: Pull request #134 opened by acgetchell
1m 57s refactor/finite-proof-simplification
refactor/finite-proof-simplification
1m 57s
Merge pull request #133 from acgetchell/feat/98-finite-api-invariants CodeQL #27: Commit ed7dc46 pushed by acgetchell
2m 7s main
main
2m 7s
feat!(api): enforce finite Matrix and Vector construction CodeQL #26: Pull request #133 synchronize by acgetchell
2m 15s feat/98-finite-api-invariants
feat/98-finite-api-invariants
2m 15s
feat!(api): enforce finite Matrix and Vector construction CodeQL #25: Pull request #133 opened by acgetchell
1m 58s feat/98-finite-api-invariants
feat/98-finite-api-invariants
1m 58s
Merge pull request #132 from acgetchell/feat/125-unwrap-expect-guardr… CodeQL #24: Commit eab56a6 pushed by acgetchell
2m 1s main
main
2m 1s
feat(validation): guard public Rust examples against unwrap CodeQL #23: Pull request #132 synchronize by acgetchell
2m 13s feat/125-unwrap-expect-guardrails
feat/125-unwrap-expect-guardrails
2m 13s
feat(validation): guard public Rust examples against unwrap CodeQL #22: Pull request #132 opened by acgetchell
2m 6s feat/125-unwrap-expect-guardrails
feat/125-unwrap-expect-guardrails
2m 6s
Merge pull request #131 from acgetchell/feat/126-internal-finite-proofs CodeQL #21: Commit 23bc7a4 pushed by acgetchell
2m 7s main
main
2m 7s
feat!(api): hide finite and symmetry proofs behind matrix APIs CodeQL #20: Pull request #131 synchronize by acgetchell
2m 1s feat/126-internal-finite-proofs
feat/126-internal-finite-proofs
2m 1s
feat!(api): hide finite and symmetry proofs behind matrix APIs CodeQL #19: Pull request #131 opened by acgetchell
2m 6s feat/126-internal-finite-proofs
feat/126-internal-finite-proofs
2m 6s
Merge pull request #130 from acgetchell/refactor/120-nonzero-exact-ma… CodeQL #18: Commit d66a43a pushed by acgetchell
2m 10s main
main
2m 10s
refactor(exact): encode nonzero mantissas in exact decomposition CodeQL #17: Pull request #130 opened by acgetchell
1m 59s refactor/120-nonzero-exact-mantissas
refactor/120-nonzero-exact-mantissas
1m 59s
Merge pull request #129 from acgetchell/fix/82-det-error-semantics CodeQL #16: Commit 18a4e44 pushed by acgetchell
2m 12s main
main
2m 12s
feat!(matrix): make determinant API tolerance-free CodeQL #15: Pull request #129 opened by acgetchell
2m 14s fix/82-det-error-semantics
fix/82-det-error-semantics
2m 14s
Merge pull request #128 from acgetchell/fix/94-tolerance-invariants CodeQL #14: Commit 3ae3781 pushed by acgetchell
2m 12s main
main
2m 12s
fix(matrix): reject overflowed symmetry tolerance scaling CodeQL #13: Pull request #128 opened by acgetchell
2m 2s fix/94-tolerance-invariants
fix/94-tolerance-invariants
2m 2s
Merge pull request #127 from acgetchell/feat/83-matrix-set-option CodeQL #12: Commit 1dac6cc pushed by acgetchell
2m 7s main
main
2m 7s
feat!(api): enforce fallible numeric invariants CodeQL #11: Pull request #127 opened by acgetchell
1m 59s feat/83-matrix-set-option
feat/83-matrix-set-option
1m 59s
Merge pull request #124 from acgetchell/feat/109-fallible-matrix-inva… CodeQL #10: Commit 6124948 pushed by acgetchell
1m 56s main
main
1m 56s
feat!(matrix): enforce fallible matrix invariants CodeQL #9: Pull request #124 opened by acgetchell
2m 12s feat/109-fallible-matrix-invariants
feat/109-fallible-matrix-invariants
2m 12s
docs: document scalar scope and release roadmap CodeQL #8: Commit bfb0393 pushed by acgetchell
2m 2s main
main
2m 2s