Skip to content

Actions: FStarLang/karamel

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,142 workflow runs
1,142 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 #2017: Scheduled
January 14, 2025 01:23 17m 41s master
master
January 14, 2025 01:23 17m 41s
Github actions CI CI #4: Pull request #515 synchronize by mtzguido
January 13, 2025 16:49 24m 28s mtzguido:ci
mtzguido:ci
January 13, 2025 16:49 24m 28s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #2016: Scheduled
January 13, 2025 01:39 17m 43s master
master
January 13, 2025 01:39 17m 43s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #2015: Scheduled
January 12, 2025 01:42 17m 24s master
master
January 12, 2025 01:42 17m 24s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #2014: Scheduled
January 11, 2025 01:34 18m 24s master
master
January 11, 2025 01:34 18m 24s
Merge pull request #522 from FStarLang/protz_uus Build and test Karamel based on a FStar image #2013: Commit 3274408 pushed by msprotz
January 10, 2025 22:02 18m 17s master
master
January 10, 2025 22:02 18m 17s
More aggressive elimination of temporaries Build and test Karamel based on a FStar image #2012: Pull request #522 synchronize by protz
January 10, 2025 19:26 1h 20m 32s protz_uus
protz_uus
January 10, 2025 19:26 1h 20m 32s
Remove debug Build and test Karamel based on a FStar image #2011: Commit 6240938 pushed by protz
January 10, 2025 19:26 1h 3m 15s protz_uus
protz_uus
January 10, 2025 19:26 1h 3m 15s
More aggressive elimination of temporaries Build and test Karamel based on a FStar image #2010: Pull request #522 opened by msprotz
January 10, 2025 19:25 47m 34s protz_uus
protz_uus
January 10, 2025 19:25 47m 34s
Merge remote-tracking branch 'origin/master' Build and test Karamel based on a FStar image #2009: Commit 3494f49 pushed by protz
January 10, 2025 19:24 31m 58s protz_uus
protz_uus
January 10, 2025 19:24 31m 58s
Slightly more aggressive elimination of temporaries Build and test Karamel based on a FStar image #2008: Commit f6b3233 pushed by protz
January 10, 2025 19:22 16m 48s protz_uus
protz_uus
January 10, 2025 19:22 16m 48s
Merge pull request #516 from mtzguido/no_fstar_home Build and test Karamel based on a FStar image #2007: Commit 5dde366 pushed by msprotz
January 10, 2025 17:59 17m 5s master
master
January 10, 2025 17:59 17m 5s
No FSTAR_HOME Build and test Karamel based on a FStar image #2006: Pull request #516 synchronize by msprotz
January 10, 2025 17:39 20m 36s mtzguido:no_fstar_home
mtzguido:no_fstar_home
January 10, 2025 17:39 20m 36s
Github actions CI CI #3: Pull request #515 synchronize by mtzguido
January 10, 2025 16:58 21m 12s mtzguido:ci
mtzguido:ci
January 10, 2025 16:58 21m 12s
Simplify while loops that are never entered Build and test Karamel based on a FStar image #2005: Commit 5c969e9 pushed by R1kM
January 10, 2025 14:04 3m 26s afromher_clangml
afromher_clangml
January 10, 2025 14:04 3m 26s
Support pointer arithmetic Build and test Karamel based on a FStar image #2004: Commit 2ad2293 pushed by R1kM
January 10, 2025 10:43 3m 22s afromher_clangml
afromher_clangml
January 10, 2025 10:43 3m 22s
More of chacha compiling Build and test Karamel based on a FStar image #2003: Commit 58786c1 pushed by R1kM
January 10, 2025 10:20 5m 4s afromher_clangml
afromher_clangml
January 10, 2025 10:20 5m 4s
Basic support for for loops Build and test Karamel based on a FStar image #2002: Commit 18353e8 pushed by R1kM
January 10, 2025 10:18 3m 28s afromher_clangml
afromher_clangml
January 10, 2025 10:18 3m 28s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #2001: Scheduled
January 10, 2025 01:37 10m 25s master
master
January 10, 2025 01:37 10m 25s
Makefile: remove warning on startup when no F* is present Build and test Karamel based on a FStar image #2000: Commit 5b2b328 pushed by mtzguido
January 10, 2025 01:33 7m 4s guido_dev
guido_dev
January 10, 2025 01:33 7m 4s
Merge pull request #520 from FStarLang/protz_fix_state Build and test Karamel based on a FStar image #1999: Commit fc68c6d pushed by msprotz
January 9, 2025 23:12 7m 18s master
master
January 9, 2025 23:12 7m 18s
Keep track of normalized vs un-normalized entries in the monomorphiza… Build and test Karamel based on a FStar image #1998: Pull request #520 opened by msprotz
January 9, 2025 22:57 14m 27s protz_fix_state
protz_fix_state
January 9, 2025 22:57 14m 27s
Keep track of normalized vs un-normalized entries in the monomorphiza… Build and test Karamel based on a FStar image #1997: Commit 4450e28 pushed by msprotz
January 9, 2025 22:57 7m 42s protz_fix_state
protz_fix_state
January 9, 2025 22:57 7m 42s
Add support for memcpy Build and test Karamel based on a FStar image #1996: Commit 94d81f1 pushed by R1kM
January 9, 2025 16:40 3m 23s afromher_clangml
afromher_clangml
January 9, 2025 16:40 3m 23s
No FSTAR_HOME Build and test Karamel based on a FStar image #1995: Pull request #516 synchronize by mtzguido
January 9, 2025 15:47 7m 42s mtzguido:no_fstar_home
mtzguido:no_fstar_home
January 9, 2025 15:47 7m 42s