Skip to content

Actions: google-research/dex-lang

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
498 workflow runs
498 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment
pages-build-deployment #299: by github-pages bot
June 30, 2023 17:56 1m 21s
June 30, 2023 17:56 1m 21s
Tweak loop order and indexing syntax to get the vectorizer to succeed…
Julia tests #2500: Commit 82e6de6 pushed by axch
June 30, 2023 17:45 3s main
June 30, 2023 17:45 3s
Tweak loop order and indexing syntax to get the vectorizer to succeed…
Update HTML docs #491: Commit 82e6de6 pushed by axch
June 30, 2023 17:45 10m 9s main
June 30, 2023 17:45 10m 9s
Tweak loop order and indexing syntax to get the vectorizer to succeed…
Python tests #1826: Commit 82e6de6 pushed by axch
June 30, 2023 17:45 7m 48s main
June 30, 2023 17:45 7m 48s
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
Tweak loop order and indexing syntax to get the vectorizer to succeed…
Continuous benchmarking #301: Commit 82e6de6 pushed by axch
June 30, 2023 17:45 49m 7s main
June 30, 2023 17:45 49m 7s
WIP
Julia tests #2499: Commit 8b9aac7 pushed by dougalm
June 29, 2023 17:07 3s decls-in-binders-for-real-v2
June 29, 2023 17:07 3s
pages build and deployment
pages-build-deployment #298: by github-pages bot
June 28, 2023 16:51 56s
June 28, 2023 16:51 56s
Merge pull request #1319 from google-research/preserve-decl-freshness
Update HTML docs #490: Commit 69b5857 pushed by dougalm
June 28, 2023 16:41 10m 40s main
June 28, 2023 16:41 10m 40s
Merge pull request #1319 from google-research/preserve-decl-freshness
Julia tests #2497: Commit 69b5857 pushed by dougalm
June 28, 2023 16:41 5s main
June 28, 2023 16:41 5s
Merge pull request #1319 from google-research/preserve-decl-freshness
Continuous benchmarking #300: Commit 69b5857 pushed by dougalm
June 28, 2023 16:41 40m 22s main
June 28, 2023 16:41 40m 22s
Merge pull request #1319 from google-research/preserve-decl-freshness
Python tests #1824: Commit 69b5857 pushed by dougalm
June 28, 2023 16:41 7m 51s main
June 28, 2023 16:41 7m 51s
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
pages build and deployment
pages-build-deployment #297: by github-pages bot
June 28, 2023 13:33 54s
June 28, 2023 13:33 54s
Merge pull request #1318 from google-research/delivering-even-more-decls
Update HTML docs #489: Commit 360cd31 pushed by dougalm
June 28, 2023 13:25 8m 51s main
June 28, 2023 13:25 8m 51s
Merge pull request #1318 from google-research/delivering-even-more-decls
Continuous benchmarking #299: Commit 360cd31 pushed by dougalm
June 28, 2023 13:25 41m 49s main
June 28, 2023 13:25 41m 49s
Merge pull request #1318 from google-research/delivering-even-more-decls
Julia tests #2494: Commit 360cd31 pushed by dougalm
June 28, 2023 13:25 5s main
June 28, 2023 13:25 5s
Merge pull request #1318 from google-research/delivering-even-more-decls
Python tests #1822: Commit 360cd31 pushed by dougalm
June 28, 2023 13:25 8m 37s main
June 28, 2023 13:25 8m 37s
ProTip! You can narrow down the results and go further in time using created:<2023-06-28 or the other filters available.