Skip to content

Actions: plasma-umass/scalene

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
748 workflow runs
748 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
Formal: Poisson sampler + GPU/copy/python-split/leak + memory-sampler… CodeQL #1839: Commit 248b4c8 pushed by emeryberger
2m 9s master
master
2m 9s
Formal: Poisson sampler justification + GPU/copy/python-split/leak/memory-sampler correctness CodeQL #1838: Pull request #1075 opened by emeryberger
1m 55s formal-sampler-and-metrics
formal-sampler-and-metrics
1m 55s
Formal: regenerate oracle with upstream-fixed LeanToPython, drop min2… CodeQL #1837: Commit a8ff4df pushed by emeryberger
2m 10s master
master
2m 10s
CI: harden test_off_then_on_via_signal against SIGILL startup race (#… CodeQL #1836: Commit 8558af5 pushed by emeryberger
2m 10s master
master
2m 10s
Formal: regenerate verified oracle with upstream-fixed LeanToPython (drop min2 workaround) CodeQL #1835: Pull request #1073 synchronize by emeryberger
2m 16s formal-regen-drop-min2
formal-regen-drop-min2
2m 16s
Formal: prove the profiler-correctness desideratum (unbiased + consis… CodeQL #1834: Commit 31909af pushed by emeryberger
2m 11s master
master
2m 11s
CI: harden test_off_then_on_via_signal against SIGILL startup race CodeQL #1833: Pull request #1074 opened by emeryberger
2m 1s ci-stabilize-onoff-signal
ci-stabilize-onoff-signal
2m 1s
Formal: regenerate verified oracle with upstream-fixed LeanToPython (drop min2 workaround) CodeQL #1832: Pull request #1073 opened by emeryberger
2m 5s formal-regen-drop-min2
formal-regen-drop-min2
2m 5s
Formal: prove profiler-correctness desideratum (unbiased + consistent attribution) CodeQL #1831: Pull request #1072 opened by emeryberger
2m 3s formal-profiler-correctness
formal-profiler-correctness
2m 3s
CI: make mac_sampler timing tests poll instead of fixed-sleep (#1071) CodeQL #1830: Commit 0e51afd pushed by emeryberger
2m 5s master
master
2m 5s
Formal: prove combined_stacks capacity bound + extract verified Pytho… CodeQL #1829: Commit a975ad0 pushed by emeryberger
2m 24s master
master
2m 24s
CI: make mac_sampler timing tests poll instead of fixed-sleep CodeQL #1828: Pull request #1071 opened by emeryberger
1m 55s ci-stabilize-mac-sampler
ci-stabilize-mac-sampler
1m 55s
Formal: prove combined_stacks capacity bound + extract verified Python into production CodeQL #1827: Pull request #1070 synchronize by emeryberger
2m 1s formal-extraction-pipeline
formal-extraction-pipeline
2m 1s
Formal: prove combined_stacks capacity bound + extract verified Python into production CodeQL #1826: Pull request #1070 synchronize by emeryberger
2m 5s formal-extraction-pipeline
formal-extraction-pipeline
2m 5s
Formal: prove combined_stacks capacity bound + extract verified Python into production CodeQL #1825: Pull request #1070 opened by emeryberger
2m 8s formal-extraction-pipeline
formal-extraction-pipeline
2m 8s
Add formal models (TLA+ + Lean) of Scalene concurrency & correctness … CodeQL #1824: Commit 80aafb7 pushed by emeryberger
2m 10s master
master
2m 10s
Declare free-threaded safety for _scalene_unwind module (#1065) CodeQL #1823: Commit 8d3c62b pushed by emeryberger
1m 59s master
master
1m 59s
Add formal models (TLA+ + Lean) of Scalene concurrency & correctness CodeQL #1822: Pull request #1068 synchronize by emeryberger
2m 2s formal-models
formal-models
2m 2s
Declare free-threaded safety for _scalene_unwind module CodeQL #1821: Pull request #1065 synchronize by emeryberger
2m 7s fix-freethreaded-gil-unwind
fix-freethreaded-gil-unwind
2m 7s
CI: stop two flaky tests from sinking the matrix (#1069) CodeQL #1820: Commit ee11ad1 pushed by emeryberger
2m 5s master
master
2m 5s
CI: stop two flaky tests (parity timing, HyperLogLog hash-seed) from sinking the matrix CodeQL #1819: Pull request #1069 opened by emeryberger
1m 53s ci-stabilize-flaky-tests
ci-stabilize-flaky-tests
1m 53s
Declare free-threaded safety for _scalene_unwind module CodeQL #1818: Pull request #1065 synchronize by emeryberger
2m 4s fix-freethreaded-gil-unwind
fix-freethreaded-gil-unwind
2m 4s
Fix 'dictionary changed size during iteration' race in stack output (… CodeQL #1817: Commit 00d07bf pushed by emeryberger
2m 11s master
master
2m 11s
Add formal models (TLA+ + Lean) of Scalene concurrency & correctness CodeQL #1816: Pull request #1068 opened by emeryberger
2m 3s formal-models
formal-models
2m 3s
Fix 'dictionary changed size during iteration' race in --stacks output CodeQL #1815: Pull request #1067 opened by emeryberger
2m 13s fix-combined-stacks-race
fix-combined-stacks-race
2m 13s