Skip to content

Actions: tjammer/schmu

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
main
October 27, 2024 20:51 5m 24s