Skip to content

Actions: viperproject/helium

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
79 workflow runs
79 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
allow to sample files at random CI #73: Commit 3743f1e pushed by The-Ray-Man
3m 23s ramon/shuffleFiles
ramon/shuffleFiles
3m 23s
Scaling families for the program dimensions where verification cost is non-linear CI #72: Pull request #16 synchronize by The-Ray-Man
2s scaling-families
scaling-families
2s
moved and regenerated scaling tests. CI #71: Commit 9f361b1 pushed by The-Ray-Man
1m 11s scaling-families
scaling-families
1m 11s
Scaling families for the program dimensions where verification cost is non-linear CI #70: Pull request #16 synchronize by The-Ray-Man
2s scaling-families
scaling-families
2s
moved and regenerated scaling tests. CI #69: Commit 27a8d73 pushed by The-Ray-Man
1m 5s scaling-families
scaling-families
1m 5s
moved and regenerated scaling tests. CI #68: Commit 3bbd95a pushed by The-Ray-Man
1m 7s scaling-families
scaling-families
1m 7s
build: take egg from a fork checked out as a submodule (#12) CI #67: Commit 51d19b3 pushed by The-Ray-Man
3m 25s main
main
3m 25s
CI CI #66: by The-Ray-Man
3m 9s benchmarks
benchmarks
3m 9s
pages build and deployment pages-build-deployment #4: by The-Ray-Man
1m 45s benchmarks
benchmarks
1m 45s
pages build and deployment pages-build-deployment #3: by The-Ray-Man
1m 29s benchmarks
benchmarks
1m 29s
Run benchmark on files helium and silicon agrees CI #65: Commit 7cc8758 pushed by The-Ray-Man
3m 4s benchmarks
benchmarks
3m 4s
Fix silicon error ranges (#20) CI #64: Commit 2a242bc pushed by The-Ray-Man
3m 26s main
main
3m 26s
Fix silicon error ranges CI #63: Pull request #20 opened by The-Ray-Man
4s fix-silicon-error-ranges
fix-silicon-error-ranges
4s
Run benchmark on files helium and silicon agrees CI #62: Commit 3d674de pushed by The-Ray-Man
2m 35s benchmarks
benchmarks
2m 35s
pages build and deployment pages-build-deployment #2: by The-Ray-Man
48s benchmarks
benchmarks
48s
pages build and deployment pages-build-deployment #1: by The-Ray-Man
1m 36s benchmarks
benchmarks
1m 36s
Run benchmark on files helium and silicon agrees CI #61: Commit 10af617 pushed by The-Ray-Man
3m 42s benchmarks
benchmarks
3m 42s
bench: run Silicon only in the warm JVM; drop the cold runs CI #60: Commit a1009f4 pushed by The-Ray-Man
3m 57s fix-silicon-error-ranges
fix-silicon-error-ranges
3m 57s
Bucket rules apply only to classes their searcher matches (#18) CI #59: Commit 0a0db42 pushed by The-Ray-Man
3m 2s main
main
3m 2s
bench: run Silicon only in the warm JVM; drop the cold runs CI #58: Commit 09ded52 pushed by The-Ray-Man
3m 28s fix-silicon-error-ranges
fix-silicon-error-ranges
3m 28s
bench: --only accepts stems and paths; add --only-file; report unmatc… CI #57: Commit c61f569 pushed by The-Ray-Man
2m 33s fix-silicon-error-ranges
fix-silicon-error-ranges
2m 33s
bench: time Silicon in a warm JVM as well (silicon_warm) CI #56: Commit 4bb4896 pushed by The-Ray-Man
3m 28s fix-silicon-error-ranges
fix-silicon-error-ranges
3m 28s
A scaled permission cannot be shown positive: decide positivity by the term's sign CI #55: Pull request #19 opened by JonasAlaif
1s function-precondition-permissions
function-precondition-permissions
1s
Semi-naive matching: search only what changed since a rule last ran CI #54: Commit 88437df pushed by JonasAlaif
18s semi-naive-matching
semi-naive-matching
18s
Memoize perm_sign per call so the sign walk is linear CI #53: Commit 459e333 pushed by JonasAlaif
4m 5s function-precondition-permissions
function-precondition-permissions
4m 5s