Skip to content

Actions: plasma-umass/scalene

Actions

linters

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
run-linters.yml
606 workflow runs
606 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: HANDOFF bookkeeping — all formal PRs merged (clears stale §3b) linters #593: Pull request #1081 opened by emeryberger
29s handoff-clear-open-prs
handoff-clear-open-prs
29s
Formal: close PASTA + prove 2 metrics end-to-end across C++/Python; a… linters #592: Commit e1fffef pushed by emeryberger
35s master
master
35s
Formal: close PASTA + prove 2 metrics end-to-end across C++/Python; add STATUS.md linters #591: Pull request #1080 synchronize by emeryberger
30s formal-pasta-and-copy-wiring
formal-pasta-and-copy-wiring
30s
Formal: close PASTA + prove 2 metrics end-to-end across C++/Python; add STATUS.md linters #590: Pull request #1080 synchronize by emeryberger
30s formal-pasta-and-copy-wiring
formal-pasta-and-copy-wiring
30s
Formal: close PASTA + prove 2 metrics end-to-end across C++/Python; add STATUS.md linters #589: Pull request #1080 synchronize by emeryberger
30s formal-pasta-and-copy-wiring
formal-pasta-and-copy-wiring
30s
Formal: close PASTA + prove 2 metrics end-to-end across C++/Python; add STATUS.md linters #588: Pull request #1080 opened by emeryberger
29s formal-pasta-and-copy-wiring
formal-pasta-and-copy-wiring
29s
Formal: HANDOFF bookkeeping — all formal PRs merged linters #587: Pull request #1079 opened by emeryberger
32s handoff-1078-merged
handoff-1078-merged
32s
Fix two more divide-by-zero bugs found by the formalization audit (#1… linters #586: Commit 79609ea pushed by emeryberger
29s master
master
29s
Fix two more divide-by-zero bugs found by the formalization audit linters #585: Pull request #1078 synchronize by emeryberger
34s fix-stacks-total-cpu-zerodiv
fix-stacks-total-cpu-zerodiv
34s
Fix two more divide-by-zero bugs found by the formalization audit linters #584: Pull request #1078 opened by emeryberger
32s fix-stacks-total-cpu-zerodiv
fix-stacks-total-cpu-zerodiv
32s
Formal: literal two-counter sampler reduction + per-line attribution … linters #583: Commit a14024b pushed by emeryberger
32s master
master
32s
Fix two divide-by-zero / unbounded-sampling bugs found by formalizati… linters #582: Commit 6b39f76 pushed by emeryberger
33s master
master
33s
Formal: literal two-counter sampler reduction + per-line attribution under sampling linters #581: Pull request #1076 synchronize by emeryberger
29s formal-sampler-refinements
formal-sampler-refinements
29s
Formal: literal two-counter sampler reduction + per-line attribution under sampling linters #580: Pull request #1076 synchronize by emeryberger
33s formal-sampler-refinements
formal-sampler-refinements
33s
Formal: literal two-counter sampler reduction + per-line attribution under sampling linters #579: Pull request #1076 synchronize by emeryberger
31s formal-sampler-refinements
formal-sampler-refinements
31s
Fix two divide-by-zero / unbounded-sampling bugs found by formalization linters #578: Pull request #1077 opened by emeryberger
29s fix-leak-velocity-and-sampling-window
fix-leak-velocity-and-sampling-window
29s
Formal: literal two-counter sampler reduction + per-line attribution under sampling linters #577: Pull request #1076 opened by emeryberger
29s formal-sampler-refinements
formal-sampler-refinements
29s
Formal: Poisson sampler + GPU/copy/python-split/leak + memory-sampler… linters #576: Commit 248b4c8 pushed by emeryberger
31s master
master
31s
Formal: Poisson sampler justification + GPU/copy/python-split/leak/memory-sampler correctness linters #575: Pull request #1075 opened by emeryberger
32s formal-sampler-and-metrics
formal-sampler-and-metrics
32s
Formal: regenerate oracle with upstream-fixed LeanToPython, drop min2… linters #574: Commit a8ff4df pushed by emeryberger
29s master
master
29s
CI: harden test_off_then_on_via_signal against SIGILL startup race (#… linters #573: Commit 8558af5 pushed by emeryberger
31s master
master
31s
Formal: regenerate verified oracle with upstream-fixed LeanToPython (drop min2 workaround) linters #572: Pull request #1073 synchronize by emeryberger
30s formal-regen-drop-min2
formal-regen-drop-min2
30s
Formal: prove the profiler-correctness desideratum (unbiased + consis… linters #571: Commit 31909af pushed by emeryberger
32s master
master
32s
CI: harden test_off_then_on_via_signal against SIGILL startup race linters #570: Pull request #1074 opened by emeryberger
29s ci-stabilize-onoff-signal
ci-stabilize-onoff-signal
29s
Formal: regenerate verified oracle with upstream-fixed LeanToPython (drop min2 workaround) linters #569: Pull request #1073 opened by emeryberger
30s formal-regen-drop-min2
formal-regen-drop-min2
30s