Skip to content

Actions: TritonVM/triton-vm

Actions

Rust

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
736 workflow runs
736 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

August 9, 2023 13:48 30m 8s
parallelize extending tables
Rust #850: Pull request #218 synchronize by jan-ferdinand
August 9, 2023 10:56 26m 27s par_extend
August 9, 2023 10:56 26m 27s
have make use its own build directory
Rust #849: Commit 3b4522c pushed by jan-ferdinand
August 9, 2023 09:11 23m 19s master
August 9, 2023 09:11 23m 19s
add specification for TIP-0007 – Run-Time Permutation Check
Rust #848: Commit 82f81f3 pushed by jan-ferdinand
August 9, 2023 09:06 21m 49s master
August 9, 2023 09:06 21m 49s
slightly improve interface for Arithmetic Domain
Rust #847: Commit c9907e2 pushed by jan-ferdinand
August 9, 2023 08:12 21m 56s master
August 9, 2023 08:12 21m 56s
parallelize extending tables
Rust #846: Pull request #218 synchronize by jan-ferdinand
August 8, 2023 15:44 27m 22s par_extend
August 8, 2023 15:44 27m 22s
initialize RAM non-deterministically
Rust #845: Commit fb314ae pushed by jan-ferdinand
August 8, 2023 15:10 21m 30s master
August 8, 2023 15:10 21m 30s
parallelize extending tables
Rust #844: Pull request #218 synchronize by jan-ferdinand
August 8, 2023 15:02 23m 4s par_extend
August 8, 2023 15:02 23m 4s
bump and sort dependencies
Rust #843: Commit 7f24c6e pushed by jan-ferdinand
August 8, 2023 14:19 37m 25s master
August 8, 2023 14:19 37m 25s
test padding program requiring no padding zeros
Rust #842: Commit 18e81ff pushed by jan-ferdinand
August 8, 2023 10:11 26m 3s master
August 8, 2023 10:11 26m 3s
non-deterministic initialization of RAM
Rust #841: Pull request #216 synchronize by jan-ferdinand
August 8, 2023 09:52 23m 45s non_det_ram
August 8, 2023 09:52 23m 45s
parallelize extending tables
Rust #840: Pull request #218 synchronize by jan-ferdinand
August 7, 2023 14:28 24m 50s par_extend
August 7, 2023 14:28 24m 50s
non-deterministic initialization of RAM
Rust #839: Pull request #216 synchronize by jan-ferdinand
August 7, 2023 14:26 29m 28s non_det_ram
August 7, 2023 14:26 29m 28s
use .borrow() directly instead of on explicit .as_ref()
Rust #838: Commit 07af187 pushed by jan-ferdinand
August 7, 2023 08:42 23m 4s master
August 7, 2023 08:42 23m 4s
remove dead code, improve readability of various methods
Rust #837: Commit a4187c5 pushed by jan-ferdinand
August 7, 2023 07:05 25m 21s master
August 7, 2023 07:05 25m 21s
slightly simplify constraint code generation
Rust #836: Commit ffad9eb pushed by jan-ferdinand
August 6, 2023 22:47 24m 28s master
August 6, 2023 22:47 24m 28s
upgrade to GitHub Actions' checkout v3
Rust #835: Commit 44a1879 pushed by jan-ferdinand
August 6, 2023 16:18 29m 27s master
August 6, 2023 16:18 29m 27s
August 6, 2023 15:03 28m 55s
use CI to upload code coverage results to coveralls.io
Rust #833: Commit 01e03ae pushed by jan-ferdinand
August 5, 2023 20:49 31m 21s master
August 5, 2023 20:49 31m 21s
use CI to upload code coverage results to coveralls.io
Rust #832: Pull request #217 synchronize by jan-ferdinand
August 5, 2023 08:25 23m 58s coverage
August 5, 2023 08:25 23m 58s
parallelize extending tables
Rust #831: Pull request #218 opened by jan-ferdinand
August 5, 2023 06:36 46m 42s par_extend
August 5, 2023 06:36 46m 42s
parallelize evaluation of out-of-domain rows
Rust #830: Commit dbb9690 pushed by jan-ferdinand
August 5, 2023 06:34 57m 25s master
August 5, 2023 06:34 57m 25s
use CI to upload code coverage results to coveralls.io
Rust #829: Pull request #217 synchronize by jan-ferdinand
August 4, 2023 13:11 22m 54s coverage
August 4, 2023 13:11 22m 54s
use CI to upload code coverage results to coveralls.io
Rust #828: Pull request #217 synchronize by jan-ferdinand
August 4, 2023 12:42 27m 51s coverage
August 4, 2023 12:42 27m 51s
use CI to upload code coverage results to coveralls.io
Rust #827: Pull request #217 synchronize by jan-ferdinand
August 4, 2023 12:37 34m 58s coverage
August 4, 2023 12:37 34m 58s
ProTip! You can narrow down the results and go further in time using created:<2023-08-04 or the other filters available.