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

Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1542: Scheduled
July 27, 2024 01:15 2m 54s master
master
July 27, 2024 01:15 2m 54s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1541: Scheduled
July 26, 2024 01:16 2m 52s master
master
July 26, 2024 01:16 2m 52s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1540: Scheduled
July 25, 2024 01:17 6m 58s master
master
July 25, 2024 01:17 6m 58s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1539: Scheduled
July 24, 2024 01:17 8m 6s master
master
July 24, 2024 01:17 8m 6s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1538: Scheduled
July 23, 2024 01:17 6m 33s master
master
July 23, 2024 01:17 6m 33s
Merge pull request #450 from FStarLang/protz_whitespace Build and test Karamel based on a FStar image #1537: Commit 1ed8ba5 pushed by msprotz
July 22, 2024 18:47 6m 44s master
master
July 22, 2024 18:47 6m 44s
Remove trailing whitespace Build and test Karamel based on a FStar image #1536: Pull request #450 opened by msprotz
July 22, 2024 18:33 13m 38s protz_whitespace
protz_whitespace
July 22, 2024 18:33 13m 38s
Remove trailing whitespace Build and test Karamel based on a FStar image #1535: Commit d52b4c3 pushed by msprotz
July 22, 2024 18:33 7m 14s protz_whitespace
protz_whitespace
July 22, 2024 18:33 7m 14s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1534: Scheduled
July 22, 2024 01:19 6m 34s master
master
July 22, 2024 01:19 6m 34s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1533: Scheduled
July 21, 2024 01:22 6m 32s master
master
July 21, 2024 01:22 6m 32s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1532: Scheduled
July 20, 2024 01:15 6m 33s master
master
July 20, 2024 01:15 6m 33s
Merge pull request #449 from FStarLang/protz_infer_mut Build and test Karamel based on a FStar image #1531: Commit facdca2 pushed by R1kM
July 19, 2024 16:07 6m 41s master
master
July 19, 2024 16:07 6m 41s
Infer mutability of borrows during Rust extraction Build and test Karamel based on a FStar image #1530: Pull request #449 opened by R1kM
July 19, 2024 15:24 6m 32s protz_infer_mut
protz_infer_mut
July 19, 2024 15:24 6m 32s
Improve several patterns for mutable borrowing Build and test Karamel based on a FStar image #1529: Commit 4514866 pushed by R1kM
July 19, 2024 15:11 6m 46s protz_infer_mut
protz_infer_mut
July 19, 2024 15:11 6m 46s
More attempts to workaround case-sensitivity on CI machine Build and test Karamel based on a FStar image #1528: Commit bec3963 pushed by R1kM
July 19, 2024 14:49 6m 36s protz_infer_mut
protz_infer_mut
July 19, 2024 14:49 6m 36s
Attempt another Rust test Makefile fix Build and test Karamel based on a FStar image #1527: Commit 2913c8a pushed by R1kM
July 19, 2024 14:33 4m 38s protz_infer_mut
protz_infer_mut
July 19, 2024 14:33 4m 38s
lowercase rust test files Build and test Karamel based on a FStar image #1526: Commit 08811be pushed by R1kM
July 19, 2024 14:11 4m 41s protz_infer_mut
protz_infer_mut
July 19, 2024 14:11 4m 41s
attempt to fix CI Build and test Karamel based on a FStar image #1525: Commit 64f3c9e pushed by R1kM
July 19, 2024 14:06 4m 37s protz_infer_mut
protz_infer_mut
July 19, 2024 14:06 4m 37s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1524: Scheduled
July 19, 2024 01:16 8m 30s master
master
July 19, 2024 01:16 8m 30s
Fix handling of push Build and test Karamel based on a FStar image #1523: Commit 6940038 pushed by R1kM
July 18, 2024 16:41 4m 43s protz_infer_mut
protz_infer_mut
July 18, 2024 16:41 4m 43s
more builtins, replace Constant by abbreviations Build and test Karamel based on a FStar image #1522: Commit 9b3f278 pushed by R1kM
July 18, 2024 16:36 5m 1s protz_infer_mut
protz_infer_mut
July 18, 2024 16:36 5m 1s
More Lowstar.endianness builtins Build and test Karamel based on a FStar image #1521: Commit f55b9f0 pushed by R1kM
July 18, 2024 16:09 4m 40s protz_infer_mut
protz_infer_mut
July 18, 2024 16:09 4m 40s
more builtins Build and test Karamel based on a FStar image #1520: Commit 72e742a pushed by R1kM
July 18, 2024 15:19 4m 38s protz_infer_mut
protz_infer_mut
July 18, 2024 15:19 4m 38s
Fix builtin types when taking slices Build and test Karamel based on a FStar image #1519: Commit 081369d pushed by R1kM
July 18, 2024 12:31 4m 40s protz_infer_mut
protz_infer_mut
July 18, 2024 12:31 4m 40s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1518: Scheduled
July 18, 2024 01:15 7m 43s master
master
July 18, 2024 01:15 7m 43s
ProTip! You can narrow down the results and go further in time using created:<2024-07-18 or the other filters available.