Skip to content

Actions: supki/t

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
27 workflow runs
27 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

back to working tests Haskell-CI #57: Commit 3443400 pushed by supki
1d 0h 0m 4s feature/5-typing
feature/5-typing
1d 0h 0m 4s
very basic typing, extremely wip Haskell-CI #56: Pull request #62 synchronize by supki
1d 0h 0m 2s feature/5-typing
feature/5-typing
1d 0h 0m 2s
sync typechecking and rendertime errors Haskell-CI #55: Commit 69c0f56 pushed by supki
1d 0h 0m 4s feature/5-typing
feature/5-typing
1d 0h 0m 4s
very basic typing, extremely wip Haskell-CI #54: Pull request #62 synchronize by supki
1d 0h 0m 1s feature/5-typing
feature/5-typing
1d 0h 0m 1s
very basic typing, extremely wip Haskell-CI #53: Pull request #62 synchronize by supki
1d 0h 0m 1s feature/5-typing
feature/5-typing
1d 0h 0m 1s
separate Ann for TypedExp Haskell-CI #52: Commit c7d7668 pushed by supki
1d 0h 0m 1s feature/5-typing
feature/5-typing
1d 0h 0m 1s
very basic typing, extremely wip Haskell-CI #51: Pull request #62 synchronize by supki
1d 0h 0m 1s feature/5-typing
feature/5-typing
1d 0h 0m 1s
no god modules Haskell-CI #50: Commit f52a180 pushed by supki
1d 0h 0m 1s feature/5-typing
feature/5-typing
1d 0h 0m 1s
very basic typing, extremely wip Haskell-CI #49: Pull request #62 synchronize by supki
1d 0h 0m 1s feature/5-typing
feature/5-typing
1d 0h 0m 1s
re-do constraints Haskell-CI #48: Commit 20070f2 pushed by supki
1d 0h 0m 2s feature/5-typing
feature/5-typing
1d 0h 0m 2s
very basic typing, extremely wip Haskell-CI #47: Pull request #62 synchronize by supki
1d 0h 0m 2s feature/5-typing
feature/5-typing
1d 0h 0m 2s
constraintify stdlib Haskell-CI #46: Commit e29e46c pushed by supki
1d 0h 0m 2s feature/5-typing
feature/5-typing
1d 0h 0m 2s
very basic typing, extremely wip Haskell-CI #45: Pull request #62 synchronize by supki
1d 0h 0m 1s feature/5-typing
feature/5-typing
1d 0h 0m 1s
prepare constraints Haskell-CI #44: Commit c65aec9 pushed by supki
1d 0h 0m 1s feature/5-typing
feature/5-typing
1d 0h 0m 1s
very basic typing, extremely wip Haskell-CI #43: Pull request #62 synchronize by supki
1d 0h 0m 1s feature/5-typing
feature/5-typing
1d 0h 0m 1s
check function arity in unify Haskell-CI #42: Commit fc64200 pushed by supki
1d 0h 0m 2s feature/5-typing
feature/5-typing
1d 0h 0m 2s
very basic typing, extremely wip Haskell-CI #41: Pull request #62 synchronize by supki
1d 0h 0m 2s feature/5-typing
feature/5-typing
1d 0h 0m 2s
embed0 is only used flipped Haskell-CI #40: Commit 60d2a41 pushed by supki
1d 0h 0m 2s feature/5-typing
feature/5-typing
1d 0h 0m 2s
very basic typing, extremely wip Haskell-CI #39: Pull request #62 synchronize by supki
1d 0h 0m 2s feature/5-typing
feature/5-typing
1d 0h 0m 2s
ascribe types to stdlib definitions Haskell-CI #38: Commit d86bd62 pushed by supki
1d 0h 0m 2s feature/5-typing
feature/5-typing
1d 0h 0m 2s
very basic typing, extremely wip Haskell-CI #37: Pull request #62 synchronize by supki
1d 0h 0m 1s feature/5-typing
feature/5-typing
1d 0h 0m 1s
prepare generalization Haskell-CI #36: Commit 859d8a6 pushed by supki
1d 0h 0m 1s feature/5-typing
feature/5-typing
1d 0h 0m 1s
very basic typing, extremely wip Haskell-CI #35: Pull request #62 synchronize by supki
1d 0h 0m 2s feature/5-typing
feature/5-typing
1d 0h 0m 2s
:infer-exp in repl Haskell-CI #34: Commit b5be6da pushed by supki
1d 0h 0m 1s feature/5-typing
feature/5-typing
1d 0h 0m 1s
very basic typing, extremely wip Haskell-CI #33: Pull request #62 opened by supki
1d 0h 0m 1s feature/5-typing
feature/5-typing
1d 0h 0m 1s