Skip to content

Actions: google-research/dex-lang

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
491 workflow runs
491 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
axch:vectorize-user-index-sets
June 26, 2023 17:33 55m 11s
Vectorize through user-defined index sets Python tests #1816: Pull request #1316 opened by axch
June 26, 2023 17:33 8m 3s axch:vectorize-user-index-sets
axch:vectorize-user-index-sets
June 26, 2023 17:33 8m 3s
Vectorize through user-defined index sets Julia tests #2482: Pull request #1316 opened by axch
June 26, 2023 17:33 3s axch:vectorize-user-index-sets
axch:vectorize-user-index-sets
June 26, 2023 17:33 3s
Remove some user-defined effect stuff. Julia tests #2481: Commit c7fef43 pushed by dougalm
June 24, 2023 03:58 3s delivering-the-decls
delivering-the-decls
June 24, 2023 03:58 3s
Remove type/effect annotations from Block. Julia tests #2480: Commit cd8b208 pushed by dougalm
June 24, 2023 02:41 3s delivering-the-decls
delivering-the-decls
June 24, 2023 02:41 3s
Remove type/effect annotations from Block. Julia tests #2479: Commit 9d52c79 pushed by dougalm
June 24, 2023 02:37 2s delivering-the-decls
delivering-the-decls
June 24, 2023 02:37 2s
pages build and deployment pages-build-deployment #295: by github-pages bot
June 23, 2023 20:38 1m 0s
June 23, 2023 20:38 1m 0s
Following up on PR 1296, implement both APIs for search_sorted. Julia tests #2478: Commit 6d23e46 pushed by axch
June 23, 2023 20:29 4s main
main
June 23, 2023 20:29 4s
Following up on PR 1296, implement both APIs for search_sorted. Continuous benchmarking #297: Commit 6d23e46 pushed by axch
June 23, 2023 20:29 40m 43s main
main
June 23, 2023 20:29 40m 43s
Following up on PR 1296, implement both APIs for search_sorted. Update HTML docs #487: Commit 6d23e46 pushed by axch
June 23, 2023 20:29 9m 3s main
main
June 23, 2023 20:29 9m 3s
Following up on PR 1296, implement both APIs for search_sorted. Python tests #1815: Commit 6d23e46 pushed by axch
June 23, 2023 20:29 8m 40s main
main
June 23, 2023 20:29 8m 40s
Following up on PR 1296, implement both APIs for search_sorted. Haskell tests #1958: Commit 6d23e46 pushed by axch
June 23, 2023 20:29 58m 20s main
main
June 23, 2023 20:29 58m 20s
WIP Julia tests #2477: Commit 322e6ea pushed by dougalm
June 23, 2023 18:09 2s delivering-the-decls
delivering-the-decls
June 23, 2023 18:09 2s
Following up on PR 1296, implement both APIs for search_sorted. Julia tests #2476: Pull request #1315 opened by axch
June 23, 2023 16:44 3s axch:fix-search-sorted
axch:fix-search-sorted
June 23, 2023 16:44 3s
Following up on PR 1296, implement both APIs for search_sorted. Haskell tests #1957: Pull request #1315 opened by axch
June 23, 2023 16:44 1h 0m 5s axch:fix-search-sorted
axch:fix-search-sorted
June 23, 2023 16:44 1h 0m 5s
Following up on PR 1296, implement both APIs for search_sorted. Python tests #1814: Pull request #1315 opened by axch
June 23, 2023 16:44 10m 50s axch:fix-search-sorted
axch:fix-search-sorted
June 23, 2023 16:44 10m 50s
ProTip! You can narrow down the results and go further in time using created:<2023-06-23 or the other filters available.