Skip to content

Actions: formal-land/coq-of-rust

Actions

Rust

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rust.yml
896 workflow runs
896 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Revm links: more instructions + type annotations for constructors Rust #2577: Pull request #726 synchronize by clarus
April 23, 2025 12:51 1h 8m 26s guillaume-claret@add-more-instructions
guillaume-claret@add-more-instructions
April 23, 2025 12:51 1h 8m 26s
Merge pull request #732 from formal-land/guillaume-claret@alexandre-o… Rust #2576: Commit 6756ff8 pushed by clarus
April 23, 2025 12:50 1h 21m 12s main
main
April 23, 2025 12:50 1h 21m 12s
Revm links: more instructions + type annotations for constructors Rust #2575: Pull request #726 synchronize by clarus
April 23, 2025 11:22 1h 5m 12s guillaume-claret@add-more-instructions
guillaume-claret@add-more-instructions
April 23, 2025 11:22 1h 5m 12s
Add bitwise translation Rust #2574: Pull request #732 synchronize by clarus
April 23, 2025 10:28 1h 15m 50s guillaume-claret@alexandre-oliveira@bitwise.v-bis
guillaume-claret@alexandre-oliveira@bitwise.v-bis
April 23, 2025 10:28 1h 15m 50s
Add bitwise translation Rust #2573: Pull request #732 synchronize by clarus
April 23, 2025 10:10 1h 15m 17s guillaume-claret@alexandre-oliveira@bitwise.v-bis
guillaume-claret@alexandre-oliveira@bitwise.v-bis
April 23, 2025 10:10 1h 15m 17s
Add bitwise translation Rust #2572: Pull request #732 synchronize by clarus
April 23, 2025 08:26 24m 42s guillaume-claret@alexandre-oliveira@bitwise.v-bis
guillaume-claret@alexandre-oliveira@bitwise.v-bis
April 23, 2025 08:26 24m 42s
Add bitwise translation Rust #2571: Pull request #732 synchronize by clarus
April 23, 2025 08:22 25m 16s guillaume-claret@alexandre-oliveira@bitwise.v-bis
guillaume-claret@alexandre-oliveira@bitwise.v-bis
April 23, 2025 08:22 25m 16s
Add bitwise translation Rust #2570: Pull request #732 synchronize by clarus
April 23, 2025 08:18 25m 3s guillaume-claret@alexandre-oliveira@bitwise.v-bis
guillaume-claret@alexandre-oliveira@bitwise.v-bis
April 23, 2025 08:18 25m 3s
Add bitwise translation Rust #2569: Pull request #732 opened by clarus
April 23, 2025 08:15 24m 32s guillaume-claret@alexandre-oliveira@bitwise.v-bis
guillaume-claret@alexandre-oliveira@bitwise.v-bis
April 23, 2025 08:15 24m 32s
Revm links: more instructions + type annotations for constructors Rust #2568: Pull request #726 synchronize by clarus
April 21, 2025 23:54 1h 4m 26s guillaume-claret@add-more-instructions
guillaume-claret@add-more-instructions
April 21, 2025 23:54 1h 4m 26s
Merge pull request #729 from formal-land/guillaume-claret@add-link-si… Rust #2567: Commit 0150696 pushed by clarus
April 21, 2025 23:53 1h 16m 36s main
main
April 21, 2025 23:53 1h 16m 36s
revm: add link for signextend Rust #2566: Pull request #729 opened by clarus
April 21, 2025 23:45 1h 16m 48s guillaume-claret@add-link-signextend
guillaume-claret@add-link-signextend
April 21, 2025 23:45 1h 16m 48s
Revm links: more instructions + type annotations for constructors Rust #2565: Pull request #726 synchronize by clarus
April 21, 2025 23:43 1h 3m 17s guillaume-claret@add-more-instructions
guillaume-claret@add-more-instructions
April 21, 2025 23:43 1h 3m 17s
Revm links: more instructions + type annotations for constructors Rust #2564: Pull request #726 synchronize by clarus
April 21, 2025 23:42 24m 22s guillaume-claret@add-more-instructions
guillaume-claret@add-more-instructions
April 21, 2025 23:42 24m 22s
Merge pull request #727 from formal-land/guillaume-claret@gy@plonky3t… Rust #2563: Commit d4ea688 pushed by clarus
April 21, 2025 23:40 1h 16m 2s main
main
April 21, 2025 23:40 1h 16m 2s
feat: Add plonky3 translation Rust #2562: Pull request #727 synchronize by clarus
April 21, 2025 23:39 1h 15m 31s guillaume-claret@gy@plonky3translation
guillaume-claret@gy@plonky3translation
April 21, 2025 23:39 1h 15m 31s
feat: Add plonky3 translation Rust #2561: Pull request #727 synchronize by clarus
April 21, 2025 22:11 1h 17m 49s guillaume-claret@gy@plonky3translation
guillaume-claret@gy@plonky3translation
April 21, 2025 22:11 1h 17m 49s
feat: Add plonky3 translation Rust #2560: Pull request #727 synchronize by clarus
April 21, 2025 20:55 25m 28s guillaume-claret@gy@plonky3translation
guillaume-claret@gy@plonky3translation
April 21, 2025 20:55 25m 28s
feat: Add plonky3 translation Rust #2559: Pull request #727 synchronize by clarus
April 21, 2025 19:49 25m 30s guillaume-claret@gy@plonky3translation
guillaume-claret@gy@plonky3translation
April 21, 2025 19:49 25m 30s
Link file for air Rust #2558: Pull request #728 opened by InfiniteEchoes
April 21, 2025 11:46 24m 47s gy@AirLink
gy@AirLink
April 21, 2025 11:46 24m 47s
feat: Add plonky3 translation Rust #2557: Pull request #727 synchronize by clarus
April 18, 2025 07:53 25m 2s guillaume-claret@gy@plonky3translation
guillaume-claret@gy@plonky3translation
April 18, 2025 07:53 25m 2s
feat: Add plonky3 translation Rust #2556: Pull request #727 synchronize by clarus
April 17, 2025 15:21 24m 49s guillaume-claret@gy@plonky3translation
guillaume-claret@gy@plonky3translation
April 17, 2025 15:21 24m 49s
feat: Add plonky3 translation Rust #2555: Commit 4835fac pushed by clarus
April 17, 2025 15:19 Failure guillaume-claret@gy@plonky3translation
guillaume-claret@gy@plonky3translation
April 17, 2025 15:19 Failure
feat: Add plonky3 translation Rust #2554: Commit f3ff871 pushed by clarus
April 17, 2025 14:27 Failure guillaume-claret@gy@plonky3translation
guillaume-claret@gy@plonky3translation
April 17, 2025 14:27 Failure
feat: Add plonky3 translation Rust #2553: Pull request #727 opened by clarus
April 17, 2025 13:43 25m 41s guillaume-claret@gy@plonky3translation
guillaume-claret@gy@plonky3translation
April 17, 2025 13:43 25m 41s