Skip to content

Actions: inko-lang/inko

Actions

Push

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
1,328 workflow runs
1,328 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

WIP: fix #666 Push #367: Commit 54759ed pushed by yorickpeterse
December 13, 2023 01:57 20m 56s issue-666
issue-666
December 13, 2023 01:57 20m 56s
WIP: fix #666 Push #366: Commit 5a5162f pushed by yorickpeterse
December 12, 2023 19:03 17m 37s issue-666
issue-666
December 12, 2023 19:03 17m 37s
Fix inferring placeholders with ownership Push #365: Commit 47e4c0b pushed by yorickpeterse
December 11, 2023 19:35 24m 12s main
main
December 11, 2023 19:35 24m 12s
Fix inferring placeholders with ownership Push #364: Commit 47e4c0b pushed by yorickpeterse
December 11, 2023 19:02 17m 47s type-placeholder-type-id
type-placeholder-type-id
December 11, 2023 19:02 17m 47s
Fix inferring placeholders with ownership Push #363: Commit 468273b pushed by yorickpeterse
December 11, 2023 14:47 22m 38s type-placeholder-type-id
type-placeholder-type-id
December 11, 2023 14:47 22m 38s
Revert "WIP: move Placeholder into TypeId" Push #362: Commit 14413a6 pushed by yorickpeterse
December 8, 2023 18:53 20m 13s type-placeholder-type-id
type-placeholder-type-id
December 8, 2023 18:53 20m 13s
WIP: move Placeholder into TypeId Push #361: Commit be4f759 pushed by yorickpeterse
December 8, 2023 18:28 18m 9s type-placeholder-type-id
type-placeholder-type-id
December 8, 2023 18:28 18m 9s
WIP: move Placeholder into TypeId Push #360: Commit 835124c pushed by yorickpeterse
December 8, 2023 01:03 14m 16s type-placeholder-type-id
type-placeholder-type-id
December 8, 2023 01:03 14m 16s
WIP: handle ownership for placeholders Push #359: Commit 08a17d1 pushed by yorickpeterse
December 7, 2023 21:06 21m 21s type-placeholder-type-id
type-placeholder-type-id
December 7, 2023 21:06 21m 21s
WIP: handle ownership for placeholders Push #358: Commit 5ddc142 pushed by yorickpeterse
December 7, 2023 18:19 24m 59s type-placeholder-type-id
type-placeholder-type-id
December 7, 2023 18:19 24m 59s
Recovering to owned values when assigning fields Push #357: Commit 1b61961 pushed by yorickpeterse
December 6, 2023 17:20 26m 13s main
main
December 6, 2023 17:20 26m 13s
Add the move keyword for type parameters Push #356: Commit c9c01ac pushed by yorickpeterse
December 6, 2023 00:04 29m 52s main
main
December 6, 2023 00:04 29m 52s
Add the move keyword for type parameters Push #355: Commit c9c01ac pushed by yorickpeterse
December 5, 2023 23:40 23m 20s type-param-move
type-param-move
December 5, 2023 23:40 23m 20s
WIP: add support for the move type modifier Push #354: Commit 3d3b2a5 pushed by yorickpeterse
December 5, 2023 21:40 25m 27s type-param-move
type-param-move
December 5, 2023 21:40 25m 27s
WIP: add support for the move type modifier Push #353: Commit 0d0b1c5 pushed by yorickpeterse
December 3, 2023 01:18 19m 11s type-param-move
type-param-move
December 3, 2023 01:18 19m 11s
WIP: add support for the move type modifier Push #352: Commit 7cf8d01 pushed by yorickpeterse
December 2, 2023 01:24 9m 51s type-param-move
type-param-move
December 2, 2023 01:24 9m 51s
fix resolving and checking Push #351: Commit 7658d44 pushed by yorickpeterse
December 1, 2023 15:44 9m 15s type-param-move
type-param-move
December 1, 2023 15:44 9m 15s
fix type check errors Push #350: Commit 8319aab pushed by yorickpeterse
December 1, 2023 03:25 19m 6s type-param-move
type-param-move
December 1, 2023 03:25 19m 6s
WIP: add support for the move type modifier Push #349: Commit 4e71527 pushed by yorickpeterse
November 30, 2023 21:05 11m 28s type-param-move
type-param-move
November 30, 2023 21:05 11m 28s
WIP: add support for the move type modifier Push #348: Commit 6191607 pushed by yorickpeterse
November 30, 2023 17:39 26m 1s type-param-move
type-param-move
November 30, 2023 17:39 26m 1s
WIP: add support for the move type modifier Push #347: Commit e365d33 pushed by yorickpeterse
November 29, 2023 23:41 16m 29s type-param-move
type-param-move
November 29, 2023 23:41 16m 29s
fixes Push #346: Commit 06537a0 pushed by yorickpeterse
November 29, 2023 20:25 24m 14s type-param-move
type-param-move
November 29, 2023 20:25 24m 14s
fix Push #345: Commit bca3cc1 pushed by yorickpeterse
November 29, 2023 00:41 19m 59s type-param-move
type-param-move
November 29, 2023 00:41 19m 59s
WIP: add support for the move type modifier Push #344: Commit a1e0442 pushed by yorickpeterse
November 28, 2023 15:59 21m 42s type-param-move
type-param-move
November 28, 2023 15:59 21m 42s
WIP: add support for the move type modifier Push #343: Commit 0933d57 pushed by yorickpeterse
November 28, 2023 02:11 17m 2s type-param-move
type-param-move
November 28, 2023 02:11 17m 2s
ProTip! You can narrow down the results and go further in time using created:<2023-11-28 or the other filters available.