Skip to content

Actions: formal-land/coq-of-rust

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
901 workflow runs
901 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Draft: add simulation for the ADD instruction Rust #2677: Pull request #757 synchronize by clarus
June 20, 2025 18:18 53m 31s guillaume-claret@simulate-add
guillaume-claret@simulate-add
June 20, 2025 18:18 53m 31s
Adding links to p-token, part I Rust #2676: Pull request #739 synchronize by romefeller
June 20, 2025 18:14 42m 52s ago@p-token-links
ago@p-token-links
June 20, 2025 18:14 42m 52s
Draft: add simulation for the ADD instruction Rust #2675: Pull request #757 synchronize by clarus
June 18, 2025 14:03 34m 12s guillaume-claret@simulate-add
guillaume-claret@simulate-add
June 18, 2025 14:03 34m 12s
Adding links to p-token, part I Rust #2674: Pull request #739 synchronize by romefeller
June 16, 2025 18:40 44m 5s ago@p-token-links
ago@p-token-links
June 16, 2025 18:40 44m 5s
Draft: add simulation for the ADD instruction Rust #2673: Pull request #757 opened by clarus
June 16, 2025 15:07 30m 19s guillaume-claret@simulate-add
guillaume-claret@simulate-add
June 16, 2025 15:07 30m 19s
Adding links to p-token, part I Rust #2672: Pull request #739 synchronize by romefeller
June 15, 2025 18:54 43m 0s ago@p-token-links
ago@p-token-links
June 15, 2025 18:54 43m 0s
Merge pull request #752 from formal-land/guillaume-claret@repair-ci-a… Rust #2671: Commit 11b6fd9 pushed by clarus
June 15, 2025 15:35 53m 45s main
main
June 15, 2025 15:35 53m 45s
ci: fix the CI after adding OpenVM Rust #2670: Pull request #752 synchronize by clarus
June 15, 2025 14:35 53m 58s guillaume-claret@repair-ci-after-adding-openvm
guillaume-claret@repair-ci-after-adding-openvm
June 15, 2025 14:35 53m 58s
ci: fix the CI after adding OpenVM Rust #2669: Pull request #752 opened by clarus
June 14, 2025 17:42 34m 52s guillaume-claret@repair-ci-after-adding-openvm
guillaume-claret@repair-ci-after-adding-openvm
June 14, 2025 17:42 34m 52s
openvm: add more dependencies and linking Rust #2668: Commit e91da96 pushed by clarus
June 14, 2025 17:30 25m 7s main
main
June 14, 2025 17:30 25m 7s
ci: add openvm Rust #2667: Commit 42047df pushed by clarus
June 12, 2025 17:45 24m 43s main
main
June 12, 2025 17:45 24m 43s
Merge pull request #750 from formal-land/guillaume-claret@upgrade-plo… Rust #2666: Commit 1a796de pushed by clarus
June 12, 2025 17:21 24m 53s main
main
June 12, 2025 17:21 24m 53s
Upgrade Plonky3 and make the version explicit Rust #2665: Pull request #750 synchronize by clarus
June 12, 2025 17:18 24m 35s guillaume-claret@upgrade-plonky3
guillaume-claret@upgrade-plonky3
June 12, 2025 17:18 24m 35s
ci: fix require path Rust #2664: Commit 6e24167 pushed by clarus
June 12, 2025 15:30 35m 30s main
main
June 12, 2025 15:30 35m 30s
Merge pull request #744 from formal-land/gy@AirLink2 Rust #2663: Commit 1bb74c8 pushed by clarus
June 12, 2025 15:25 35m 0s main
main
June 12, 2025 15:25 35m 0s
Link file for air, Part 2 Rust #2662: Pull request #744 synchronize by clarus
June 12, 2025 15:24 35m 39s gy@AirLink2
gy@AirLink2
June 12, 2025 15:24 35m 39s
Adding links to p-token, part I Rust #2661: Pull request #739 synchronize by romefeller
June 9, 2025 18:37 36m 28s ago@p-token-links
ago@p-token-links
June 9, 2025 18:37 36m 28s
Merge pull request #749 from formal-land/guillaume-claret@add-array-cast Rust #2660: Commit 33ce4bc pushed by clarus
June 9, 2025 08:24 46m 32s main
main
June 9, 2025 08:24 46m 32s
Add array cast support Rust #2659: Pull request #749 synchronize by clarus
June 8, 2025 20:46 46m 53s guillaume-claret@add-array-cast
guillaume-claret@add-array-cast
June 8, 2025 20:46 46m 53s
Add array cast support Rust #2658: Pull request #749 synchronize by clarus
June 8, 2025 17:24 25m 39s guillaume-claret@add-array-cast
guillaume-claret@add-array-cast
June 8, 2025 17:24 25m 39s
Add array cast support Rust #2657: Pull request #749 opened by clarus
June 8, 2025 17:23 26m 0s guillaume-claret@add-array-cast
guillaume-claret@add-array-cast
June 8, 2025 17:23 26m 0s
fix: various changes to do less allocations in catch-like situations Rust #2656: Commit 21786ef pushed by clarus
June 8, 2025 14:49 36m 10s main
main
June 8, 2025 14:49 36m 10s
Adding links to p-token, part I Rust #2655: Pull request #739 synchronize by romefeller
June 7, 2025 17:37 24m 55s ago@p-token-links
ago@p-token-links
June 7, 2025 17:37 24m 55s
Adding links to p-token, part I Rust #2654: Pull request #739 synchronize by romefeller
June 7, 2025 16:59 25m 39s ago@p-token-links
ago@p-token-links
June 7, 2025 16:59 25m 39s
Link file for air, Part 2 Rust #2653: Pull request #744 synchronize by InfiniteEchoes
June 6, 2025 07:11 35m 42s gy@AirLink2
gy@AirLink2
June 6, 2025 07:11 35m 42s