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

Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1667: Scheduled
September 5, 2024 01:22 5m 35s master
master
September 5, 2024 01:22 5m 35s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1666: Scheduled
September 4, 2024 01:22 27m 56s master
master
September 4, 2024 01:22 27m 56s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1665: Scheduled
September 3, 2024 01:21 6m 11s master
master
September 3, 2024 01:21 6m 11s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1664: Scheduled
September 2, 2024 01:23 6m 14s master
master
September 2, 2024 01:23 6m 14s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1663: Scheduled
September 1, 2024 01:40 6m 17s master
master
September 1, 2024 01:40 6m 17s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1662: Scheduled
August 31, 2024 01:21 6m 15s master
master
August 31, 2024 01:21 6m 15s
Introduce -faggressive-inlining Build and test Karamel based on a FStar image #1661: Pull request #469 synchronize by mtzguido
August 30, 2024 16:53 7m 1s mtzguido:aggressive_inlining
mtzguido:aggressive_inlining
August 30, 2024 16:53 7m 1s
Merge pull request #475 from FStarLang/afromher_rust Build and test Karamel based on a FStar image #1660: Commit c96fb69 pushed by msprotz
August 30, 2024 15:11 6m 13s master
master
August 30, 2024 15:11 6m 13s
Prevent move-out on pointer holding structs Build and test Karamel based on a FStar image #1659: Pull request #475 synchronize by R1kM
August 30, 2024 09:30 12m 17s afromher_rust
afromher_rust
August 30, 2024 09:30 12m 17s
Merge branch 'master' into afromher_rust Build and test Karamel based on a FStar image #1658: Commit cd568f8 pushed by R1kM
August 30, 2024 09:30 6m 10s afromher_rust
afromher_rust
August 30, 2024 09:30 6m 10s
Prevent move-out on pointer holding structs Build and test Karamel based on a FStar image #1657: Pull request #475 opened by R1kM
August 30, 2024 09:21 6m 13s afromher_rust
afromher_rust
August 30, 2024 09:21 6m 13s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1656: Scheduled
August 30, 2024 01:22 6m 16s master
master
August 30, 2024 01:22 6m 16s
Merge pull request #474 from FStarLang/revert-472-protz_cla Build and test Karamel based on a FStar image #1655: Commit fa19d37 pushed by msprotz
August 29, 2024 21:05 6m 19s master
master
August 29, 2024 21:05 6m 19s
Revert "Add CLA: step 1" Build and test Karamel based on a FStar image #1654: Pull request #474 opened by msprotz
August 29, 2024 20:52 12m 18s revert-472-protz_cla
revert-472-protz_cla
August 29, 2024 20:52 12m 18s
Revert "Add CLA: step 1" Build and test Karamel based on a FStar image #1653: Commit dbe355c pushed by msprotz
August 29, 2024 20:52 6m 11s revert-472-protz_cla
revert-472-protz_cla
August 29, 2024 20:52 6m 11s
Add CLA: step 2 Build and test Karamel based on a FStar image #1652: Pull request #473 opened by msprotz
August 29, 2024 20:32 18m 43s protz_cla
protz_cla
August 29, 2024 20:32 18m 43s
Add CLA: step 2 Build and test Karamel based on a FStar image #1651: Commit ff2ae54 pushed by msprotz
August 29, 2024 20:32 12m 45s protz_cla
protz_cla
August 29, 2024 20:32 12m 45s
Merge pull request #472 from FStarLang/protz_cla Build and test Karamel based on a FStar image #1650: Commit 11ff32b pushed by msprotz
August 29, 2024 20:32 6m 37s master
master
August 29, 2024 20:32 6m 37s
Add CLA: step 1 Build and test Karamel based on a FStar image #1649: Pull request #472 opened by msprotz
August 29, 2024 20:20 12m 6s protz_cla
protz_cla
August 29, 2024 20:20 12m 6s
Add CLA: step 1 Build and test Karamel based on a FStar image #1648: Commit 8429216 pushed by msprotz
August 29, 2024 20:20 6m 21s protz_cla
protz_cla
August 29, 2024 20:20 6m 21s
Merge pull request #470 from mtzguido/local_cinline Build and test Karamel based on a FStar image #1647: Commit dde0009 pushed by mtzguido
August 29, 2024 19:13 7m 11s master
master
August 29, 2024 19:13 7m 11s
Add a test for @@CInline on letbinding Build and test Karamel based on a FStar image #1646: Commit cf99516 pushed by mtzguido
August 29, 2024 17:37 6m 15s ast31
ast31
August 29, 2024 17:37 6m 15s
Using CInline to inline local letbindings Build and test Karamel based on a FStar image #1645: Pull request #470 synchronize by mtzguido
August 29, 2024 17:34 6m 16s mtzguido:local_cinline
mtzguido:local_cinline
August 29, 2024 17:34 6m 16s
Using CInline to inline local letbindings Build and test Karamel based on a FStar image #1644: Pull request #470 synchronize by mtzguido
August 29, 2024 17:10 4m 42s mtzguido:local_cinline
mtzguido:local_cinline
August 29, 2024 17:10 4m 42s
Prevent move-out on pointer holding structs Build and test Karamel based on a FStar image #1643: Commit 532cc7f pushed by R1kM
August 29, 2024 16:19 8m 5s afromher_rust
afromher_rust
August 29, 2024 16:19 8m 5s