Skip to content

Actions: google-research/dex-lang

Continuous benchmarking

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
7 workflow runs
7 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix reporting of parse errors in notebook
Continuous benchmarking #322: Commit 25e2e38 pushed by dougalm
April 1, 2024 13:22 39m 1s main
April 1, 2024 13:22 39m 1s
Unbreak some examples
Continuous benchmarking #321: Commit 87f7b71 pushed by dougalm
January 9, 2024 04:04 37m 15s main
January 9, 2024 04:04 37m 15s
Trying to fix gh-pages url path issues
Continuous benchmarking #320: Commit 986c44a pushed by dougalm
January 8, 2024 19:24 37m 18s main
January 8, 2024 19:24 37m 18s
Fix discrepancy between dynamic and static versions of notebook.
Continuous benchmarking #319: Commit bf4ccc4 pushed by dougalm
January 8, 2024 18:11 38m 25s main
January 8, 2024 18:11 38m 25s
Switch to typescript. Much more civilized.
Continuous benchmarking #318: Commit 5b2df9b pushed by dougalm
December 9, 2023 19:14 37m 36s main
December 9, 2023 19:14 37m 36s
Update comment syntax in examples
Continuous benchmarking #317: Commit e171f3d pushed by dougalm
December 7, 2023 02:51 38m 20s main
December 7, 2023 02:51 38m 20s
Merge branch 'dev-2023'
Continuous benchmarking #316: Commit d750217 pushed by dougalm
December 6, 2023 20:21 37m 38s main
December 6, 2023 20:21 37m 38s