Skip to content

Actions: FStarLang/karamel

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,140 workflow runs
1,140 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 #996: Scheduled
December 5, 2023 01:11 6m 34s master
master
December 5, 2023 01:11 6m 34s
Merge pull request #397 from FStarLang/protz_misc4 Build and test Karamel based on a FStar image #995: Commit 0644e20 pushed by msprotz
December 4, 2023 04:12 7m 5s master
master
December 4, 2023 04:12 7m 5s
Generalization of the "pass by ref" for the case where functions are returning arrays (not pointers) Build and test Karamel based on a FStar image #994: Pull request #397 opened by msprotz
December 4, 2023 03:27 6m 40s protz_misc4
protz_misc4
December 4, 2023 03:27 6m 40s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #993: Scheduled
December 4, 2023 01:10 6m 37s master
master
December 4, 2023 01:10 6m 37s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #992: Scheduled
December 3, 2023 01:13 6m 36s master
master
December 3, 2023 01:13 6m 36s
A few tidbits about the handling of (now legacy) const attribute, a t… Build and test Karamel based on a FStar image #991: Commit 60de208 pushed by msprotz
December 2, 2023 01:38 8m 6s protz_misc4
protz_misc4
December 2, 2023 01:38 8m 6s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #990: Scheduled
December 2, 2023 01:07 6m 41s master
master
December 2, 2023 01:07 6m 41s
A few subtleties related to pass-by-ref in the presence of early retu… Build and test Karamel based on a FStar image #989: Commit 8cc8154 pushed by msprotz
December 2, 2023 00:26 7m 0s protz_misc4
protz_misc4
December 2, 2023 00:26 7m 0s
Minor tweak to pass-by-ref to deal with array-returning functions (no… Build and test Karamel based on a FStar image #988: Commit a517eca pushed by msprotz
December 1, 2023 19:38 6m 30s protz_misc4
protz_misc4
December 1, 2023 19:38 6m 30s
Some helpers, and a little bit of a refactoring to deal with external… Build and test Karamel based on a FStar image #987: Commit 1c9ad4c pushed by msprotz
December 1, 2023 06:02 9m 55s protz_misc4
protz_misc4
December 1, 2023 06:02 9m 55s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #986: Scheduled
December 1, 2023 01:16 6m 36s master
master
December 1, 2023 01:16 6m 36s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #985: Scheduled
November 30, 2023 01:09 7m 45s master
master
November 30, 2023 01:09 7m 45s
Save that fix for later Build and test Karamel based on a FStar image #984: Commit 694c20b pushed by msprotz
November 29, 2023 17:42 6m 45s protz_misc4
protz_misc4
November 29, 2023 17:42 6m 45s
Tidbit Build and test Karamel based on a FStar image #983: Commit 2d9db05 pushed by msprotz
November 29, 2023 02:32 7m 1s protz_misc4
protz_misc4
November 29, 2023 02:32 7m 1s
More tidbits Build and test Karamel based on a FStar image #982: Commit 6f0b5f1 pushed by msprotz
November 29, 2023 01:54 4m 46s protz_misc3
protz_misc3
November 29, 2023 01:54 4m 46s
tidbit Build and test Karamel based on a FStar image #981: Commit aa31ad6 pushed by msprotz
November 29, 2023 01:39 4m 57s protz_misc3
protz_misc3
November 29, 2023 01:39 4m 57s
tidbits Build and test Karamel based on a FStar image #980: Commit c4ae783 pushed by msprotz
November 29, 2023 01:19 5m 17s protz_misc3
protz_misc3
November 29, 2023 01:19 5m 17s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #979: Scheduled
November 29, 2023 01:10 7m 41s master
master
November 29, 2023 01:10 7m 41s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #978: Scheduled
November 28, 2023 01:10 6m 37s master
master
November 28, 2023 01:10 6m 37s
Merge pull request #396 from FStarLang/protz_rs Build and test Karamel based on a FStar image #977: Commit 4ad7019 pushed by msprotz
November 27, 2023 18:36 7m 1s master
master
November 27, 2023 18:36 7m 1s
Preliminary support for a Rust backend Build and test Karamel based on a FStar image #976: Pull request #396 synchronize by msprotz
November 27, 2023 17:48 20m 39s protz_rs
protz_rs
November 27, 2023 17:48 20m 39s
Merge branch 'master' into protz_rs Build and test Karamel based on a FStar image #975: Commit 6d70cce pushed by msprotz
November 27, 2023 17:48 13m 49s protz_rs
protz_rs
November 27, 2023 17:48 13m 49s
Preliminary support for a Rust backend Build and test Karamel based on a FStar image #974: Pull request #396 opened by msprotz
November 27, 2023 17:48 6m 58s protz_rs
protz_rs
November 27, 2023 17:48 6m 58s
Another incorrect bit Build and test Karamel based on a FStar image #973: Commit 0b77bc7 pushed by msprotz
November 27, 2023 17:25 7m 19s protz_rs
protz_rs
November 27, 2023 17:25 7m 19s
Merge pull request #395 from mtzguido/ci Build and test Karamel based on a FStar image #972: Commit 9562dde pushed by msprotz
November 27, 2023 16:42 7m 40s master
master
November 27, 2023 16:42 7m 40s
ProTip! You can narrow down the results and go further in time using created:<2023-11-27 or the other filters available.