Skip to content

Actions: formal-land/coq-of-rust

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
79 workflow run results
79 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Minor improvements to translate ink_contracts Rust #1378: Pull request #437 synchronize by clarus
January 3, 2024 17:36 5m 55s guillaume-claret@minor-improvements-2024-01-02
guillaume-claret@minor-improvements-2024-01-02
January 3, 2024 17:36 5m 55s
Minor improvements to translate ink_contracts Rust #1377: Pull request #437 synchronize by clarus
January 3, 2024 14:19 6m 5s guillaume-claret@minor-improvements-2024-01-02
guillaume-claret@minor-improvements-2024-01-02
January 3, 2024 14:19 6m 5s
Merge pull request #438 from formal-land/gy@EscapeCharacters Rust #1376: Commit b3e4f6a pushed by clarus
January 3, 2024 11:29 5m 48s main
main
January 3, 2024 11:29 5m 48s
Minor improvements to translate ink_contracts Rust #1375: Pull request #437 synchronize by clarus
January 3, 2024 10:35 5m 41s guillaume-claret@minor-improvements-2024-01-02
guillaume-claret@minor-improvements-2024-01-02
January 3, 2024 10:35 5m 41s
Escape special characters in strings Rust #1374: Pull request #438 synchronize by InfiniteEchoes
January 3, 2024 02:21 5m 45s gy@EscapeCharacters
gy@EscapeCharacters
January 3, 2024 02:21 5m 45s
Escape special characters in strings Rust #1373: Pull request #438 opened by InfiniteEchoes
January 2, 2024 20:29 6m 3s gy@EscapeCharacters
gy@EscapeCharacters
January 2, 2024 20:29 6m 3s
Minor improvements to translate ink_contracts Rust #1372: Pull request #437 opened by clarus
January 2, 2024 15:37 6m 15s guillaume-claret@minor-improvements-2024-01-02
guillaume-claret@minor-improvements-2024-01-02
January 2, 2024 15:37 6m 15s
Merge pull request #435 from formal-land/guillaume-claret@more-sc-fixes Rust #1371: Commit d812943 pushed by clarus
December 29, 2023 14:58 5m 37s main
main
December 29, 2023 14:58 5m 37s
More SC fixes Rust #1370: Pull request #435 synchronize by clarus
December 29, 2023 14:51 5m 44s guillaume-claret@more-sc-fixes
guillaume-claret@more-sc-fixes
December 29, 2023 14:51 5m 44s
Merge pull request #436 from formal-land/gy@ChangeLiteralsError Rust #1369: Commit 89c6124 pushed by clarus
December 29, 2023 13:38 5m 27s main
main
December 29, 2023 13:38 5m 27s
Fixes on concurrent_tests.v Rust #1368: Pull request #436 synchronize by InfiniteEchoes
December 29, 2023 13:30 5m 34s gy@ChangeLiteralsError
gy@ChangeLiteralsError
December 29, 2023 13:30 5m 34s
Fixes on concurrent_tests.v Rust #1367: Pull request #436 synchronize by InfiniteEchoes
December 29, 2023 13:30 3m 38s gy@ChangeLiteralsError
gy@ChangeLiteralsError
December 29, 2023 13:30 3m 38s
More SC fixes Rust #1366: Pull request #435 synchronize by clarus
December 29, 2023 12:26 5m 52s guillaume-claret@more-sc-fixes
guillaume-claret@more-sc-fixes
December 29, 2023 12:26 5m 52s
Fixes on concurrent_tests.v Rust #1365: Pull request #436 synchronize by InfiniteEchoes
December 29, 2023 10:55 5m 49s gy@ChangeLiteralsError
gy@ChangeLiteralsError
December 29, 2023 10:55 5m 49s
More SC fixes Rust #1364: Pull request #435 synchronize by clarus
December 29, 2023 10:50 5m 28s guillaume-claret@more-sc-fixes
guillaume-claret@more-sc-fixes
December 29, 2023 10:50 5m 28s
Fixes on concurrent_tests.v Rust #1363: Pull request #436 synchronize by InfiniteEchoes
December 29, 2023 10:33 4m 4s gy@ChangeLiteralsError
gy@ChangeLiteralsError
December 29, 2023 10:33 4m 4s
Fixes on concurrent_tests.v Rust #1362: Pull request #436 synchronize by InfiniteEchoes
December 29, 2023 10:24 3m 48s gy@ChangeLiteralsError
gy@ChangeLiteralsError
December 29, 2023 10:24 3m 48s
More SC fixes Rust #1361: Pull request #435 synchronize by clarus
December 28, 2023 17:38 5m 57s guillaume-claret@more-sc-fixes
guillaume-claret@more-sc-fixes
December 28, 2023 17:38 5m 57s
More SC fixes Rust #1360: Pull request #435 synchronize by clarus
December 28, 2023 10:17 5m 58s guillaume-claret@more-sc-fixes
guillaume-claret@more-sc-fixes
December 28, 2023 10:17 5m 58s
Fixes on concurrent_tests.v Rust #1359: Pull request #436 opened by InfiniteEchoes
December 28, 2023 07:40 5m 56s gy@ChangeLiteralsError
gy@ChangeLiteralsError
December 28, 2023 07:40 5m 56s
More SC fixes Rust #1358: Pull request #435 synchronize by clarus
December 27, 2023 21:59 6m 1s guillaume-claret@more-sc-fixes
guillaume-claret@more-sc-fixes
December 27, 2023 21:59 6m 1s
More SC fixes Rust #1357: Pull request #435 synchronize by clarus
December 27, 2023 21:42 5m 52s guillaume-claret@more-sc-fixes
guillaume-claret@more-sc-fixes
December 27, 2023 21:42 5m 52s
More SC fixes Rust #1356: Pull request #435 opened by clarus
December 27, 2023 18:38 6m 2s guillaume-claret@more-sc-fixes
guillaume-claret@more-sc-fixes
December 27, 2023 18:38 6m 2s
Merge pull request #434 from formal-land/guillaume-claret@more-fix-la… Rust #1355: Commit 65f9e09 pushed by clarus
December 27, 2023 12:09 5m 46s main
main
December 27, 2023 12:09 5m 46s
More fixes for last smart contracts again Rust #1354: Pull request #434 synchronize by clarus
December 26, 2023 11:01 5m 39s guillaume-claret@more-fix-last-scs
guillaume-claret@more-fix-last-scs
December 26, 2023 11:01 5m 39s