Skip to content

Actions: teal-language/tl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
354 workflow runs
354 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

forbid records inside interfaces
ci #454: Commit f5bb25b pushed by hishamhm
January 10, 2025 18:25 1m 27s master
January 10, 2025 18:25 1m 27s
gen: change behavior to check by default, add --no-check
ci #453: Pull request #899 synchronize by hishamhm
January 9, 2025 04:40 1m 38s tl-gen-no-check
January 9, 2025 04:40 1m 38s
gen: change behavior to check by default, add --no-check
playground #445: Pull request #899 synchronize by hishamhm
January 9, 2025 04:40 1m 18s
January 9, 2025 04:40 1m 18s
gen: change behavior to check by default, add --no-check
playground #444: Pull request #899 opened by hishamhm
January 8, 2025 20:57 1m 10s
January 8, 2025 20:57 1m 10s
fix: don't crash on for given next and an unknown variable
ci #451: Commit 78c7fbb pushed by hishamhm
January 8, 2025 07:04 1m 28s master
January 8, 2025 07:04 1m 28s
fix: resolve self on records
ci #450: Commit 365fbd3 pushed by hishamhm
January 8, 2025 06:55 1m 13s master
January 8, 2025 06:55 1m 13s
refactor: generalize map_typevars into map_type
ci #449: Commit d449988 pushed by hishamhm
January 7, 2025 19:35 1m 41s master
January 7, 2025 19:35 1m 41s
refactor: rename tbl to t
ci #448: Commit 63a6efc pushed by hishamhm
January 7, 2025 16:17 1m 37s master
January 7, 2025 16:17 1m 37s
minor refactor
ci #447: Commit 0be55c8 pushed by hishamhm
January 6, 2025 17:48 1m 24s master
January 6, 2025 17:48 1m 24s
make function types as constraints usable
ci #446: Commit 44c13b0 pushed by hishamhm
January 4, 2025 19:38 1m 34s master
January 4, 2025 19:38 1m 34s
make v is T and v or e imply not-T for expression e
ci #445: Commit 5631a99 pushed by hishamhm
January 4, 2025 19:38 1m 11s master
January 4, 2025 19:38 1m 11s
make v is T and v or e imply not-T for expression e
ci #444: Pull request #894 synchronize by hishamhm
January 3, 2025 23:02 1m 31s and-or-inference
January 3, 2025 23:02 1m 31s
make v is T and v or e imply not-T for expression e
playground #443: Pull request #894 synchronize by hishamhm
January 3, 2025 23:02 1m 10s
January 3, 2025 23:02 1m 10s
make function types as constraints usable
playground #442: Pull request #895 opened by hishamhm
January 3, 2025 23:01 1m 10s
January 3, 2025 23:01 1m 10s
make v is T and v or e imply not-T for expression e
ci #442: Pull request #894 opened by hishamhm
January 3, 2025 19:31 1m 55s and-or-inference
January 3, 2025 19:31 1m 55s
make v is T and v or e imply not-T for expression e
playground #441: Pull request #894 opened by hishamhm
January 3, 2025 19:31 1m 16s
January 3, 2025 19:31 1m 16s
January 3, 2025 16:31 1m 27s
generalize internal representation of generic types
ci #440: Pull request #890 synchronize by hishamhm
January 3, 2025 16:31 1m 51s next-generic-type
January 3, 2025 16:31 1m 51s
generalize internal representation of generic types
playground #440: Pull request #890 synchronize by hishamhm
January 3, 2025 16:31 1m 9s
January 3, 2025 16:31 1m 9s
January 3, 2025 16:29 1m 54s
syntax error when return; is not the last statement of its block
ci #438: Pull request #893 opened by catwell
January 3, 2025 15:56 1m 36s catwell:pr/495
January 3, 2025 15:56 1m 36s
syntax error when return; is not the last statement of its block
playground #439: Pull request #893 opened by catwell
January 3, 2025 15:56 1m 14s
January 3, 2025 15:56 1m 14s
generalize internal representation of generic types
ci #437: Pull request #890 synchronize by hishamhm
January 3, 2025 15:14 1m 36s next-generic-type
January 3, 2025 15:14 1m 36s