Skip to content

Actions: FStarLang/karamel

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,112 workflow runs
1,112 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix long-standing issue with C Abstract Structs Build and test Karamel based on a FStar image #2123: Pull request #542 opened by msprotz
February 19, 2025 20:13 21m 31s abstract_struct
abstract_struct
February 19, 2025 20:13 21m 31s
Fix long-standing issue with C Abstract Structs Build and test Karamel based on a FStar image #2122: Commit 62907a1 pushed by protz
February 19, 2025 20:04 16m 30s abstract_struct
abstract_struct
February 19, 2025 20:04 16m 30s
extract to Rust and compile an implementation with a bundle Build and test Karamel based on a FStar image #2121: Commit 0c895c9 pushed by tahina-pro
February 19, 2025 03:30 16m 17s taramana_rust_val_test
taramana_rust_val_test
February 19, 2025 03:30 16m 17s
test bundle rename and rename-prefix Build and test Karamel based on a FStar image #2120: Commit be223e4 pushed by tahina-pro
February 19, 2025 02:02 25m 17s taramana_rust_val_test
taramana_rust_val_test
February 19, 2025 02:02 25m 17s
create a Rust interface test Build and test Karamel based on a FStar image #2119: Commit fa47096 pushed by tahina-pro
February 19, 2025 01:57 16m 7s taramana_rust_val_test
taramana_rust_val_test
February 19, 2025 01:57 16m 7s
Merge pull request #537 from FStarLang/_taramana_const_source_blit Build and test Karamel based on a FStar image #2118: Commit a46da20 pushed by tahina-pro
February 19, 2025 01:55 1m 59s taramana_rust_val_test
taramana_rust_val_test
February 19, 2025 01:55 1m 59s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #2117: Scheduled
February 19, 2025 01:35 16m 6s master
master
February 19, 2025 01:35 16m 6s
Merge pull request #537 from FStarLang/_taramana_const_source_blit Build and test Karamel based on a FStar image #2116: Commit a46da20 pushed by msprotz
February 19, 2025 00:57 36m 35s master
master
February 19, 2025 00:57 36m 35s
Simplify Makefiles after F* changes Build and test Karamel based on a FStar image #2115: Pull request #536 synchronize by mtzguido
February 19, 2025 00:19 56m 51s mtzguido:simpl
mtzguido:simpl
February 19, 2025 00:19 56m 51s
Allow const source buffers for EBufBlit Build and test Karamel based on a FStar image #2114: Pull request #537 synchronize by msprotz
February 19, 2025 00:12 44m 54s _taramana_const_source_blit
_taramana_const_source_blit
February 19, 2025 00:12 44m 54s
Simplify Makefiles after F* changes Build and test Karamel based on a FStar image #2113: Pull request #536 synchronize by mtzguido
February 18, 2025 18:22 17m 38s mtzguido:simpl
mtzguido:simpl
February 18, 2025 18:22 17m 38s
Merge pull request #539 from mtzguido/unused Build and test Karamel based on a FStar image #2112: Commit cfddb06 pushed by msprotz
February 18, 2025 13:37 16m 24s master
master
February 18, 2025 13:37 16m 24s
Simplify Makefiles after F* changes Build and test Karamel based on a FStar image #2111: Pull request #536 synchronize by mtzguido
February 18, 2025 03:32 16m 6s mtzguido:simpl
mtzguido:simpl
February 18, 2025 03:32 16m 6s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #2110: Scheduled
February 18, 2025 01:26 17m 20s master
master
February 18, 2025 01:26 17m 20s
Removing unused modules Build and test Karamel based on a FStar image #2109: Pull request #539 opened by mtzguido
February 17, 2025 23:49 32m 0s mtzguido:unused
mtzguido:unused
February 17, 2025 23:49 32m 0s
Merge pull request #538 from FStarLang/afromher_misc Build and test Karamel based on a FStar image #2108: Commit 0894de5 pushed by msprotz
February 17, 2025 16:23 18m 43s master
master
February 17, 2025 16:23 18m 43s
More helpers for basic int types Build and test Karamel based on a FStar image #2107: Pull request #538 opened by R1kM
February 17, 2025 16:06 17m 30s afromher_misc
afromher_misc
February 17, 2025 16:06 17m 30s
More helpers for basic int types Build and test Karamel based on a FStar image #2106: Commit 36b63c9 pushed by R1kM
February 17, 2025 15:46 17m 37s afromher_misc
afromher_misc
February 17, 2025 15:46 17m 37s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #2105: Scheduled
February 17, 2025 01:37 17m 15s master
master
February 17, 2025 01:37 17m 15s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #2104: Scheduled
February 16, 2025 01:40 16m 23s master
master
February 16, 2025 01:40 16m 23s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #2103: Scheduled
February 15, 2025 01:26 21m 6s master
master
February 15, 2025 01:26 21m 6s
Allow const source buffers for EBufBlit Build and test Karamel based on a FStar image #2102: Pull request #537 opened by tahina-pro
February 14, 2025 23:25 36m 17s _taramana_const_source_blit
_taramana_const_source_blit
February 14, 2025 23:25 36m 17s
Simplify Makefiles after F* changes Build and test Karamel based on a FStar image #2101: Pull request #536 opened by mtzguido
February 14, 2025 16:54 27m 30s mtzguido:simpl
mtzguido:simpl
February 14, 2025 16:54 27m 30s
Merge pull request #533 from FStarLang/afromher_rust2 Build and test Karamel based on a FStar image #2100: Commit ec77220 pushed by R1kM
February 14, 2025 16:43 17m 13s master
master
February 14, 2025 16:43 17m 13s
Support Assumed Declaration in MiniRust translation Build and test Karamel based on a FStar image #2099: Pull request #533 synchronize by R1kM
February 14, 2025 16:09 33m 52s afromher_rust2
afromher_rust2
February 14, 2025 16:09 33m 52s