Skip to content

Actions: formal-land/coq-of-rust

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

More fix for the translation of the smart contracts Rust #1309: Pull request #428 synchronize by clarus
December 20, 2023 08:58 5m 40s guillaume-claret@compile-in-coq-more-smart-contracts
guillaume-claret@compile-in-coq-more-smart-contracts
December 20, 2023 08:58 5m 40s
Merge pull request #427 from formal-land/gy@AddOptionalInsert Rust #1308: Commit c7c18c6 pushed by clarus
December 20, 2023 08:57 5m 42s main
main
December 20, 2023 08:57 5m 42s
More fix for the translation of the smart contracts Rust #1307: Pull request #428 synchronize by clarus
December 19, 2023 22:51 5m 20s guillaume-claret@compile-in-coq-more-smart-contracts
guillaume-claret@compile-in-coq-more-smart-contracts
December 19, 2023 22:51 5m 20s
More fix for the translation of the smart contracts Rust #1306: Pull request #428 synchronize by clarus
December 19, 2023 18:55 5m 30s guillaume-claret@compile-in-coq-more-smart-contracts
guillaume-claret@compile-in-coq-more-smart-contracts
December 19, 2023 18:55 5m 30s
More fix for the translation of the smart contracts Rust #1305: Pull request #428 synchronize by clarus
December 19, 2023 16:29 5m 29s guillaume-claret@compile-in-coq-more-smart-contracts
guillaume-claret@compile-in-coq-more-smart-contracts
December 19, 2023 16:29 5m 29s
Add functions in render.rs Rust #1304: Pull request #427 synchronize by InfiniteEchoes
December 19, 2023 16:19 5m 29s gy@AddOptionalInsert
gy@AddOptionalInsert
December 19, 2023 16:19 5m 29s
More fix for the translation of the smart contracts Rust #1303: Pull request #428 opened by clarus
December 19, 2023 16:02 5m 48s guillaume-claret@compile-in-coq-more-smart-contracts
guillaume-claret@compile-in-coq-more-smart-contracts
December 19, 2023 16:02 5m 48s
Add functions in render.rs Rust #1302: Pull request #427 opened by InfiniteEchoes
December 19, 2023 15:17 4m 8s gy@AddOptionalInsert
gy@AddOptionalInsert
December 19, 2023 15:17 4m 8s
Merge pull request #426 from formal-land/clarus-patch-1 Rust #1301: Commit d982c7d pushed by clarus
December 17, 2023 15:57 5m 32s main
main
December 17, 2023 15:57 5m 32s
Update README.md Rust #1300: Pull request #426 opened by clarus
December 17, 2023 15:57 5m 33s clarus-patch-1
clarus-patch-1
December 17, 2023 15:57 5m 33s
Merge pull request #425 from formal-land/guillaume-claret@integration… Rust #1299: Commit d5f7be7 pushed by clarus
December 15, 2023 17:52 5m 42s main
main
December 15, 2023 17:52 5m 42s
Add ink smart contracts to the list of Rust files Rust #1298: Pull request #425 synchronize by clarus
December 15, 2023 17:35 5m 27s guillaume-claret@integration-other-smart-contracts
guillaume-claret@integration-other-smart-contracts
December 15, 2023 17:35 5m 27s
Add ink smart contracts to the list of Rust files Rust #1297: Pull request #425 opened by clarus
December 15, 2023 15:15 5m 52s guillaume-claret@integration-other-smart-contracts
guillaume-claret@integration-other-smart-contracts
December 15, 2023 15:15 5m 52s
ProTip! You can narrow down the results and go further in time using created:<2023-12-15 or the other filters available.