Skip to content

Actions: formal-land/coq-of-rust

Actions

Rust

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rust.yml
77 workflow run results
77 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

More fix for last smart contracts Rust #1328: Pull request #432 opened by clarus
December 21, 2023 13:24 5m 22s guillaume-claret@fix-last-smart-contracts
guillaume-claret@fix-last-smart-contracts
December 21, 2023 13:24 5m 22s
Decoupled ImplItemKind.class_instance_to_doc() Rust #1327: Pull request #431 synchronize by InfiniteEchoes
December 21, 2023 11:37 5m 33s gy@DecoupleImplItemToDoc
gy@DecoupleImplItemToDoc
December 21, 2023 11:37 5m 33s
Decoupled ImplItemKind.class_instance_to_doc() Rust #1326: Pull request #431 synchronize by InfiniteEchoes
December 21, 2023 10:51 4m 28s gy@DecoupleImplItemToDoc
gy@DecoupleImplItemToDoc
December 21, 2023 10:51 4m 28s
Decoupled ImplItemKind.class_instance_to_doc() Rust #1325: Pull request #431 synchronize by InfiniteEchoes
December 21, 2023 09:58 3m 34s gy@DecoupleImplItemToDoc
gy@DecoupleImplItemToDoc
December 21, 2023 09:58 3m 34s
Decoupled ImplItemKind.class_instance_to_doc() Rust #1324: Pull request #431 synchronize by InfiniteEchoes
December 21, 2023 09:56 3m 4s gy@DecoupleImplItemToDoc
gy@DecoupleImplItemToDoc
December 21, 2023 09:56 3m 4s
Decoupled ImplItemKind.class_instance_to_doc() Rust #1323: Pull request #431 synchronize by InfiniteEchoes
December 21, 2023 09:55 2m 54s gy@DecoupleImplItemToDoc
gy@DecoupleImplItemToDoc
December 21, 2023 09:55 2m 54s
Decoupled ImplItemKind.class_instance_to_doc() Rust #1322: Pull request #431 opened by InfiniteEchoes
December 21, 2023 09:45 3m 3s gy@DecoupleImplItemToDoc
gy@DecoupleImplItemToDoc
December 21, 2023 09:45 3m 3s
Merge pull request #429 from formal-land/guillaume-claret@fix-axiomat… Rust #1321: Commit f17a049 pushed by clarus
December 21, 2023 08:19 6m 2s main
main
December 21, 2023 08:19 6m 2s
Fix translation of axiomatized smart contracts Rust #1320: Pull request #429 synchronize by clarus
December 21, 2023 08:08 5m 21s guillaume-claret@fix-axiomatized-translation-of-smart-contracts
guillaume-claret@fix-axiomatized-translation-of-smart-contracts
December 21, 2023 08:08 5m 21s
Merge pull request #430 from formal-land/gy@DecoupleImplItemKind Rust #1319: Commit 46f60b5 pushed by clarus
December 21, 2023 08:07 5m 29s main
main
December 21, 2023 08:07 5m 29s
Decouple functions in toplevel::ImplItemKind Rust #1318: Pull request #430 opened by InfiniteEchoes
December 20, 2023 23:56 6m 58s gy@DecoupleImplItemKind
gy@DecoupleImplItemKind
December 20, 2023 23:56 6m 58s
Fix translation of axiomatized smart contracts Rust #1317: Pull request #429 synchronize by clarus
December 20, 2023 20:59 5m 32s guillaume-claret@fix-axiomatized-translation-of-smart-contracts
guillaume-claret@fix-axiomatized-translation-of-smart-contracts
December 20, 2023 20:59 5m 32s
Fix translation of axiomatized smart contracts Rust #1316: Pull request #429 synchronize by clarus
December 20, 2023 19:36 5m 23s guillaume-claret@fix-axiomatized-translation-of-smart-contracts
guillaume-claret@fix-axiomatized-translation-of-smart-contracts
December 20, 2023 19:36 5m 23s
Fix translation of axiomatized smart contracts Rust #1315: Pull request #429 synchronize by clarus
December 20, 2023 14:36 5m 24s guillaume-claret@fix-axiomatized-translation-of-smart-contracts
guillaume-claret@fix-axiomatized-translation-of-smart-contracts
December 20, 2023 14:36 5m 24s
Fix translation of axiomatized smart contracts Rust #1314: Pull request #429 synchronize by clarus
December 20, 2023 14:12 6m 25s guillaume-claret@fix-axiomatized-translation-of-smart-contracts
guillaume-claret@fix-axiomatized-translation-of-smart-contracts
December 20, 2023 14:12 6m 25s
Fix translation of axiomatized smart contracts Rust #1313: Pull request #429 synchronize by clarus
December 20, 2023 14:02 6m 19s guillaume-claret@fix-axiomatized-translation-of-smart-contracts
guillaume-claret@fix-axiomatized-translation-of-smart-contracts
December 20, 2023 14:02 6m 19s
Fix translation of axiomatized smart contracts Rust #1312: Pull request #429 synchronize by clarus
December 20, 2023 13:54 5m 56s guillaume-claret@fix-axiomatized-translation-of-smart-contracts
guillaume-claret@fix-axiomatized-translation-of-smart-contracts
December 20, 2023 13:54 5m 56s
Fix translation of axiomatized smart contracts Rust #1311: Pull request #429 opened by clarus
December 20, 2023 10:06 5m 24s guillaume-claret@fix-axiomatized-translation-of-smart-contracts
guillaume-claret@fix-axiomatized-translation-of-smart-contracts
December 20, 2023 10:06 5m 24s
Merge pull request #428 from formal-land/guillaume-claret@compile-in-… Rust #1310: Commit c0c121d pushed by clarus
December 20, 2023 10:04 5m 21s main
main
December 20, 2023 10:04 5m 21s
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