Skip to content

Actions: FStarLang/karamel

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,111 workflow runs
1,111 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 #2086: Scheduled
February 12, 2025 01:26 15m 40s master
master
February 12, 2025 01:26 15m 40s
Merge pull request #532 from FStarLang/lucas-nix-aarch64 Build and test Karamel based on a FStar image #2085: Commit 1d81d75 pushed by msprotz
February 11, 2025 14:56 15m 55s master
master
February 11, 2025 14:56 15m 55s
Support Assumed Declaration in MiniRust translation Build and test Karamel based on a FStar image #2084: Pull request #533 opened by R1kM
February 11, 2025 10:54 18m 18s afromher_rust2
afromher_rust2
February 11, 2025 10:54 18m 18s
Catch leftover assumed declarations at codegen time Build and test Karamel based on a FStar image #2083: Commit 409c23c pushed by R1kM
February 11, 2025 10:33 22m 7s afromher_rust2
afromher_rust2
February 11, 2025 10:33 22m 7s
feat(nix): add support for aarch64 linux & mac Build and test Karamel based on a FStar image #2082: Pull request #532 opened by W95Psp
February 11, 2025 09:10 37m 56s lucas-nix-aarch64
lucas-nix-aarch64
February 11, 2025 09:10 37m 56s
feat(nix): add support for aarch64 linux & mac Build and test Karamel based on a FStar image #2081: Commit 0ecf7c1 pushed by W95Psp
February 11, 2025 09:09 21m 18s lucas-nix-aarch64
lucas-nix-aarch64
February 11, 2025 09:09 21m 18s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #2080: Scheduled
February 11, 2025 01:26 15m 19s master
master
February 11, 2025 01:26 15m 19s
WIP: Rework compiler autodetection Build and test Karamel based on a FStar image #2079: Pull request #531 synchronize by mtzguido
February 11, 2025 00:52 15m 41s mtzguido:cc
mtzguido:cc
February 11, 2025 00:52 15m 41s
WIP: Rework compiler autodetection Build and test Karamel based on a FStar image #2078: Pull request #531 opened by mtzguido
February 10, 2025 18:01 17m 24s mtzguido:cc
mtzguido:cc
February 10, 2025 18:01 17m 24s
Possibly convert erases borrow kinds to make handling of internals mo… Build and test Karamel based on a FStar image #2077: Commit 387741b pushed by R1kM
February 10, 2025 17:19 19m 39s afromher_rust2
afromher_rust2
February 10, 2025 17:19 19m 39s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #2076: Scheduled
February 10, 2025 01:35 15m 45s master
master
February 10, 2025 01:35 15m 45s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #2075: Scheduled
February 9, 2025 01:37 15m 47s master
master
February 9, 2025 01:37 15m 47s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #2074: Scheduled
February 8, 2025 01:24 16m 11s master
master
February 8, 2025 01:24 16m 11s
Merge pull request #530 from FStarLang/protz_generalization Build and test Karamel based on a FStar image #2073: Commit 4d4b74e pushed by msprotz
February 7, 2025 23:26 1h 32m 51s master
master
February 7, 2025 23:26 1h 32m 51s
Slight generalization Build and test Karamel based on a FStar image #2072: Pull request #530 opened by msprotz
February 7, 2025 22:47 38m 47s protz_generalization
protz_generalization
February 7, 2025 22:47 38m 47s
Slight generalization Build and test Karamel based on a FStar image #2071: Commit 4ff126e pushed by protz
February 7, 2025 22:47 18m 5s protz_generalization
protz_generalization
February 7, 2025 22:47 18m 5s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #2070: Scheduled
February 7, 2025 01:26 15m 37s master
master
February 7, 2025 01:26 15m 37s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #2069: Scheduled
February 6, 2025 01:26 15m 43s master
master
February 6, 2025 01:26 15m 43s
nitpick Build and test Karamel based on a FStar image #2068: Commit 58a6570 pushed by protz
February 5, 2025 22:05 28m 26s afromher_rust
afromher_rust
February 5, 2025 22:05 28m 26s
debug Build and test Karamel based on a FStar image #2067: Commit 87fe978 pushed by protz
February 5, 2025 22:04 13m 3s afromher_rust
afromher_rust
February 5, 2025 22:04 13m 3s
Merge pull request #528 from FStarLang/protz_narrowing Build and test Karamel based on a FStar image #2066: Commit 97a06e0 pushed by msprotz
February 5, 2025 01:58 35m 34s master
master
February 5, 2025 01:58 35m 34s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #2065: Scheduled
February 5, 2025 01:26 50m 28s master
master
February 5, 2025 01:26 50m 28s
Avoid narrowing conversion errors in initializer lists in C++ -- fixe… Build and test Karamel based on a FStar image #2064: Pull request #528 synchronize by msprotz
February 5, 2025 00:24 1h 34m 7s protz_narrowing
protz_narrowing
February 5, 2025 00:24 1h 34m 7s
Merge branch 'master' into protz_narrowing Build and test Karamel based on a FStar image #2063: Commit cf0402a pushed by msprotz
February 5, 2025 00:24 1h 16m 44s protz_narrowing
protz_narrowing
February 5, 2025 00:24 1h 16m 44s
Avoid narrowing conversion errors in initializer lists in C++ -- fixe… Build and test Karamel based on a FStar image #2062: Pull request #528 opened by msprotz
February 5, 2025 00:23 1h 0m 42s protz_narrowing
protz_narrowing
February 5, 2025 00:23 1h 0m 42s