Skip to content

Actions: FStarLang/karamel

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,113 workflow runs
1,113 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 #1055: Scheduled
December 22, 2023 01:08 7m 10s master
master
December 22, 2023 01:08 7m 10s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1054: Scheduled
December 21, 2023 01:08 6m 57s master
master
December 21, 2023 01:08 6m 57s
omg Build and test Karamel based on a FStar image #1053: Commit 41612c6 pushed by msprotz
December 20, 2023 18:17 6m 44s protz_cg
protz_cg
December 20, 2023 18:17 6m 44s
Return previous environment in ELet nodes, correct scoping has been p… Build and test Karamel based on a FStar image #1052: Commit 78aea04 pushed by R1kM
December 20, 2023 17:07 6m 40s afromher_rust
afromher_rust
December 20, 2023 17:07 6m 40s
tidbit Build and test Karamel based on a FStar image #1051: Commit 0eda808 pushed by msprotz
December 20, 2023 08:42 12m 50s protz_cg
protz_cg
December 20, 2023 08:42 12m 50s
Fixup for new argument to macros Build and test Karamel based on a FStar image #1050: Commit 22f275d pushed by msprotz
December 20, 2023 08:41 6m 50s protz_cg
protz_cg
December 20, 2023 08:41 6m 50s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1049: Scheduled
December 20, 2023 00:57 7m 54s master
master
December 20, 2023 00:57 7m 54s
Fix karamel.opam: add ctypes and ctypes-foreign Build and test Karamel based on a FStar image #1048: Pull request #391 synchronize by mtzguido
December 19, 2023 18:00 14m 58s cmovcc:areitz/fix-karamel.opam
cmovcc:areitz/fix-karamel.opam
December 19, 2023 18:00 14m 58s
Fix karamel.opam: add ctypes and ctypes-foreign Build and test Karamel based on a FStar image #1047: Pull request #391 synchronize by mtzguido
December 19, 2023 18:00 8m 19s cmovcc:areitz/fix-karamel.opam
cmovcc:areitz/fix-karamel.opam
December 19, 2023 18:00 8m 19s
When emitting a polymorphic call, likely to be implemented as a macro, Build and test Karamel based on a FStar image #1046: Commit 1152206 pushed by msprotz
December 19, 2023 10:13 5m 0s protz_cg
protz_cg
December 19, 2023 10:13 5m 0s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1045: Scheduled
December 19, 2023 01:09 6m 47s master
master
December 19, 2023 01:09 6m 47s
Expose a useful helper Build and test Karamel based on a FStar image #1044: Commit 1f52609 pushed by msprotz
December 18, 2023 21:10 6m 43s protz_cg
protz_cg
December 18, 2023 21:10 6m 43s
Fix Nix build header: F* and krml versions empty Build and test Karamel based on a FStar image #1043: Pull request #394 synchronize by cmovcc
December 18, 2023 15:31 3m 37s cmovcc:areitz/fix-nix-build-header
cmovcc:areitz/fix-nix-build-header
December 18, 2023 15:31 3m 37s
Merge pull request #402 from kant2002/patch-1 Build and test Karamel based on a FStar image #1042: Commit 67b19d9 pushed by msprotz
December 18, 2023 13:32 6m 49s master
master
December 18, 2023 13:32 6m 49s
Fix build badge Build and test Karamel based on a FStar image #1041: Pull request #402 opened by kant2002
December 18, 2023 13:21 6m 42s kant2002:patch-1
kant2002:patch-1
December 18, 2023 13:21 6m 42s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1040: Scheduled
December 18, 2023 01:11 6m 49s master
master
December 18, 2023 01:11 6m 49s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1039: Scheduled
December 17, 2023 01:14 6m 49s master
master
December 17, 2023 01:14 6m 49s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1038: Scheduled
December 16, 2023 01:09 7m 11s master
master
December 16, 2023 01:09 7m 11s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1037: Scheduled
December 15, 2023 01:11 7m 3s master
master
December 15, 2023 01:11 7m 3s
Merge pull request #401 from amosr/amos/reduce-full-match Build and test Karamel based on a FStar image #1036: Commit 44b0cbe pushed by msprotz
December 14, 2023 11:19 6m 54s master
master
December 14, 2023 11:19 6m 54s
remove backtracking in reduce_full_match Build and test Karamel based on a FStar image #1035: Pull request #401 synchronize by amosr
December 14, 2023 09:28 6m 53s amosr:amos/reduce-full-match
amosr:amos/reduce-full-match
December 14, 2023 09:28 6m 53s
remove backtracking in reduce_full_match Build and test Karamel based on a FStar image #1034: Pull request #401 synchronize by amosr
December 14, 2023 04:01 4m 51s amosr:amos/reduce-full-match
amosr:amos/reduce-full-match
December 14, 2023 04:01 4m 51s
Build and test Karamel based on a FStar image Build and test Karamel based on a FStar image #1032: Scheduled
December 14, 2023 01:09 7m 16s master
master
December 14, 2023 01:09 7m 16s
Merge pull request #400 from Niols/trim-klist Build and test Karamel based on a FStar image #1031: Commit 0ef50b0 pushed by msprotz
December 13, 2023 15:08 7m 6s master
master
December 13, 2023 15:08 7m 6s
Cleanup the KList module Build and test Karamel based on a FStar image #1030: Pull request #400 opened by Niols
December 13, 2023 11:51 6m 57s Niols:trim-klist
Niols:trim-klist
December 13, 2023 11:51 6m 57s
ProTip! You can narrow down the results and go further in time using created:<2023-12-13 or the other filters available.