Skip to content

Actions: google-research/dex-lang

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
163 workflow runs
163 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'dev-2023' Python tests #1873: Commit d750217 pushed by dougalm
December 6, 2023 20:21 10m 20s main
main
December 6, 2023 20:21 10m 20s
Merge branch 'dev-2023' Update HTML docs #506: Commit d750217 pushed by dougalm
December 6, 2023 20:21 13m 37s main
main
December 6, 2023 20:21 13m 37s
Merge branch 'dev-2023' Haskell tests #2016: Commit d750217 pushed by dougalm
December 6, 2023 20:21 10m 33s main
main
December 6, 2023 20:21 10m 33s
Merge branch 'dev-2023' Continuous benchmarking #316: Commit d750217 pushed by dougalm
December 6, 2023 20:21 37m 38s main
main
December 6, 2023 20:21 37m 38s
Merge branch 'dev-2023' Julia tests #2632: Commit d750217 pushed by dougalm
December 6, 2023 20:21 4s main
main
December 6, 2023 20:21 4s
Push on main CodeQL #22: by dougalm
December 6, 2023 20:21 2m 0s main
main
December 6, 2023 20:21 2m 0s
More source IDs during inference Julia tests #2631: Commit 3129592 pushed by dougalm
December 6, 2023 03:52 3s dev-2023
dev-2023
December 6, 2023 03:52 3s
Use # instead of -- for comments Julia tests #2630: Commit 2c9e557 pushed by dougalm
December 6, 2023 02:32 3s dev-2023
dev-2023
December 6, 2023 02:32 3s
Highlight error source locations Julia tests #2629: Commit 534be19 pushed by dougalm
December 5, 2023 22:01 3s dev-2023
dev-2023
December 5, 2023 22:01 3s
Fix bug in applying highlighting updates Julia tests #2628: Commit e551ed0 pushed by dougalm
December 5, 2023 15:39 3s dev-2023
dev-2023
December 5, 2023 15:39 3s
Scheduled CodeQL #21: by github-advanced-security bot
December 5, 2023 13:46 1m 57s main
main
December 5, 2023 13:46 1m 57s
Start adding SrcIds to user-facing errors Julia tests #2627: Commit d10e03c pushed by dougalm
December 5, 2023 02:23 3s dev-2023
dev-2023
December 5, 2023 02:23 3s
Make a separate ADT case for each user-facing error message. Julia tests #2626: Commit 6595db0 pushed by dougalm
December 3, 2023 19:00 3s dev-2023
dev-2023
December 3, 2023 19:00 3s