Skip to content

Actions: luau-lang/agda-typeck

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
7 workflow runs
7 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Tidy up semantic subtyping (#5) test #20: Commit 813569a pushed by asajeffrey
December 4, 2023 18:57 15m 33s master
master
December 4, 2023 18:57 15m 33s
Tidy up semantic subtyping test #19: Pull request #5 synchronize by asajeffrey
December 2, 2023 00:21 15m 31s asajeffrey:tidy
asajeffrey:tidy
December 2, 2023 00:21 15m 31s
Tidy up semantic subtyping test #18: Pull request #5 synchronize by asajeffrey
December 2, 2023 00:02 15m 18s asajeffrey:tidy
asajeffrey:tidy
December 2, 2023 00:02 15m 18s
Tidy up semantic subtyping test #17: Pull request #5 synchronize by asajeffrey
December 1, 2023 23:44 14m 59s asajeffrey:tidy
asajeffrey:tidy
December 1, 2023 23:44 14m 59s
Tidy up semantic subtyping test #16: Pull request #5 synchronize by asajeffrey
December 1, 2023 22:40 14m 38s asajeffrey:tidy
asajeffrey:tidy
December 1, 2023 22:40 14m 38s
Tidy up semantic subtyping test #15: Pull request #5 synchronize by asajeffrey
December 1, 2023 22:23 12m 57s asajeffrey:tidy
asajeffrey:tidy
December 1, 2023 22:23 12m 57s
Tidy up semantic subtyping test #14: Pull request #5 opened by asajeffrey
December 1, 2023 19:44 46s asajeffrey:tidy
asajeffrey:tidy
December 1, 2023 19:44 46s