Skip to content

Actions: google-research/dex-lang

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
478 workflow runs
478 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Switch to typescript. Much more civilized. Continuous benchmarking #318: Commit 5b2df9b pushed by dougalm
December 9, 2023 19:14 37m 36s main
main
December 9, 2023 19:14 37m 36s
Switch to typescript. Much more civilized. Update HTML docs #508: Commit 5b2df9b pushed by dougalm
December 9, 2023 19:14 11m 42s main
main
December 9, 2023 19:14 11m 42s
Switch to typescript. Much more civilized. Haskell tests #2018: Commit 5b2df9b pushed by dougalm
December 9, 2023 19:14 3m 1s main
main
December 9, 2023 19:14 3m 1s
Push on main CodeQL #24: by dougalm
December 9, 2023 19:14 1m 51s
December 9, 2023 19:14 1m 51s
Update comment syntax in examples Update HTML docs #507: Commit e171f3d pushed by dougalm
December 7, 2023 02:51 11m 18s main
main
December 7, 2023 02:51 11m 18s
Update comment syntax in examples Python tests #1874: Commit e171f3d pushed by dougalm
December 7, 2023 02:51 10m 35s main
main
December 7, 2023 02:51 10m 35s
Update comment syntax in examples Haskell tests #2017: Commit e171f3d pushed by dougalm
December 7, 2023 02:51 10m 26s main
main
December 7, 2023 02:51 10m 26s
Update comment syntax in examples Continuous benchmarking #317: Commit e171f3d pushed by dougalm
December 7, 2023 02:51 38m 20s main
main
December 7, 2023 02:51 38m 20s
Update comment syntax in examples Julia tests #2633: Commit e171f3d pushed by dougalm
December 7, 2023 02:51 4s main
main
December 7, 2023 02:51 4s
Push on main CodeQL #23: by dougalm
December 7, 2023 02:51 1m 51s
December 7, 2023 02:51 1m 51s
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
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
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
Move Pretty instances to where the data types are defined. Julia tests #2625: Commit 75c4184 pushed by dougalm
December 3, 2023 01:13 4s dev-2023
dev-2023
December 3, 2023 01:13 4s
Update prelude to use sugarfree versions of RangeX types Julia tests #2624: Commit 6f62fb4 pushed by dougalm
December 2, 2023 21:56 5s dev-2023
dev-2023
December 2, 2023 21:56 5s