Skip to content

Actions: FStarLang/karamel

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix ci Build and test Karamel based on a FStar image #1122: Commit 3f6ec6e pushed by msprotz
January 29, 2024 21:09 31m 6s afromher_rust
afromher_rust
January 29, 2024 21:09 31m 6s
Couple more tweaks Build and test Karamel based on a FStar image #1121: Commit fdb5379 pushed by msprotz
January 29, 2024 21:07 18m 29s afromher_rust
afromher_rust
January 29, 2024 21:07 18m 29s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1120: Scheduled
January 29, 2024 01:06 6m 49s master
master
January 29, 2024 01:06 6m 49s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1119: Scheduled
January 28, 2024 01:10 6m 49s master
master
January 28, 2024 01:10 6m 49s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1118: Scheduled
January 27, 2024 01:05 6m 51s master
master
January 27, 2024 01:05 6m 51s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1117: Scheduled
January 26, 2024 01:07 7m 23s master
master
January 26, 2024 01:07 7m 23s
Another heuristic for heap-allocating new-style functions (like in bi… Build and test Karamel based on a FStar image #1116: Commit 4ffe052 pushed by msprotz
January 25, 2024 22:25 4m 7s afromher_rust
afromher_rust
January 25, 2024 22:25 4m 7s
Try a different compilation scheme: heap allocation (and heap-allocat… Build and test Karamel based on a FStar image #1115: Commit 667c89f pushed by msprotz
January 25, 2024 22:10 3m 54s afromher_rust
afromher_rust
January 25, 2024 22:10 3m 54s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1114: Scheduled
January 25, 2024 01:12 6m 54s master
master
January 25, 2024 01:12 6m 54s
wip Build and test Karamel based on a FStar image #1113: Commit 74089d9 pushed by msprotz
January 24, 2024 21:46 3m 52s afromher_rust
afromher_rust
January 24, 2024 21:46 3m 52s
More support for type declarations, field projectors, and a few more … Build and test Karamel based on a FStar image #1112: Commit 03f00f0 pushed by msprotz
January 24, 2024 02:20 15m 1s afromher_rust
afromher_rust
January 24, 2024 02:20 15m 1s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1111: Scheduled
January 24, 2024 01:12 14m 38s master
master
January 24, 2024 01:12 14m 38s
Support for enums & structs. We assume no complicated lifetime needs. Build and test Karamel based on a FStar image #1110: Commit 140a50e pushed by msprotz
January 23, 2024 22:24 15m 24s afromher_rust
afromher_rust
January 23, 2024 22:24 15m 24s
Add some missing test files Build and test Karamel based on a FStar image #1109: Commit dc526fc pushed by msprotz
January 23, 2024 21:39 16m 20s afromher_rust
afromher_rust
January 23, 2024 21:39 16m 20s
Fix pretty-printing mistakes Build and test Karamel based on a FStar image #1108: Commit 48e3dc3 pushed by msprotz
January 23, 2024 21:01 24m 25s afromher_rust
afromher_rust
January 23, 2024 21:01 24m 25s
Remove over-optimistic assert Build and test Karamel based on a FStar image #1107: Commit 8ce3c3d pushed by msprotz
January 23, 2024 20:48 22m 25s afromher_rust
afromher_rust
January 23, 2024 20:48 22m 25s
Install rust for CI Build and test Karamel based on a FStar image #1106: Commit 88eed54 pushed by msprotz
January 23, 2024 20:27 28m 43s afromher_rust
afromher_rust
January 23, 2024 20:27 28m 43s
A new test for a subtle case Build and test Karamel based on a FStar image #1105: Commit 639b2dd pushed by msprotz
January 23, 2024 20:26 12m 46s afromher_rust
afromher_rust
January 23, 2024 20:26 12m 46s
Proper treatment of identifiers per the spec, new dependency on uucp Build and test Karamel based on a FStar image #1104: Commit 171c75a pushed by msprotz
January 23, 2024 19:57 12m 35s afromher_rust
afromher_rust
January 23, 2024 19:57 12m 35s
One more directive Build and test Karamel based on a FStar image #1103: Commit 1e44517 pushed by msprotz
January 23, 2024 01:28 12m 54s afromher_rust
afromher_rust
January 23, 2024 01:28 12m 54s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1102: Scheduled
January 23, 2024 01:12 15m 25s master
master
January 23, 2024 01:12 15m 25s
Generate code with less warnings. Build and test Karamel based on a FStar image #1101: Commit 65a3310 pushed by msprotz
January 23, 2024 00:08 15m 30s afromher_rust
afromher_rust
January 23, 2024 00:08 15m 30s
Fix pretty-printing bug (thanks @marshrayms) Build and test Karamel based on a FStar image #1100: Commit dda3571 pushed by msprotz
January 22, 2024 23:39 20m 50s afromher_rust
afromher_rust
January 22, 2024 23:39 20m 50s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1099: Scheduled
January 22, 2024 01:14 14m 44s master
master
January 22, 2024 01:14 14m 44s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1098: Scheduled
January 21, 2024 01:16 14m 39s master
master
January 21, 2024 01:16 14m 39s
ProTip! You can narrow down the results and go further in time using created:<2024-01-21 or the other filters available.