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

Remove borrows automatically inserted by Rust compiler in split_at Build and test Karamel based on a FStar image #1617: Pull request #465 opened by R1kM
August 21, 2024 08:41 9m 13s afromher_rust2
afromher_rust2
August 21, 2024 08:41 9m 13s
Remove borrows automatically inserted by Rust compiler in split_at Build and test Karamel based on a FStar image #1616: Commit ed588e1 pushed by R1kM
August 21, 2024 08:37 6m 30s afromher_rust2
afromher_rust2
August 21, 2024 08:37 6m 30s
Merge pull request #464 from FStarLang/afromher_rust Build and test Karamel based on a FStar image #1615: Commit de4b055 pushed by R1kM
August 21, 2024 07:25 6m 35s master
master
August 21, 2024 07:25 6m 35s
Use field-init shorthand syntax when creating structs Build and test Karamel based on a FStar image #1614: Pull request #464 synchronize by R1kM
August 21, 2024 07:00 24m 28s afromher_rust
afromher_rust
August 21, 2024 07:00 24m 28s
Merge branch 'master' into afromher_rust Build and test Karamel based on a FStar image #1613: Commit 36e755a pushed by R1kM
August 21, 2024 07:00 18m 12s afromher_rust
afromher_rust
August 21, 2024 07:00 18m 12s
Use field-init shorthand syntax when creating structs Build and test Karamel based on a FStar image #1612: Pull request #464 opened by R1kM
August 21, 2024 07:00 11m 53s afromher_rust
afromher_rust
August 21, 2024 07:00 11m 53s
Use field-init shorthand syntax when creating structs Build and test Karamel based on a FStar image #1611: Commit ad90779 pushed by R1kM
August 21, 2024 06:59 6m 32s afromher_rust
afromher_rust
August 21, 2024 06:59 6m 32s
Merge pull request #463 from FStarLang/afromher_rust Build and test Karamel based on a FStar image #1610: Commit 9bf7bc5 pushed by R1kM
August 21, 2024 06:52 6m 30s master
master
August 21, 2024 06:52 6m 30s
Comment why unit-erasure is needed in MiniRust Build and test Karamel based on a FStar image #1609: Pull request #463 opened by R1kM
August 21, 2024 06:40 12m 1s afromher_rust
afromher_rust
August 21, 2024 06:40 12m 1s
Comment why unit-erasure is needed in MiniRust Build and test Karamel based on a FStar image #1608: Commit a62fa60 pushed by R1kM
August 21, 2024 06:39 6m 23s afromher_rust
afromher_rust
August 21, 2024 06:39 6m 23s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1607: Scheduled
August 21, 2024 01:18 6m 30s master
master
August 21, 2024 01:18 6m 30s
An attempt to replace the usage of vec with box[t] Build and test Karamel based on a FStar image #1606: Commit 7f21aae pushed by protz
August 20, 2024 21:40 6m 30s protz_box
protz_box
August 20, 2024 21:40 6m 30s
Merge pull request #462 from FStarLang/afromher_rust Build and test Karamel based on a FStar image #1605: Commit 684c18e pushed by R1kM
August 20, 2024 17:14 6m 59s master
master
August 20, 2024 17:14 6m 59s
Do not generate (); in Rust backends Build and test Karamel based on a FStar image #1604: Pull request #462 synchronize by R1kM
August 20, 2024 16:47 26m 58s afromher_rust
afromher_rust
August 20, 2024 16:47 26m 58s
Move MiniRust simplifications to OptimizeMiniRust Build and test Karamel based on a FStar image #1603: Commit 9465c7d pushed by R1kM
August 20, 2024 16:47 20m 17s afromher_rust
afromher_rust
August 20, 2024 16:47 20m 17s
Do not generate (); in Rust backends Build and test Karamel based on a FStar image #1602: Pull request #462 synchronize by R1kM
August 20, 2024 16:39 21m 50s afromher_rust
afromher_rust
August 20, 2024 16:39 21m 50s
Remove trailing units Build and test Karamel based on a FStar image #1601: Commit 82fe6a7 pushed by R1kM
August 20, 2024 16:39 15m 2s afromher_rust
afromher_rust
August 20, 2024 16:39 15m 2s
Remove trailing units Build and test Karamel based on a FStar image #1600: Commit 82fe6a7 pushed by R1kM
August 20, 2024 16:39 8m 29s afromher_rust2
afromher_rust2
August 20, 2024 16:39 8m 29s
Do not generate (); in Rust backends Build and test Karamel based on a FStar image #1599: Pull request #462 opened by R1kM
August 20, 2024 16:28 11m 59s afromher_rust
afromher_rust
August 20, 2024 16:28 11m 59s
Do not print units in lhs of sequences Build and test Karamel based on a FStar image #1598: Commit a33f48d pushed by R1kM
August 20, 2024 16:23 8m 49s afromher_rust
afromher_rust
August 20, 2024 16:23 8m 49s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1597: Scheduled
August 20, 2024 01:18 6m 31s master
master
August 20, 2024 01:18 6m 31s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1596: Scheduled
August 19, 2024 01:19 6m 29s master
master
August 19, 2024 01:19 6m 29s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1595: Scheduled
August 18, 2024 01:23 6m 29s master
master
August 18, 2024 01:23 6m 29s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1594: Scheduled
August 17, 2024 01:16 6m 30s master
master
August 17, 2024 01:16 6m 30s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1593: Scheduled
August 16, 2024 01:18 6m 29s master
master
August 16, 2024 01:18 6m 29s