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

A new option for short names -- could potentially be useful generally Build and test Karamel based on a FStar image #1567: Pull request #457 synchronize by protz
August 2, 2024 15:47 57m 38s protz_misc
protz_misc
August 2, 2024 15:47 57m 38s
Cleanups Build and test Karamel based on a FStar image #1566: Commit ebb81b8 pushed by protz
August 2, 2024 15:47 43m 56s protz_misc
protz_misc
August 2, 2024 15:47 43m 56s
A new option for short names -- could potentially be useful generally Build and test Karamel based on a FStar image #1565: Pull request #457 synchronize by protz
August 2, 2024 15:40 37m 36s protz_misc
protz_misc
August 2, 2024 15:40 37m 36s
Remove Eurydice-specific behavior now handled in a separate Eurydice … Build and test Karamel based on a FStar image #1564: Commit 755cced pushed by protz
August 2, 2024 15:40 23m 49s protz_misc
protz_misc
August 2, 2024 15:40 23m 49s
A new option for short names -- could potentially be useful generally Build and test Karamel based on a FStar image #1563: Pull request #457 opened by msprotz
August 2, 2024 15:36 13m 48s protz_misc
protz_misc
August 2, 2024 15:36 13m 48s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1562: Scheduled
August 2, 2024 01:17 17m 54s master
master
August 2, 2024 01:17 17m 54s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1561: Scheduled
August 1, 2024 01:23 6m 35s master
master
August 1, 2024 01:23 6m 35s
A new option for short names -- could potentially be useful generally Build and test Karamel based on a FStar image #1560: Commit 4626e5f pushed by protz
July 31, 2024 21:38 6m 29s protz_misc
protz_misc
July 31, 2024 21:38 6m 29s
Merge pull request #453 from FStarLang/protz_misc Build and test Karamel based on a FStar image #1559: Commit ab466d7 pushed by msprotz
July 31, 2024 17:28 6m 30s master
master
July 31, 2024 17:28 6m 30s
Formatting, generalization of readonly lids, and a peephole optimization in Structs Build and test Karamel based on a FStar image #1558: Pull request #453 opened by msprotz
July 31, 2024 17:16 12m 12s protz_misc
protz_misc
July 31, 2024 17:16 12m 12s
Formatting, generalization of readonly lids, and a peephole optimizat… Build and test Karamel based on a FStar image #1557: Commit 5a2983a pushed by protz
July 31, 2024 17:15 6m 31s protz_misc
protz_misc
July 31, 2024 17:15 6m 31s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1556: Scheduled
July 31, 2024 01:04 6m 41s master
master
July 31, 2024 01:04 6m 41s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1555: Scheduled
July 30, 2024 01:17 6m 31s master
master
July 30, 2024 01:17 6m 31s
Merge pull request #452 from FStarLang/protz_rs_misc Build and test Karamel based on a FStar image #1554: Commit d5759a8 pushed by msprotz
July 30, 2024 00:08 7m 3s master
master
July 30, 2024 00:08 7m 3s
Improve visibility of generated Rust definitions; carry top-level comments Build and test Karamel based on a FStar image #1553: Pull request #452 opened by msprotz
July 29, 2024 23:55 12m 24s protz_rs_misc
protz_rs_misc
July 29, 2024 23:55 12m 24s
Proper visibility in the generate Rust code Build and test Karamel based on a FStar image #1552: Commit 6682cea pushed by protz
July 29, 2024 23:54 6m 27s protz_rs_misc
protz_rs_misc
July 29, 2024 23:54 6m 27s
Merge pull request #451 from FStarLang/_taramana_ci_depext Build and test Karamel based on a FStar image #1551: Commit 4d6d8d7 pushed by msprotz
July 29, 2024 17:20 6m 33s master
master
July 29, 2024 17:20 6m 33s
CI: automatically handle system dependency changes Build and test Karamel based on a FStar image #1550: Pull request #451 opened by tahina-pro
July 29, 2024 17:05 6m 35s _taramana_ci_depext
_taramana_ci_depext
July 29, 2024 17:05 6m 35s
CI: automatically handle system dependency changes Build and test Karamel based on a FStar image #1549: Commit ff33753 pushed by tahina-pro
July 29, 2024 16:41 13m 53s taramana_ci_test_20240729
taramana_ci_test_20240729
July 29, 2024 16:41 13m 53s
OPAMCONFIRMLEVEL > OPAMYES > --yes Build and test Karamel based on a FStar image #1548: Commit ca27036 pushed by tahina-pro
July 29, 2024 15:28 2m 55s taramana_ci_test_20240729
taramana_ci_test_20240729
July 29, 2024 15:28 2m 55s
opam install --yes not honored? Build and test Karamel based on a FStar image #1547: Commit 6146ade pushed by tahina-pro
July 29, 2024 15:15 2m 54s taramana_ci_test_20240729
taramana_ci_test_20240729
July 29, 2024 15:15 2m 54s
accept automatic opam depext Build and test Karamel based on a FStar image #1546: Commit 7fa5adc pushed by tahina-pro
July 29, 2024 15:08 2m 52s taramana_ci_test_20240729
taramana_ci_test_20240729
July 29, 2024 15:08 2m 52s
test a F* CI fix Build and test Karamel based on a FStar image #1545: Commit 666499a pushed by tahina-pro
July 29, 2024 14:59 2m 52s taramana_ci_test_20240729
taramana_ci_test_20240729
July 29, 2024 14:59 2m 52s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1544: Scheduled
July 29, 2024 01:19 2m 51s master
master
July 29, 2024 01:19 2m 51s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1543: Scheduled
July 28, 2024 01:22 2m 51s master
master
July 28, 2024 01:22 2m 51s