Skip to content

Actions: google-research/dex-lang

Haskell tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
65 workflow runs
65 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Vectorize through user-defined index sets
Haskell tests #1973: Pull request #1316 synchronize by axch
July 6, 2023 21:43 31s axch:vectorize-user-index-sets
July 6, 2023 21:43 31s
Vectorize through user-defined index sets
Haskell tests #1972: Pull request #1316 synchronize by axch
July 5, 2023 19:16 1h 12m 37s axch:vectorize-user-index-sets
July 5, 2023 19:16 1h 12m 37s
Make new stack size arithmetic match the old one exactly.
Haskell tests #1971: Commit 2580bc9 pushed by axch
July 5, 2023 19:09 1h 10m 19s main
July 5, 2023 19:09 1h 10m 19s
Replace floating point sizing formula in stack with integer operations.
Haskell tests #1970: Pull request #1321 opened by duvenaud
July 2, 2023 21:15 1h 8m 53s duvenaud:stack4
July 2, 2023 21:15 1h 8m 53s
Tweak loop order and indexing syntax to get the vectorizer to succeed…
Haskell tests #1969: Commit 82e6de6 pushed by axch
June 30, 2023 17:45 1h 0m 6s main
June 30, 2023 17:45 1h 0m 6s
Merge pull request #1319 from google-research/preserve-decl-freshness
Haskell tests #1967: Commit 69b5857 pushed by dougalm
June 28, 2023 16:41 58m 56s main
June 28, 2023 16:41 58m 56s
Merge pull request #1318 from google-research/delivering-even-more-decls
Haskell tests #1965: Commit 360cd31 pushed by dougalm
June 28, 2023 13:25 59m 25s main
June 28, 2023 13:25 59m 25s
More prep for decls-in-binders (again)
Haskell tests #1964: Pull request #1318 opened by dougalm
June 27, 2023 20:43 1h 4m 52s delivering-even-more-decls
June 27, 2023 20:43 1h 4m 52s
Merge pull request #1317 from google-research/delivering-the-decls
Haskell tests #1963: Commit cfab914 pushed by dougalm
June 27, 2023 17:18 54m 19s main
June 27, 2023 17:18 54m 19s
More prep for decls-in-binders
Haskell tests #1962: Pull request #1317 synchronize by dougalm
June 27, 2023 15:45 1h 0m 3s delivering-the-decls
June 27, 2023 15:45 1h 0m 3s
More prep for decls-in-binders
Haskell tests #1961: Pull request #1317 synchronize by dougalm
June 27, 2023 01:56 1h 13m 37s delivering-the-decls
June 27, 2023 01:56 1h 13m 37s
More prep for decls-in-binders
Haskell tests #1960: Pull request #1317 opened by dougalm
June 27, 2023 01:39 18m 7s delivering-the-decls
June 27, 2023 01:39 18m 7s
Vectorize through user-defined index sets
Haskell tests #1959: Pull request #1316 opened by axch
June 26, 2023 17:33 55m 11s axch:vectorize-user-index-sets
June 26, 2023 17:33 55m 11s