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

Show types on hover! Julia tests #2623: Commit c23ef4f pushed by dougalm
December 2, 2023 03:11 3s dev-2023
dev-2023
December 2, 2023 03:11 3s
Simplify logging and allow realtime updates from runtime prints Julia tests #2622: Commit 7042a47 pushed by dougalm
December 1, 2023 21:29 4s dev-2023
dev-2023
December 1, 2023 21:29 4s
Add placeholder for types on hover. Need to add the logging logic next. Julia tests #2621: Commit 9624d29 pushed by dougalm
December 1, 2023 14:38 3s dev-2023
dev-2023
December 1, 2023 14:38 3s
Make hover-info updates even more incremental Julia tests #2620: Commit 1c9d613 pushed by dougalm
December 1, 2023 01:58 3s dev-2023
dev-2023
December 1, 2023 01:58 3s
Make hover-info updates incremental so that passes can report as they… Julia tests #2619: Commit b0bd94a pushed by dougalm
November 30, 2023 16:23 3s dev-2023
dev-2023
November 30, 2023 16:23 3s
Freeze highlighting and hover on click. Julia tests #2618: Commit 6f1ab77 pushed by dougalm
November 29, 2023 19:41 3s dev-2023
dev-2023
November 29, 2023 19:41 3s
Plumbing for adding textual information on hover. Julia tests #2617: Commit a97a641 pushed by dougalm
November 29, 2023 15:44 4s dev-2023
dev-2023
November 29, 2023 15:44 4s
Move most of the highlighting logic to Haskell where we can change it… Julia tests #2616: Commit 9de972d pushed by dougalm
November 29, 2023 03:13 4s dev-2023
dev-2023
November 29, 2023 03:13 4s
Tweaks to parse highlighting. It's works pretty nicely now! Julia tests #2615: Commit 562c10c pushed by dougalm
November 28, 2023 15:41 4s dev-2023
dev-2023
November 28, 2023 15:41 4s
Scheduled CodeQL #20: by github-advanced-security bot
November 28, 2023 13:45 2m 21s
November 28, 2023 13:45 2m 21s
Use explicit data structures to represent the AST on the browser side. Julia tests #2614: Commit b94d359 pushed by dougalm
November 27, 2023 16:08 4s dev-2023
dev-2023
November 27, 2023 16:08 4s
Fix bugs in lexeme tracking Julia tests #2613: Commit 3fe24e9 pushed by dougalm
November 26, 2023 03:14 3s dev-2023
dev-2023
November 26, 2023 03:14 3s
Traverse concrete AST to get information about relationships between … Julia tests #2612: Commit 28d3538 pushed by dougalm
November 23, 2023 02:44 3s dev-2023
dev-2023
November 23, 2023 02:44 3s
Replace source spans with IDs. Julia tests #2611: Commit 14ada50 pushed by dougalm
November 22, 2023 20:46 3s dev-2023
dev-2023
November 22, 2023 20:46 3s
WIP Julia tests #2610: Commit cf4b0d1 pushed by dougalm
November 21, 2023 21:27 3s dev-2023
dev-2023
November 21, 2023 21:27 3s
Scheduled CodeQL #19: by github-advanced-security bot
November 21, 2023 13:46 1m 59s
November 21, 2023 13:46 1m 59s
pages build and deployment pages-build-deployment #314: by github-pages bot
November 20, 2023 22:10 52s
November 20, 2023 22:10 52s
Merge pull request #1341 from axch/work-stealing-4 Continuous benchmarking #315: Commit 438d957 pushed by axch
November 20, 2023 22:03 48m 12s main
main
November 20, 2023 22:03 48m 12s
Merge pull request #1341 from axch/work-stealing-4 Python tests #1872: Commit 438d957 pushed by axch
November 20, 2023 22:03 14m 58s main
main
November 20, 2023 22:03 14m 58s
Merge pull request #1341 from axch/work-stealing-4 Julia tests #2609: Commit 438d957 pushed by axch
November 20, 2023 22:03 4s main
main
November 20, 2023 22:03 4s
Merge pull request #1341 from axch/work-stealing-4 Haskell tests #2015: Commit 438d957 pushed by axch
November 20, 2023 22:03 1h 16m 42s main
main
November 20, 2023 22:03 1h 16m 42s
Merge pull request #1341 from axch/work-stealing-4 Update HTML docs #505: Commit 438d957 pushed by axch
November 20, 2023 22:03 6m 31s main
main
November 20, 2023 22:03 6m 31s
Push on main CodeQL #18: by axch
November 20, 2023 22:03 1m 53s
November 20, 2023 22:03 1m 53s
WIP Julia tests #2608: Commit 68133f2 pushed by dougalm
November 20, 2023 19:37 3s dev-2023
dev-2023
November 20, 2023 19:37 3s
Slightly refactor the work-stealing runtime, hopefully more legible now. Haskell tests #2014: Pull request #1341 synchronize by axch
November 20, 2023 18:19 1h 10m 52s axch:work-stealing-4
axch:work-stealing-4
November 20, 2023 18:19 1h 10m 52s