Skip to content

Actions: FStarLang/karamel

Actions

Build and test Karamel based on a FStar image

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
linux-x64-hierarchic.yaml
1,211 workflow runs
1,211 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fixed point Build and test Karamel based on a FStar image #1808: Commit 25131d7 pushed by protz
October 24, 2024 22:11 6m 5s protz_rust
protz_rust
October 24, 2024 22:11 6m 5s
WIP cleanup mutability analysis Build and test Karamel based on a FStar image #1807: Commit 496e399 pushed by protz
October 24, 2024 16:40 8m 27s protz_rust
protz_rust
October 24, 2024 16:40 8m 27s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1806: Scheduled
October 24, 2024 01:26 8m 21s master
master
October 24, 2024 01:26 8m 21s
Some improvements in support of structs and enums for the Rust backend Build and test Karamel based on a FStar image #1805: Commit 918bf50 pushed by protz
October 23, 2024 21:13 8m 7s protz_rust
protz_rust
October 23, 2024 21:13 8m 7s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1804: Scheduled
October 23, 2024 01:26 8m 7s master
master
October 23, 2024 01:26 8m 7s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1803: Scheduled
October 22, 2024 01:35 9m 14s master
master
October 22, 2024 01:35 9m 14s
Merge pull request #494 from FStarLang/protz_ignore Build and test Karamel based on a FStar image #1802: Commit 87384b2 pushed by msprotz
October 22, 2024 00:30 12m 41s master
master
October 22, 2024 00:30 12m 41s
Change the criterion for KRML_IGNORE vs KRML_MAYBE_UNUSED_VAR Build and test Karamel based on a FStar image #1801: Pull request #494 opened by msprotz
October 22, 2024 00:10 14m 2s protz_ignore
protz_ignore
October 22, 2024 00:10 14m 2s
Fixes #493 Build and test Karamel based on a FStar image #1800: Commit e9e3440 pushed by protz
October 22, 2024 00:07 8m 12s protz_ignore
protz_ignore
October 22, 2024 00:07 8m 12s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1799: Scheduled
October 21, 2024 01:37 18m 49s master
master
October 21, 2024 01:37 18m 49s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1798: Scheduled
October 20, 2024 01:41 8m 9s master
master
October 20, 2024 01:41 8m 9s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1797: Scheduled
October 19, 2024 01:26 8m 23s master
master
October 19, 2024 01:26 8m 23s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1796: Scheduled
October 18, 2024 01:34 13m 49s master
master
October 18, 2024 01:34 13m 49s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1795: Scheduled
October 17, 2024 01:34 10m 48s master
master
October 17, 2024 01:34 10m 48s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1794: Scheduled
October 16, 2024 01:35 16m 59s master
master
October 16, 2024 01:35 16m 59s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1793: Scheduled
October 15, 2024 01:35 5m 37s master
master
October 15, 2024 01:35 5m 37s
Merge pull request #492 from mtzguido/noinc Build and test Karamel based on a FStar image #1792: Commit c31a22c pushed by msprotz
October 14, 2024 21:13 7m 54s master
master
October 14, 2024 21:13 7m 54s
Makefile: improve confusing errors in inclusion Build and test Karamel based on a FStar image #1791: Pull request #492 synchronize by mtzguido
October 14, 2024 06:59 15m 22s mtzguido:noinc
mtzguido:noinc
October 14, 2024 06:59 15m 22s
Makefile: improve confusing errors in inclusion Build and test Karamel based on a FStar image #1790: Pull request #492 synchronize by mtzguido
October 14, 2024 06:53 13m 27s mtzguido:noinc
mtzguido:noinc
October 14, 2024 06:53 13m 27s
Makefile: improve confusing errors in inclusion Build and test Karamel based on a FStar image #1789: Pull request #492 opened by mtzguido
October 14, 2024 06:43 14m 51s mtzguido:noinc
mtzguido:noinc
October 14, 2024 06:43 14m 51s
Merge pull request #491 from FStarLang/franziskus/allow_array_field_a… Build and test Karamel based on a FStar image #1788: Commit 9de4665 pushed by msprotz
October 14, 2024 06:42 7m 57s master
master
October 14, 2024 06:42 7m 57s
allow assigning arrays into fields Build and test Karamel based on a FStar image #1787: Pull request #491 synchronize by msprotz
October 14, 2024 06:26 15m 37s franziskus/allow_array_field_assign
franziskus/allow_array_field_assign
October 14, 2024 06:26 15m 37s
Merge branch 'master' into franziskus/allow_array_field_assign Build and test Karamel based on a FStar image #1786: Commit 4137a2e pushed by msprotz
October 14, 2024 06:26 7m 48s franziskus/allow_array_field_assign
franziskus/allow_array_field_assign
October 14, 2024 06:26 7m 48s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1785: Scheduled
October 14, 2024 01:36 7m 55s master
master
October 14, 2024 01:36 7m 55s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1784: Scheduled
October 13, 2024 01:39 7m 39s master
master
October 13, 2024 01:39 7m 39s