Skip to content

Actions: FStarLang/karamel

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,138 workflow runs
1,138 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 #2030: Scheduled
January 18, 2025 01:22 16m 19s master
master
January 18, 2025 01:22 16m 19s
Merge pull request #523 from FStarLang/nik_no_hints Build and test Karamel based on a FStar image #2029: Commit a02d57f pushed by msprotz
January 17, 2025 18:12 19m 24s master
master
January 17, 2025 18:12 19m 24s
Removing hints Build and test Karamel based on a FStar image #2028: Pull request #523 synchronize by msprotz
January 17, 2025 17:36 36m 4s nik_no_hints
nik_no_hints
January 17, 2025 17:36 36m 4s
Merge branch 'master' into nik_no_hints Build and test Karamel based on a FStar image #2027: Commit 3b50b33 pushed by msprotz
January 17, 2025 17:36 18m 32s nik_no_hints
nik_no_hints
January 17, 2025 17:36 18m 32s
Merge pull request #524 from FStarLang/afromher_misc Build and test Karamel based on a FStar image #2026: Commit fcadb9c pushed by R1kM
January 17, 2025 15:20 17m 46s master
master
January 17, 2025 15:20 17m 46s
Add uint8 helper Build and test Karamel based on a FStar image #2025: Pull request #524 opened by R1kM
January 17, 2025 14:53 27m 41s afromher_misc
afromher_misc
January 17, 2025 14:53 27m 41s
Add uint8 helper Build and test Karamel based on a FStar image #2024: Commit ad4c074 pushed by R1kM
January 17, 2025 14:44 17m 4s afromher_misc
afromher_misc
January 17, 2025 14:44 17m 4s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #2023: Scheduled
January 17, 2025 01:24 17m 21s master
master
January 17, 2025 01:24 17m 21s
Retrieve correct types out of sizeof during memcpy Build and test Karamel based on a FStar image #2022: Commit 0d55cdd pushed by R1kM
January 16, 2025 16:22 10s afromher_clangml
afromher_clangml
January 16, 2025 16:22 10s
Removing hints Build and test Karamel based on a FStar image #2021: Pull request #523 opened by nikswamy
January 16, 2025 06:02 30m 55s nik_no_hints
nik_no_hints
January 16, 2025 06:02 30m 55s
update snapshot (new case for unfold once) Build and test Karamel based on a FStar image #2020: Commit fb0e9fd pushed by nikswamy
January 16, 2025 05:55 17m 48s nik_no_hints
nik_no_hints
January 16, 2025 05:55 17m 48s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #2019: Scheduled
January 16, 2025 01:24 16m 55s master
master
January 16, 2025 01:24 16m 55s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #2018: Scheduled
January 15, 2025 01:25 16m 59s master
master
January 15, 2025 01:25 16m 59s
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