Skip to content

Actions: teal-language/tl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
395 workflow runs
395 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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 ci #452: Pull request #899 opened by hishamhm
January 8, 2025 20:57 24s tl-gen-no-check
tl-gen-no-check
January 8, 2025 20:57 24s
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
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
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
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
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
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
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
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
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 ci #443: Pull request #895 opened by hishamhm
January 3, 2025 23:01 1m 25s accept-function-type-as-a-constraint
accept-function-type-as-a-constraint
January 3, 2025 23:01 1m 25s
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
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
fix: do not get file names and locations out of sync in error messages ci #441: Commit 8d9a26f pushed by hishamhm
January 3, 2025 16:31 1m 27s master
master
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
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
fix: syntax error when return; is not last statement of block (#893) ci #439: Commit 2d73d3f pushed by hishamhm
January 3, 2025 16:29 1m 54s master
master
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
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
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
tests: add a non-regression test for return arity edge case (#892) ci #436: Commit 3bfa31b pushed by hishamhm
January 3, 2025 14:36 1m 17s master
master
January 3, 2025 14:36 1m 17s