Skip to content

Actions: formal-land/coq-of-rust

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,004 workflow runs
1,004 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Draft: handle the instructions table Rust #2322: Pull request #669 synchronize by clarus
February 25, 2025 17:13 59m 50s guillaume-claret@handle-the-instructions-table
guillaume-claret@handle-the-instructions-table
February 25, 2025 17:13 59m 50s
Merge pull request #668 from formal-land/guillaume-claret@more-deps-f… Rust #2321: Commit bc245d3 pushed by clarus
February 25, 2025 16:13 1h 0m 56s main
main
February 25, 2025 16:13 1h 0m 56s
Draft: handle the instructions table Rust #2320: Pull request #669 opened by clarus
February 25, 2025 15:27 56m 14s guillaume-claret@handle-the-instructions-table
guillaume-claret@handle-the-instructions-table
February 25, 2025 15:27 56m 14s
Adding links to precompile crate (#658) Rust #2319: Pull request #662 synchronize by romefeller
February 24, 2025 18:11 24m 30s alexandre-oliveira@revm-precompile-links
alexandre-oliveira@revm-precompile-links
February 24, 2025 18:11 24m 30s
revm: links for the ADD instruction Rust #2318: Pull request #668 synchronize by clarus
February 24, 2025 17:53 54m 5s guillaume-claret@more-deps-for-arithmetic-file
guillaume-claret@more-deps-for-arithmetic-file
February 24, 2025 17:53 54m 5s
draft: adding clone Rust #2317: Pull request #667 synchronize by andreadlm
February 24, 2025 17:00 51m 6s andreadlm@2025-02-24
andreadlm@2025-02-24
February 24, 2025 17:00 51m 6s
draft: adding clone Rust #2316: Pull request #667 synchronize by andreadlm
February 24, 2025 16:58 51m 46s andreadlm@2025-02-24
andreadlm@2025-02-24
February 24, 2025 16:58 51m 46s
revm: links for the ADD instruction Rust #2315: Pull request #668 opened by clarus
February 24, 2025 16:44 53m 36s guillaume-claret@more-deps-for-arithmetic-file
guillaume-claret@more-deps-for-arithmetic-file
February 24, 2025 16:44 53m 36s
Merge pull request #664 from formal-land/guillaume-claret@more-deps-f… Rust #2314: Commit e034a23 pushed by clarus
February 24, 2025 16:43 55m 14s main
main
February 24, 2025 16:43 55m 14s
draft: adding clone Rust #2313: Pull request #667 opened by andreadlm
February 24, 2025 16:36 50m 48s andreadlm@2025-02-24
andreadlm@2025-02-24
February 24, 2025 16:36 50m 48s
revm: handle more dependencies for the arithmetic file Rust #2312: Pull request #664 synchronize by clarus
February 23, 2025 14:58 54m 16s guillaume-claret@more-deps-for-arithmetic-file
guillaume-claret@more-deps-for-arithmetic-file
February 23, 2025 14:58 54m 16s
revm: handle more dependencies for the arithmetic file Rust #2311: Pull request #664 opened by clarus
February 23, 2025 13:49 40m 9s guillaume-claret@more-deps-for-arithmetic-file
guillaume-claret@more-deps-for-arithmetic-file
February 23, 2025 13:49 40m 9s
Adding links to precompile crate (#658) Rust #2310: Pull request #662 synchronize by romefeller
February 22, 2025 19:30 53m 39s alexandre-oliveira@revm-precompile-links
alexandre-oliveira@revm-precompile-links
February 22, 2025 19:30 53m 39s
Adding links to precompile crate (#658) Rust #2309: Pull request #662 synchronize by romefeller
February 22, 2025 19:18 54m 55s alexandre-oliveira@revm-precompile-links
alexandre-oliveira@revm-precompile-links
February 22, 2025 19:18 54m 55s
Adding links to precompile crate (#658) Rust #2308: Pull request #662 synchronize by romefeller
February 22, 2025 18:16 53m 34s alexandre-oliveira@revm-precompile-links
alexandre-oliveira@revm-precompile-links
February 22, 2025 18:16 53m 34s
Merge pull request #663 from formal-land/guillaume-claret@links-for-b… Rust #2307: Commit 4ee1eee pushed by clarus
February 20, 2025 09:23 54m 25s main
main
February 20, 2025 09:23 54m 25s
Translation: associated types and trait polymorphism Rust #2306: Pull request #663 synchronize by clarus
February 19, 2025 10:38 54m 12s guillaume-claret@links-for-beginning-of-arithmetic
guillaume-claret@links-for-beginning-of-arithmetic
February 19, 2025 10:38 54m 12s
Adding links to precompile crate (#658) Rust #2305: Pull request #662 synchronize by romefeller
February 18, 2025 17:19 53m 55s alexandre-oliveira@revm-precompile-links
alexandre-oliveira@revm-precompile-links
February 18, 2025 17:19 53m 55s
Translation: associated types and trait polymorphism Rust #2304: Pull request #663 synchronize by clarus
February 18, 2025 13:08 55m 26s guillaume-claret@links-for-beginning-of-arithmetic
guillaume-claret@links-for-beginning-of-arithmetic
February 18, 2025 13:08 55m 26s
Translation: associated types and trait polymorphism Rust #2303: Pull request #663 synchronize by clarus
February 18, 2025 11:35 22m 31s guillaume-claret@links-for-beginning-of-arithmetic
guillaume-claret@links-for-beginning-of-arithmetic
February 18, 2025 11:35 22m 31s
Translation: associated types and trait polymorphism Rust #2302: Pull request #663 opened by clarus
February 17, 2025 18:58 20m 5s guillaume-claret@links-for-beginning-of-arithmetic
guillaume-claret@links-for-beginning-of-arithmetic
February 17, 2025 18:58 20m 5s
Merge pull request #659 from formal-land/guillaume-claret@generate-mo… Rust #2301: Commit d2705c9 pushed by clarus
February 17, 2025 18:55 54m 1s main
main
February 17, 2025 18:55 54m 1s
Adding links to precompile crate (#658) Rust #2300: Pull request #662 opened by romefeller
February 17, 2025 18:51 54m 4s alexandre-oliveira@revm-precompile-links
alexandre-oliveira@revm-precompile-links
February 17, 2025 18:51 54m 4s
Add more automation for the generation of link types Rust #2299: Pull request #659 synchronize by clarus
February 17, 2025 15:44 53m 46s guillaume-claret@generate-more-links-types
guillaume-claret@generate-more-links-types
February 17, 2025 15:44 53m 46s
Add more automation for the generation of link types Rust #2298: Pull request #659 synchronize by clarus
February 17, 2025 15:42 22m 50s guillaume-claret@generate-more-links-types
guillaume-claret@generate-more-links-types
February 17, 2025 15:42 22m 50s