Skip to content

Actions: teal-language/tl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
363 workflow runs
363 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
generalize internal representation of generic types
playground #438: Pull request #890 synchronize by hishamhm
January 3, 2025 15:14 1m 18s
January 3, 2025 15:14 1m 18s
January 3, 2025 14:36 1m 17s
generalize internal representation of generic types
ci #435: Pull request #890 synchronize by hishamhm
January 3, 2025 14:35 1m 36s next-generic-type
January 3, 2025 14:35 1m 36s
generalize internal representation of generic types
playground #437: Pull request #890 synchronize by hishamhm
January 3, 2025 14:35 1m 19s
January 3, 2025 14:35 1m 19s
generalize internal representation of generic types
ci #434: Pull request #890 synchronize by hishamhm
January 3, 2025 14:26 42s next-generic-type
January 3, 2025 14:26 42s
generalize internal representation of generic types
playground #436: Pull request #890 synchronize by hishamhm
January 3, 2025 14:26 1m 25s
January 3, 2025 14:26 1m 25s
add a non-regression test for return arity edge case
ci #433: Pull request #892 opened by catwell
January 3, 2025 14:25 2m 1s catwell:pr/reg-741
January 3, 2025 14:25 2m 1s
add a non-regression test for return arity edge case
playground #435: Pull request #892 opened by catwell
January 3, 2025 14:25 2m 5s
January 3, 2025 14:25 2m 5s
generalize internal representation of generic types
ci #432: Pull request #890 synchronize by hishamhm
January 2, 2025 23:31 1m 38s next-generic-type
January 2, 2025 23:31 1m 38s