Skip to content

Actions: ProvableHQ/leo

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,325 workflow runs
1,325 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
Code Coverage Code Coverage #669: Scheduled
12m 10s master
master
12m 10s
feat(passes): leverage snarkVM aggregate ternary opcodes Benchmarks #496: Pull request #29349 synchronize by mohammadfawaz
4m 51s mohammadfawaz/ternary_ops
mohammadfawaz/ternary_ops
4m 51s
feat(passes): leverage snarkVM aggregate ternary opcodes Benchmarks #495: Pull request #29349 opened by mohammadfawaz
7m 33s mohammadfawaz/ternary_ops
mohammadfawaz/ternary_ops
7m 33s
Rewrite monomorphization and inlining passes Benchmarks #494: Pull request #29340 synchronize by mohammadfawaz
4m 38s mohammadfawaz/inline-external-submodule-fns
mohammadfawaz/inline-external-submodule-fns
4m 38s
Rewrite monomorphization and inlining passes Benchmarks #493: Pull request #29340 synchronize by mohammadfawaz
4m 41s mohammadfawaz/inline-external-submodule-fns
mohammadfawaz/inline-external-submodule-fns
4m 41s
feat(parser,passes): dynamic mapping access syntax for interfaces Benchmarks #492: Pull request #29339 synchronize by mohammadfawaz
7m 23s mohammadfawaz/29294
mohammadfawaz/29294
7m 23s
Rewrite monomorphization and inlining passes Benchmarks #491: Pull request #29340 synchronize by mohammadfawaz
4m 41s mohammadfawaz/inline-external-submodule-fns
mohammadfawaz/inline-external-submodule-fns
4m 41s
feat(LSP) Implement semantic highlighting. Benchmarks #490: Pull request #29345 synchronize by JoshuaBatty
4m 54s josh/semantic_hightlighting
josh/semantic_hightlighting
4m 54s
feat(LSP) Implement semantic highlighting. Benchmarks #489: Pull request #29345 synchronize by JoshuaBatty
5m 14s josh/semantic_hightlighting
josh/semantic_hightlighting
5m 14s
feat(LSP) Implement semantic highlighting. Benchmarks #488: Pull request #29345 synchronize by JoshuaBatty
4m 54s josh/semantic_hightlighting
josh/semantic_hightlighting
4m 54s
Rewrite monomorphization and inlining passes Benchmarks #487: Pull request #29340 synchronize by mohammadfawaz
4m 49s mohammadfawaz/inline-external-submodule-fns
mohammadfawaz/inline-external-submodule-fns
4m 49s
Rewrite monomorphization and inlining passes Benchmarks #486: Pull request #29340 synchronize by mohammadfawaz
4m 42s mohammadfawaz/inline-external-submodule-fns
mohammadfawaz/inline-external-submodule-fns
4m 42s
feat(LSP) Implement semantic highlighting. Benchmarks #485: Pull request #29345 synchronize by JoshuaBatty
5m 31s josh/semantic_hightlighting
josh/semantic_hightlighting
5m 31s
feat(LSP) Implement semantic highlighting. Benchmarks #484: Pull request #29345 synchronize by JoshuaBatty
3m 38s josh/semantic_hightlighting
josh/semantic_hightlighting
3m 38s
Rewrite monomorphization and inlining passes Benchmarks #483: Pull request #29340 synchronize by mohammadfawaz
4m 43s mohammadfawaz/inline-external-submodule-fns
mohammadfawaz/inline-external-submodule-fns
4m 43s
feat(LSP) Implement semantic highlighting. Benchmarks #482: Pull request #29345 synchronize by JoshuaBatty
4m 54s josh/semantic_hightlighting
josh/semantic_hightlighting
4m 54s
feat(LSP) Implement semantic highlighting. Benchmarks #481: Pull request #29345 synchronize by JoshuaBatty
4m 52s josh/semantic_hightlighting
josh/semantic_hightlighting
4m 52s
Rewrite monomorphization and inlining passes Benchmarks #480: Pull request #29340 synchronize by mohammadfawaz
4m 52s mohammadfawaz/inline-external-submodule-fns
mohammadfawaz/inline-external-submodule-fns
4m 52s
feat(LSP) Implement semantic highlighting. Benchmarks #479: Pull request #29345 opened by JoshuaBatty
6m 6s josh/semantic_hightlighting
josh/semantic_hightlighting
6m 6s
Rewrite monomorphization and inlining passes Benchmarks #478: Pull request #29340 synchronize by mohammadfawaz
4m 37s mohammadfawaz/inline-external-submodule-fns
mohammadfawaz/inline-external-submodule-fns
4m 37s
cargo in /. for rustls-webpki - Update #1326708757 Dependabot Updates #39: by dependabot bot
1m 4s master
master
1m 4s
Rewrite monomorphization and inlining passes Benchmarks #477: Pull request #29340 synchronize by mohammadfawaz
4m 42s mohammadfawaz/inline-external-submodule-fns
mohammadfawaz/inline-external-submodule-fns
4m 42s
Rewrite monomorphization and inlining passes Benchmarks #476: Pull request #29340 synchronize by mohammadfawaz
4m 38s mohammadfawaz/inline-external-submodule-fns
mohammadfawaz/inline-external-submodule-fns
4m 38s
Rewrite monomorphization and inlining passes Benchmarks #475: Pull request #29340 synchronize by mohammadfawaz
4m 37s mohammadfawaz/inline-external-submodule-fns
mohammadfawaz/inline-external-submodule-fns
4m 37s
Rewrite monomorphization and inlining passes Benchmarks #474: Pull request #29340 synchronize by mohammadfawaz
4m 59s mohammadfawaz/inline-external-submodule-fns
mohammadfawaz/inline-external-submodule-fns
4m 59s