Skip to content

Actions: tjammer/schmu

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
179 workflow runs
179 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix parameterized qvar types in signatures, again
build #366: Commit 02787d3 pushed by tjammer
December 11, 2024 21:50 5m 33s main
December 11, 2024 21:50 5m 33s
Fix returned type of signature check
build #365: Commit 7e39f4a pushed by tjammer
December 10, 2024 20:49 5m 40s main
December 10, 2024 20:49 5m 40s
Delete matches syntax
build #364: Commit 978c0d1 pushed by tjammer
December 4, 2024 20:35 9m 3s main
December 4, 2024 20:35 9m 3s
Add missing lib
build #363: Commit 13316c7 pushed by tjammer
November 22, 2024 19:58 6m 26s main
November 22, 2024 19:58 6m 26s
Adjust release optimizations
build #362: Commit ffd1cdf pushed by tjammer
November 22, 2024 19:56 5m 27s main
November 22, 2024 19:56 5m 27s
Rework recursive types check
build #361: Commit 72b098a pushed by tjammer
November 18, 2024 22:00 5m 46s main
November 18, 2024 22:00 5m 46s
Add map_inplace function to array module
build #360: Commit 9c0e289 pushed by tjammer
November 16, 2024 22:02 6m 44s main
November 16, 2024 22:02 6m 44s
Use plain types in error messages, without brackets
build #359: Commit 93ec7c7 pushed by tjammer
November 15, 2024 21:17 5m 51s main
November 15, 2024 21:17 5m 51s
Fix sig check for concrete types of gen aliases
build #358: Commit 6858efa pushed by tjammer
November 14, 2024 21:25 5m 37s main
November 14, 2024 21:25 5m 37s
Mark projected bindings as mutated
build #357: Commit 70572fc pushed by tjammer
November 14, 2024 06:08 6m 31s main
November 14, 2024 06:08 6m 31s
Mark projected bindings as mutated
build #356: Commit d098c6b pushed by tjammer
November 13, 2024 21:54 5m 54s main
November 13, 2024 21:54 5m 54s
Add init function to array module
build #355: Commit 5d9fa73 pushed by tjammer
November 12, 2024 20:39 5m 26s main
November 12, 2024 20:39 5m 26s
Add __unsafe_leak builtin
build #354: Commit 88f71b2 pushed by tjammer
November 11, 2024 22:08 5m 37s main
November 11, 2024 22:08 5m 37s
Make move specifier optional for known functions
build #353: Commit ce52292 pushed by tjammer
November 9, 2024 22:00 5m 40s main
November 9, 2024 22:00 5m 40s
Fix moving functions directly into variants
build #352: Commit ecae667 pushed by tjammer
November 7, 2024 21:15 5m 51s main
November 7, 2024 21:15 5m 51s
Fix moving outer check for branches
build #351: Commit 7747045 pushed by tjammer
November 7, 2024 20:57 5m 46s main
November 7, 2024 20:57 5m 46s
Support closures with unit types
build #350: Commit a975c31 pushed by tjammer
November 7, 2024 19:56 5m 36s main
November 7, 2024 19:56 5m 36s
Support partial freeing of rcs
build #349: Commit 4a90000 pushed by tjammer
November 6, 2024 22:11 5m 46s main
November 6, 2024 22:11 5m 46s
Speed up compilation by memoizing type conversion
build #348: Commit 607566f pushed by tjammer
November 4, 2024 21:42 5m 44s main
November 4, 2024 21:42 5m 44s
Use correct err loc for functor apps
build #347: Commit 491da07 pushed by tjammer
November 2, 2024 21:16 5m 25s main
November 2, 2024 21:16 5m 25s
Add printing of module dependencies
build #346: Commit 46a964a pushed by tjammer
November 1, 2024 21:29 5m 43s main
November 1, 2024 21:29 5m 43s
Fix exhaustiveness checking in tuple patterns
build #345: Commit 7dcbf9f pushed by tjammer
October 30, 2024 21:25 5m 34s main
October 30, 2024 21:25 5m 34s
Only output debug lines, not full debug info
build #344: Commit aa13afe pushed by tjammer
October 30, 2024 20:34 6m 36s main
October 30, 2024 20:34 6m 36s
Factor out memory tests to own test module
build #343: Commit 6695bf3 pushed by tjammer
October 28, 2024 20:48 5m 30s main
October 28, 2024 20:48 5m 30s
Add failwith function which matches any type
build #342: Commit f7ab81d pushed by tjammer
October 27, 2024 20:51 5m 24s main
October 27, 2024 20:51 5m 24s