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

Get static HTML pages working with the hover-info goodness Julia tests #2656: Commit feba99f pushed by dougalm
January 5, 2024 20:42 4s notebook-improvements
notebook-improvements
January 5, 2024 20:42 4s
Get static HTML pages working with the hover-info goodness Julia tests #2655: Commit 6dc735f pushed by dougalm
January 5, 2024 20:34 3s notebook-improvements
notebook-improvements
January 5, 2024 20:34 3s
Add a builder for incremental computations. Julia tests #2654: Commit a7d5c6f pushed by dougalm
January 3, 2024 22:19 3s notebook-improvements
notebook-improvements
January 3, 2024 22:19 3s
Scheduled CodeQL #28: by github-advanced-security bot
January 2, 2024 13:46 1m 53s
January 2, 2024 13:46 1m 53s
Scheduled CodeQL #27: by github-advanced-security bot
December 26, 2023 13:46 2m 0s
December 26, 2023 13:46 2m 0s
Scheduled CodeQL #26: by github-advanced-security bot
December 19, 2023 13:46 2m 20s
December 19, 2023 13:46 2m 20s
Use a type family to provide the Delta type for incremental state. Julia tests #2650: Commit 535243c pushed by dougalm
December 15, 2023 19:04 3s notebook-improvements
notebook-improvements
December 15, 2023 19:04 3s
Tweak binop source ids so that colon, dollar etc are considered atomic Julia tests #2649: Commit 9c6ccba pushed by dougalm
December 14, 2023 04:01 3s notebook-improvements
notebook-improvements
December 14, 2023 04:01 3s
Add hover types for binders Julia tests #2648: Commit 1a9bf82 pushed by dougalm
December 14, 2023 02:01 2s notebook-improvements
notebook-improvements
December 14, 2023 02:01 2s
Show types of local vars and subexpressions on hover Julia tests #2647: Commit daf6e82 pushed by dougalm
December 14, 2023 01:43 3s notebook-improvements
notebook-improvements
December 14, 2023 01:43 3s
Highlight both cell status and minimap status together Julia tests #2646: Commit 03c7ab9 pushed by dougalm
December 13, 2023 17:38 3s notebook-improvements
notebook-improvements
December 13, 2023 17:38 3s
Highlight both cell status and minimap status together Julia tests #2645: Commit 306ff23 pushed by dougalm
December 13, 2023 17:37 4s notebook-improvements
notebook-improvements
December 13, 2023 17:37 4s
Change data to enum Julia tests #2644: Commit 0ae018e pushed by dougalm
December 13, 2023 16:25 3s notebook-improvements
notebook-improvements
December 13, 2023 16:25 3s
Report the module where top-level names are defined Julia tests #2643: Commit 1cbdee7 pushed by dougalm
December 13, 2023 16:01 4s notebook-improvements
notebook-improvements
December 13, 2023 16:01 4s
Delete OutReaderT (it's redundant with ReaderT1) Julia tests #2642: Commit 0a7eb8e pushed by dougalm
December 13, 2023 04:03 3s notebook-improvements
notebook-improvements
December 13, 2023 04:03 3s
Show definitions of top-level vars on hover Julia tests #2641: Commit abddf77 pushed by dougalm
December 13, 2023 03:55 2s notebook-improvements
notebook-improvements
December 13, 2023 03:55 2s
Tweaks to status minimap Julia tests #2640: Commit 2737985 pushed by dougalm
December 12, 2023 18:48 4s notebook-improvements
notebook-improvements
December 12, 2023 18:48 4s
Organize source information by pass and do more of the work on the Ha… Julia tests #2639: Commit 5f284cd pushed by dougalm
December 12, 2023 17:58 3s notebook-improvements
notebook-improvements
December 12, 2023 17:58 3s
Scheduled CodeQL #25: by github-advanced-security bot
December 12, 2023 13:46 1m 55s
December 12, 2023 13:46 1m 55s
Indicate whether completed cells finished with errors in minimap. Julia tests #2638: Commit c36f362 pushed by dougalm
December 11, 2023 03:21 3s notebook-improvements
notebook-improvements
December 11, 2023 03:21 3s
Remove some unhelpful polymorphism in Eval. Getting concrete. Julia tests #2637: Commit 4d627b2 pushed by dougalm
December 11, 2023 02:06 3s notebook-improvements
notebook-improvements
December 11, 2023 02:06 3s
Add a "minimap" sidebar that shows the status of each cell. Julia tests #2636: Commit d7eaa5d pushed by dougalm
December 10, 2023 05:29 2s notebook-improvements
notebook-improvements
December 10, 2023 05:29 2s
Add a "minimap" sidebar that shows the status of each cell. Julia tests #2635: Commit f9ab8a1 pushed by dougalm
December 10, 2023 04:56 3s notebook-improvements
notebook-improvements
December 10, 2023 04:56 3s
Switch to typescript. Much more civilized. Python tests #1875: Commit 5b2df9b pushed by dougalm
December 9, 2023 19:14 10m 55s main
main
December 9, 2023 19:14 10m 55s
Switch to typescript. Much more civilized. Julia tests #2634: Commit 5b2df9b pushed by dougalm
December 9, 2023 19:14 4s main
main
December 9, 2023 19:14 4s