Skip to content

Actions: ProvableHQ/leo

Actions

Benchmarks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
benchmarks.yml
1,320 workflow runs
1,320 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
Intern types for canonical identity Benchmarks #1542: Pull request #29570 synchronize by IGI-111
7m 52s IGI-111/generics-alt
IGI-111/generics-alt
7m 52s
Forward Optional projections after final SSA Benchmarks #1541: Pull request #29543 synchronize by 1sgtpepper
Action required 1sgtpepper:fix/29343-ssa-const-prop-alias-v11
1sgtpepper:fix/29343-ssa-const-prop-alias-v11
Action required
Guard storage vector pops in ternary arms Benchmarks #1540: Pull request #29574 synchronize by 1sgtpepper
Action required 1sgtpepper:fix/29567-storage-ternary-cps-v18
1sgtpepper:fix/29567-storage-ternary-cps-v18
Action required
Remove AST-to-JSON snapshot export feature and its tests (#29597) Benchmarks #1539: Commit 278a36a pushed by IGI-111
8m 5s master
master
8m 5s
Remove AST-to-JSON snapshot export feature and its tests Benchmarks #1538: Pull request #29597 synchronize by IGI-111
6m 46s IGI-111/remove-snapshot
IGI-111/remove-snapshot
6m 46s
Remove AST-to-JSON snapshot export feature and its tests Benchmarks #1537: Pull request #29597 opened by IGI-111
6m 33s IGI-111/remove-snapshot
IGI-111/remove-snapshot
6m 33s
Forward Optional projections after final SSA Benchmarks #1536: Pull request #29543 synchronize by 1sgtpepper
Action required 1sgtpepper:fix/29343-ssa-const-prop-alias-v11
1sgtpepper:fix/29343-ssa-const-prop-alias-v11
Action required
Intern types for canonical identity Benchmarks #1535: Pull request #29570 synchronize by IGI-111
8m 21s IGI-111/generics-alt
IGI-111/generics-alt
8m 21s
Intern types for canonical identity Benchmarks #1534: Pull request #29570 synchronize by IGI-111
6m 52s IGI-111/generics-alt
IGI-111/generics-alt
6m 52s
Relax CEI analysis to prevent false positive warnings Benchmarks #1533: Pull request #29576 synchronize by IGI-111
8m 17s IGI-111/rework-cei
IGI-111/rework-cei
8m 17s
Migrate context accessors to std::ctx / std::prog, reserve Self… Benchmarks #1532: Commit 3b9f0c8 pushed by IGI-111
8m 5s master
master
8m 5s
Migrate context accessors to std::ctx / std::prog, reserve Self, enable const generics on final fn Benchmarks #1531: Pull request #29553 synchronize by IGI-111
8m 9s IGI-111/remove_self
IGI-111/remove_self
8m 9s
Migrate context accessors to std::ctx / std::prog, reserve Self, enable const generics on final fn Benchmarks #1530: Pull request #29553 synchronize by IGI-111
8m 17s IGI-111/remove_self
IGI-111/remove_self
8m 17s
Migrate context accessors to std::ctx / std::prog, reserve Self, enable const generics on final fn Benchmarks #1529: Pull request #29553 synchronize by IGI-111
8m 1s IGI-111/remove_self
IGI-111/remove_self
8m 1s
Intern types for canonical identity Benchmarks #1528: Pull request #29570 synchronize by IGI-111
13m 2s IGI-111/generics-alt
IGI-111/generics-alt
13m 2s
Relax CEI analysis to prevent false positive warnings Benchmarks #1527: Pull request #29576 synchronize by IGI-111
12m 10s IGI-111/rework-cei
IGI-111/rework-cei
12m 10s
Make dependencies visible to in-package test programs (#29595) Benchmarks #1526: Commit e8ec58b pushed by IGI-111
12m 48s master
master
12m 48s
Relax CEI analysis to prevent false positive warnings Benchmarks #1525: Pull request #29576 synchronize by IGI-111
12m 44s IGI-111/rework-cei
IGI-111/rework-cei
12m 44s
Fix five leo-fmt bugs (#29590) Benchmarks #1524: Commit 3a18d24 pushed by IGI-111
15m 2s master
master
15m 2s
Bump to v4.3.4 Benchmarks #1523: Pull request #29594 opened by mohammadfawaz
15m 38s mohammadfawaz/bump-4.3.4
mohammadfawaz/bump-4.3.4
15m 38s
Spill external-struct cast operands in finalize Benchmarks #1522: Pull request #29587 synchronize by mohammadfawaz
12m 57s mohammadfawaz/29586
mohammadfawaz/29586
12m 57s
Spill external-struct cast operands in finalize Benchmarks #1521: Pull request #29587 synchronize by mohammadfawaz
8m 29s mohammadfawaz/29586
mohammadfawaz/29586
8m 29s
Forward Optional projections after final SSA Benchmarks #1520: Pull request #29543 synchronize by 1sgtpepper
Action required 1sgtpepper:fix/29343-ssa-const-prop-alias-v11
1sgtpepper:fix/29343-ssa-const-prop-alias-v11
Action required
Spill external-struct cast operands in finalize Benchmarks #1519: Pull request #29587 synchronize by mohammadfawaz
12m 55s mohammadfawaz/29586
mohammadfawaz/29586
12m 55s
Spill external-struct cast operands in finalize Benchmarks #1518: Pull request #29587 opened by mohammadfawaz
16m 55s mohammadfawaz/29586
mohammadfawaz/29586
16m 55s