Skip to content

Actions: teal-language/tl

Actions

playground

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
125 workflow runs
125 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

hashbang, if exists and if wanted, stays on line 1
playground #324: Pull request #730 opened by JLPLabs
January 1, 2024 06:41 1m 27s
January 1, 2024 06:41 1m 27s
Make build and lfs optional
playground #323: Pull request #726 opened by Frityet
December 13, 2023 01:50 1m 14s
December 13, 2023 01:50 1m 14s
some improved signatures
playground #322: Pull request #720 opened by fperrad
November 8, 2023 11:39 1m 17s
November 8, 2023 11:39 1m 17s
fix io.read & file:read signature
playground #321: Pull request #718 opened by fperrad
November 5, 2023 10:42 1m 17s
November 5, 2023 10:42 1m 17s
experiment: make type system more nominal
playground #320: Pull request #711 synchronize by hishamhm
November 5, 2023 02:56 1m 30s
November 5, 2023 02:56 1m 30s
CI: switch netlify-cli install from yarn global to npm i
playground #319: Pull request #717 synchronize by hishamhm
November 5, 2023 02:45 1m 50s
November 5, 2023 02:45 1m 50s
CI: switch netlify-cli install from yarn global to npm i
playground #318: Pull request #717 synchronize by hishamhm
November 5, 2023 02:17 2m 19s
November 5, 2023 02:17 2m 19s
CI: switch netlify-cli install from yarn global to npm i
playground #317: Pull request #717 opened by hishamhm
November 3, 2023 20:29 1m 25s
November 3, 2023 20:29 1m 25s
ci: bump node version for playground
playground #316: Pull request #716 opened by hishamhm
November 3, 2023 16:17 1m 42s
November 3, 2023 16:17 1m 42s
fix signature and return values for debug.getlocal; issue #713
playground #315: Pull request #714 synchronize by JLPLabs
November 1, 2023 17:40 2m 19s
November 1, 2023 17:40 2m 19s
fix signature and return values for debug.getlocal; issue #713
playground #314: Pull request #714 opened by JLPLabs
October 30, 2023 23:08 3m 34s
October 30, 2023 23:08 3m 34s
experiment: make type system more nominal
playground #313: Pull request #711 opened by hishamhm
October 21, 2023 19:31 2m 56s
October 21, 2023 19:31 2m 56s
fix: check records nominally when resolving metamethods for operators
playground #312: Pull request #710 opened by hishamhm
October 21, 2023 17:26 3m 26s
October 21, 2023 17:26 3m 26s
fix: resolve typeargs when both types in 'or' match expected type
playground #311: Pull request #709 synchronize by hishamhm
October 20, 2023 04:28 2m 50s
October 20, 2023 04:28 2m 50s
fix: resolve typeargs when both types in 'or' match expected type
playground #310: Pull request #709 opened by hishamhm
October 20, 2023 04:13 3m 31s
October 20, 2023 04:13 3m 31s
rockspec: require compat53 >= 0.11
playground #309: Pull request #707 opened by hishamhm
October 19, 2023 19:30 2m 58s
October 19, 2023 19:30 2m 58s
fix io.write & file:write signature
playground #308: Pull request #702 opened by fperrad
September 27, 2023 08:24 2m 46s
September 27, 2023 08:24 2m 46s
fix is inference taking into account that unions imply nil
playground #307: Pull request #699 opened by hishamhm
September 13, 2023 21:38 2m 35s
September 13, 2023 21:38 2m 35s
fix utf8.codes signature
playground #306: Pull request #696 opened by fperrad
September 9, 2023 14:28 2m 34s
September 9, 2023 14:28 2m 34s
fix: populate ... for required modules
playground #305: Pull request #693 synchronize by hishamhm
September 5, 2023 15:12 2m 35s
September 5, 2023 15:12 2m 35s
fix: populate ... for required modules
playground #304: Pull request #693 synchronize by hishamhm
September 5, 2023 15:06 2m 39s
September 5, 2023 15:06 2m 39s
fix: populate ... for required modules
playground #303: Pull request #693 synchronize by hishamhm
September 5, 2023 15:00 2m 50s
September 5, 2023 15:00 2m 50s
CI: bump Netlify deploy Node version
playground #302: Pull request #694 opened by hishamhm
September 5, 2023 14:44 2m 9s
September 5, 2023 14:44 2m 9s
fix: populate ... for required modules
playground #301: Pull request #693 synchronize by hishamhm
September 5, 2023 14:43 2m 20s
September 5, 2023 14:43 2m 20s
fix: populate ... for required modules
playground #300: Pull request #693 opened by hishamhm
September 4, 2023 20:45 2m 23s
September 4, 2023 20:45 2m 23s