Skip to content

Actions: formal-land/coq-of-rust

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Upgrade the version of the Rust compiler Rust #1411: Pull request #445 opened by clarus
January 13, 2024 14:42 6m 3s guillaume-claret@update-rustc-2024-01-12
guillaume-claret@update-rustc-2024-01-12
January 13, 2024 14:42 6m 3s
Merge pull request #444 from formal-land/guillaume-claret@translate-m… Rust #1410: Commit 42f8d62 pushed by clarus
January 12, 2024 21:19 6m 6s main
main
January 12, 2024 21:19 6m 6s
Translate more of the blacklist 2024 01 12 Rust #1409: Pull request #444 synchronize by clarus
January 12, 2024 21:19 6m 5s guillaume-claret@translate-more-of-the-blacklist-2024-01-12
guillaume-claret@translate-more-of-the-blacklist-2024-01-12
January 12, 2024 21:19 6m 5s
Translate more of the blacklist 2024 01 12 Rust #1408: Pull request #444 synchronize by clarus
January 12, 2024 20:26 6m 8s guillaume-claret@translate-more-of-the-blacklist-2024-01-12
guillaume-claret@translate-more-of-the-blacklist-2024-01-12
January 12, 2024 20:26 6m 8s
Translate more of the blacklist 2024 01 12 Rust #1407: Pull request #444 synchronize by clarus
January 12, 2024 17:49 6m 22s guillaume-claret@translate-more-of-the-blacklist-2024-01-12
guillaume-claret@translate-more-of-the-blacklist-2024-01-12
January 12, 2024 17:49 6m 22s
Merge pull request #443 from formal-land/guillaume-claret@remove-ambi… Rust #1406: Commit 8900535 pushed by clarus
January 12, 2024 17:25 6m 7s main
main
January 12, 2024 17:25 6m 7s
Remove usages of the notation Dot Rust #1405: Pull request #443 synchronize by clarus
January 12, 2024 16:34 6m 19s guillaume-claret@remove-ambiguous-notation-dot
guillaume-claret@remove-ambiguous-notation-dot
January 12, 2024 16:34 6m 19s
Remove usages of the notation Dot Rust #1404: Pull request #443 synchronize by clarus
January 12, 2024 16:28 6m 7s guillaume-claret@remove-ambiguous-notation-dot
guillaume-claret@remove-ambiguous-notation-dot
January 12, 2024 16:28 6m 7s
Remove usages of the notation Dot Rust #1403: Pull request #443 synchronize by clarus
January 12, 2024 16:12 6m 2s guillaume-claret@remove-ambiguous-notation-dot
guillaume-claret@remove-ambiguous-notation-dot
January 12, 2024 16:12 6m 2s
Remove usages of the notation Dot Rust #1402: Pull request #443 synchronize by clarus
January 12, 2024 15:26 6m 32s guillaume-claret@remove-ambiguous-notation-dot
guillaume-claret@remove-ambiguous-notation-dot
January 12, 2024 15:26 6m 32s
Remove usages of the notation Dot Rust #1401: Pull request #443 synchronize by clarus
January 12, 2024 15:19 6m 14s guillaume-claret@remove-ambiguous-notation-dot
guillaume-claret@remove-ambiguous-notation-dot
January 12, 2024 15:19 6m 14s
Remove usages of the notation Dot Rust #1400: Pull request #443 opened by clarus
January 12, 2024 15:08 6m 9s guillaume-claret@remove-ambiguous-notation-dot
guillaume-claret@remove-ambiguous-notation-dot
January 12, 2024 15:08 6m 9s
lib: minor change Rust #1399: Commit 1346012 pushed by clarus
January 12, 2024 13:41 6m 1s main
main
January 12, 2024 13:41 6m 1s
ci: remove some elements from the blacklist Rust #1398: Commit 99e1cc9 pushed by clarus
January 12, 2024 12:17 6m 20s main
main
January 12, 2024 12:17 6m 20s
Add parse function in core.str Rust #1397: Pull request #442 opened by InfiniteEchoes
January 12, 2024 08:06 6m 2s gy@AddParseFunction
gy@AddParseFunction
January 12, 2024 08:06 6m 2s
Merge pull request #441 from formal-land/guillaume-claret@add-set-cod… Rust #1396: Commit 8c428e6 pushed by clarus
January 11, 2024 15:49 6m 0s main
main
January 11, 2024 15:49 6m 0s
ci: add set-code-hash contracts Rust #1395: Pull request #441 opened by clarus
January 11, 2024 15:40 6m 9s guillaume-claret@add-set-code-hash-contracts
guillaume-claret@add-set-code-hash-contracts
January 11, 2024 15:40 6m 9s
Merge pull request #440 from formal-land/guillaume-claret@add-axiom-p… Rust #1394: Commit c4bfb20 pushed by clarus
January 10, 2024 10:24 5m 45s main
main
January 10, 2024 10:24 5m 45s
Use a primitive of the free monad when a trait instance cannot be infered by Coq Rust #1393: Pull request #440 synchronize by clarus
January 10, 2024 09:43 5m 50s guillaume-claret@add-axiom-primitive-for-traits
guillaume-claret@add-axiom-primitive-for-traits
January 10, 2024 09:43 5m 50s
Merge pull request #439 from formal-land/gy@AddInductiveType Rust #1392: Commit 426d28e pushed by clarus
January 10, 2024 09:43 5m 46s main
main
January 10, 2024 09:43 5m 46s
Add Inductive Type to coq.rs Rust #1391: Pull request #439 synchronize by clarus
January 10, 2024 09:25 6m 8s gy@AddInductiveType
gy@AddInductiveType
January 10, 2024 09:25 6m 8s
Use a primitive of the free monad when a trait instance cannot be infered by Coq Rust #1390: Pull request #440 synchronize by clarus
January 10, 2024 09:20 5m 56s guillaume-claret@add-axiom-primitive-for-traits
guillaume-claret@add-axiom-primitive-for-traits
January 10, 2024 09:20 5m 56s
Use a primitive of the free monad when a trait instance cannot be infered by Coq Rust #1389: Pull request #440 opened by clarus
January 9, 2024 17:22 6m 21s guillaume-claret@add-axiom-primitive-for-traits
guillaume-claret@add-axiom-primitive-for-traits
January 9, 2024 17:22 6m 21s
Add Inductive Type to coq.rs Rust #1388: Pull request #439 synchronize by InfiniteEchoes
January 9, 2024 02:33 5m 51s gy@AddInductiveType
gy@AddInductiveType
January 9, 2024 02:33 5m 51s
Add Inductive Type to coq.rs Rust #1387: Pull request #439 synchronize by InfiniteEchoes
January 4, 2024 21:05 5m 48s gy@AddInductiveType
gy@AddInductiveType
January 4, 2024 21:05 5m 48s
ProTip! You can narrow down the results and go further in time using created:<2024-01-04 or the other filters available.