Skip to content

Actions: plasma-umass/scalene

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Fix two more divide-by-zero bugs found by the formalization audit tests #999: Pull request #1078 synchronize by emeryberger
44m 5s fix-stacks-total-cpu-zerodiv
fix-stacks-total-cpu-zerodiv
44m 5s
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 smoketests #2413: Pull request #1078 synchronize by emeryberger
5m 53s fix-stacks-total-cpu-zerodiv
fix-stacks-total-cpu-zerodiv
5m 53s
Fix two more divide-by-zero bugs found by the formalization audit CodeQL #1848: Pull request #1078 opened by emeryberger
2m 6s fix-stacks-total-cpu-zerodiv
fix-stacks-total-cpu-zerodiv
2m 6s
Fix two more divide-by-zero bugs found by the formalization audit smoketests #2412: Pull request #1078 opened by emeryberger
4m 12s fix-stacks-total-cpu-zerodiv
fix-stacks-total-cpu-zerodiv
4m 12s
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
Fix two more divide-by-zero bugs found by the formalization audit tests #998: Pull request #1078 opened by emeryberger
4m 33s fix-stacks-total-cpu-zerodiv
fix-stacks-total-cpu-zerodiv
4m 33s
CodeQL CodeQL #1847: Scheduled
1m 55s master
master
1m 55s
Formal: literal two-counter sampler reduction + per-line attribution … CodeQL #1846: Commit a14024b pushed by emeryberger
2m 8s master
master
2m 8s
Formal: literal two-counter sampler reduction + per-line attribution … Format code #155: Commit a14024b pushed by emeryberger
9s master
master
9s
Formal: literal two-counter sampler reduction + per-line attribution … smoketests #2411: Commit a14024b pushed by emeryberger
22m 55s master
master
22m 55s
Formal: literal two-counter sampler reduction + per-line attribution … linters #583: Commit a14024b pushed by emeryberger
32s master
master
32s
Formal: literal two-counter sampler reduction + per-line attribution … tests #997: Commit a14024b pushed by emeryberger
1h 9m 8s master
master
1h 9m 8s
Fix two divide-by-zero / unbounded-sampling bugs found by formalizati… smoketests #2410: Commit 6b39f76 pushed by emeryberger
42m 37s master
master
42m 37s
Fix two divide-by-zero / unbounded-sampling bugs found by formalizati… linters #582: Commit 6b39f76 pushed by emeryberger
33s master
master
33s
Fix two divide-by-zero / unbounded-sampling bugs found by formalizati… Format code #154: Commit 6b39f76 pushed by emeryberger
15s master
master
15s
Fix two divide-by-zero / unbounded-sampling bugs found by formalizati… tests #996: Commit 6b39f76 pushed by emeryberger
58m 16s master
master
58m 16s
Fix two divide-by-zero / unbounded-sampling bugs found by formalizati… CodeQL #1845: Commit 6b39f76 pushed by emeryberger
2m 4s master
master
2m 4s
Formal: literal two-counter sampler reduction + per-line attribution under sampling tests #995: Pull request #1076 synchronize by emeryberger
38m 22s formal-sampler-refinements
formal-sampler-refinements
38m 22s
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 CodeQL #1844: Pull request #1076 synchronize by emeryberger
2m 0s formal-sampler-refinements
formal-sampler-refinements
2m 0s
Formal: literal two-counter sampler reduction + per-line attribution under sampling smoketests #2409: Pull request #1076 synchronize by emeryberger
1m 59s formal-sampler-refinements
formal-sampler-refinements
1m 59s
Formal: literal two-counter sampler reduction + per-line attribution under sampling smoketests #2408: Pull request #1076 synchronize by emeryberger
17m 16s formal-sampler-refinements
formal-sampler-refinements
17m 16s
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 tests #994: Pull request #1076 synchronize by emeryberger
17m 15s formal-sampler-refinements
formal-sampler-refinements
17m 15s