Skip to content

Actions: FStarLang/karamel

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #486 from FStarLang/protz_rs Build and test Karamel based on a FStar image #1742: Commit 074bc88 pushed by msprotz
September 24, 2024 17:48 8m 26s master
master
September 24, 2024 17:48 8m 26s
Preliminary support for data types when extracting from Low* to Rust Build and test Karamel based on a FStar image #1741: Pull request #486 synchronize by msprotz
September 24, 2024 17:38 9m 11s protz_rs
protz_rs
September 24, 2024 17:38 9m 11s
Merge branch 'master' into protz_rs Build and test Karamel based on a FStar image #1740: Commit 56e01aa pushed by msprotz
September 24, 2024 17:38 9m 11s protz_rs
protz_rs
September 24, 2024 17:38 9m 11s
Merge pull request #487 from FStarLang/afromher_rs Build and test Karamel based on a FStar image #1739: Commit 5fdba7f pushed by msprotz
September 24, 2024 15:24 7m 35s master
master
September 24, 2024 15:24 7m 35s
Rust backend: allow const_item_mutation warning, simplify deref_addrof pattern Build and test Karamel based on a FStar image #1738: Pull request #487 synchronize by R1kM
September 24, 2024 15:16 8m 6s afromher_rs
afromher_rs
September 24, 2024 15:16 8m 6s
Fix Makefile sed for Rust tests Build and test Karamel based on a FStar image #1737: Commit e9dbb05 pushed by R1kM
September 24, 2024 15:16 7m 55s afromher_rs
afromher_rs
September 24, 2024 15:16 7m 55s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1736: Scheduled
September 24, 2024 01:26 7m 32s master
master
September 24, 2024 01:26 7m 32s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1735: Scheduled
September 23, 2024 01:26 18m 2s master
master
September 23, 2024 01:26 18m 2s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1734: Scheduled
September 22, 2024 01:38 7m 34s master
master
September 22, 2024 01:38 7m 34s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1733: Scheduled
September 21, 2024 01:23 7m 38s master
master
September 21, 2024 01:23 7m 38s
Preliminary support for data types when extracting from Low* to Rust Build and test Karamel based on a FStar image #1732: Pull request #486 synchronize by protz
September 20, 2024 17:54 8m 30s protz_rs
protz_rs
September 20, 2024 17:54 8m 30s
Fix tests Build and test Karamel based on a FStar image #1731: Commit f5c00a3 pushed by protz
September 20, 2024 17:54 8m 31s protz_rs
protz_rs
September 20, 2024 17:54 8m 31s
Preliminary support for data types when extracting from Low* to Rust Build and test Karamel based on a FStar image #1730: Pull request #486 synchronize by protz
September 20, 2024 17:43 5m 59s protz_rs
protz_rs
September 20, 2024 17:43 5m 59s
This successfully extracts HACL* with a multi-crate layout Build and test Karamel based on a FStar image #1729: Commit 77ab3fb pushed by protz
September 20, 2024 17:43 6m 7s protz_rs
protz_rs
September 20, 2024 17:43 6m 7s
Rust backend: allow const_item_mutation warning, simplify deref_addrof pattern Build and test Karamel based on a FStar image #1728: Pull request #487 opened by R1kM
September 20, 2024 11:46 5m 17s afromher_rs
afromher_rs
September 20, 2024 11:46 5m 17s
Simplify deref of addrof Build and test Karamel based on a FStar image #1727: Commit 9542aa9 pushed by R1kM
September 20, 2024 11:43 5m 32s afromher_rs
afromher_rs
September 20, 2024 11:43 5m 32s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1726: Scheduled
September 20, 2024 01:24 7m 33s master
master
September 20, 2024 01:24 7m 33s
Preliminary support for data types when extracting from Low* to Rust Build and test Karamel based on a FStar image #1725: Pull request #486 synchronize by protz
September 19, 2024 17:45 8m 30s protz_rs
protz_rs
September 19, 2024 17:45 8m 30s
And generalize the mutability analysis to variants, fix printing Build and test Karamel based on a FStar image #1724: Commit a9206a0 pushed by protz
September 19, 2024 17:45 8m 35s protz_rs
protz_rs
September 19, 2024 17:45 8m 35s
Preliminary support for data types when extracting from Low* to Rust Build and test Karamel based on a FStar image #1723: Pull request #486 synchronize by msprotz
September 19, 2024 16:37 8m 45s protz_rs
protz_rs
September 19, 2024 16:37 8m 45s
Merge branch 'master' into protz_rs Build and test Karamel based on a FStar image #1722: Commit 71ffdde pushed by msprotz
September 19, 2024 16:37 8m 42s protz_rs
protz_rs
September 19, 2024 16:37 8m 42s
Preliminary support for data types when extracting from Low* to Rust Build and test Karamel based on a FStar image #1721: Pull request #486 synchronize by protz
September 19, 2024 16:36 8m 43s protz_rs
protz_rs
September 19, 2024 16:36 8m 43s
Fix broken naming helper Build and test Karamel based on a FStar image #1720: Commit 935657a pushed by protz
September 19, 2024 16:36 15s protz_rs
protz_rs
September 19, 2024 16:36 15s
Preliminary support for data types when extracting from Low* to Rust Build and test Karamel based on a FStar image #1719: Pull request #486 synchronize by protz
September 19, 2024 16:30 8m 3s protz_rs
protz_rs
September 19, 2024 16:30 8m 3s
Leave the idiomatic Rust-style _unused naming convention to later, on… Build and test Karamel based on a FStar image #1718: Commit 7d6ee37 pushed by protz
September 19, 2024 16:30 16s protz_rs
protz_rs
September 19, 2024 16:30 16s