Skip to content

Actions: google-research/dex-lang

Continuous benchmarking

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
12 workflow runs
12 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
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
November 20, 2023 22:03 48m 12s
Merge pull request #1340 from axch/work-stealing-3
Continuous benchmarking #314: Commit 7996c76 pushed by axch
November 20, 2023 13:33 47m 52s main
November 20, 2023 13:33 47m 52s
Merge pull request #1339 from axch/work-stealing-2
Continuous benchmarking #313: Commit 941d7f8 pushed by axch
November 17, 2023 20:34 48m 34s main
November 17, 2023 20:34 48m 34s
Merge pull request #1336 from vilchy/fix-complex-sqrt
Continuous benchmarking #312: Commit be6befd pushed by axch
November 14, 2023 12:02 1h 6m 19s main
November 14, 2023 12:02 1h 6m 19s
Merge pull request #1334 from google-research/primitive-name-map-e
Continuous benchmarking #311: Commit 3cbde4c pushed by axch
August 1, 2023 18:47 1h 4m 15s main
August 1, 2023 18:47 1h 4m 15s