Skip to content

Actions: google-research/dex-lang

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
260 workflow runs
260 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove constructors for lifting between IRs Julia tests #2676: Commit 72e36b9 pushed by dougalm
May 2, 2024 18:44 3s kind-for-plain-old-data
kind-for-plain-old-data
May 2, 2024 18:44 3s
Remove reconstructions from Simp pass Julia tests #2675: Commit 6507556 pushed by dougalm
May 1, 2024 19:41 2s kind-for-plain-old-data
kind-for-plain-old-data
May 1, 2024 19:41 2s
Remove ACase and TabLam Julia tests #2674: Commit 3e0cbe9 pushed by dougalm
May 1, 2024 19:20 2s kind-for-plain-old-data
kind-for-plain-old-data
May 1, 2024 19:20 2s
Remove unnecessary cases from Imp pass Julia tests #2673: Commit c0946f1 pushed by dougalm
May 1, 2024 19:04 3s kind-for-plain-old-data
kind-for-plain-old-data
May 1, 2024 19:04 3s
Scheduled CodeQL #49: by github-advanced-security bot
April 30, 2024 13:46 2m 18s main
main
April 30, 2024 13:46 2m 18s
Got FFT working again with new syntax. Python tests #1883: Pull request #1347 opened by duvenaud
April 28, 2024 01:48 10m 30s duvenaud:fixfft
duvenaud:fixfft
April 28, 2024 01:48 10m 30s
Got FFT working again with new syntax. Haskell tests #2026: Pull request #1347 opened by duvenaud
April 28, 2024 01:48 59s duvenaud:fixfft
duvenaud:fixfft
April 28, 2024 01:48 59s
Got FFT working again with new syntax. Julia tests #2672: Pull request #1347 opened by duvenaud
April 28, 2024 01:48 3s duvenaud:fixfft
duvenaud:fixfft
April 28, 2024 01:48 3s
Start implementing explicit DPS pass Julia tests #2671: Commit 2ab0882 pushed by dougalm
April 24, 2024 20:22 2s kind-for-plain-old-data
kind-for-plain-old-data
April 24, 2024 20:22 2s
Remove MExtend and MAsk Julia tests #2670: Commit e49f882 pushed by dougalm
April 23, 2024 15:18 4s kind-for-plain-old-data
kind-for-plain-old-data
April 23, 2024 15:18 4s
Scheduled CodeQL #48: by github-advanced-security bot
April 23, 2024 13:46 1m 47s main
main
April 23, 2024 13:46 1m 47s
Remove "dex abstract machine" (to be replaced by refs) Julia tests #2669: Commit d5997a8 pushed by dougalm
April 22, 2024 17:54 3s kind-for-plain-old-data
kind-for-plain-old-data
April 22, 2024 17:54 3s
Remove effect annotations and the CPS effect runners. Julia tests #2668: Commit 6c76a7a pushed by dougalm
April 22, 2024 17:38 3s kind-for-plain-old-data
kind-for-plain-old-data
April 22, 2024 17:38 3s
Remove effect annotations and the CPS effect runners. Julia tests #2667: Commit a1d4215 pushed by dougalm
April 22, 2024 17:25 3s kind-for-plain-old-data
kind-for-plain-old-data
April 22, 2024 17:25 3s
Scheduled CodeQL #47: by github-advanced-security bot
April 16, 2024 13:45 2m 14s main
main
April 16, 2024 13:45 2m 14s
Scheduled CodeQL #46: by github-advanced-security bot
April 9, 2024 13:46 1m 49s main
main
April 9, 2024 13:46 1m 49s
Remove Data constraint. (We're going to replace it with kinds.) Julia tests #2666: Commit 7a55417 pushed by dougalm
April 5, 2024 17:58 3s kind-for-plain-old-data
kind-for-plain-old-data
April 5, 2024 17:58 3s
Scheduled CodeQL #45: by github-advanced-security bot
April 2, 2024 13:45 1m 54s main
main
April 2, 2024 13:45 1m 54s
Fix reporting of parse errors in notebook Python tests #1882: Commit 25e2e38 pushed by dougalm
April 1, 2024 13:22 10m 48s main
main
April 1, 2024 13:22 10m 48s
Fix reporting of parse errors in notebook Continuous benchmarking #322: Commit 25e2e38 pushed by dougalm
April 1, 2024 13:22 39m 1s main
main
April 1, 2024 13:22 39m 1s
Fix reporting of parse errors in notebook Haskell tests #2025: Commit 25e2e38 pushed by dougalm
April 1, 2024 13:22 3m 24s main
main
April 1, 2024 13:22 3m 24s
Fix reporting of parse errors in notebook Julia tests #2665: Commit 25e2e38 pushed by dougalm
April 1, 2024 13:22 4s main
main
April 1, 2024 13:22 4s
Fix reporting of parse errors in notebook Update HTML docs #512: Commit 25e2e38 pushed by dougalm
April 1, 2024 13:22 34s main
main
April 1, 2024 13:22 34s
Push on main CodeQL #44: by github-advanced-security bot
April 1, 2024 13:22 2m 10s main
main
April 1, 2024 13:22 2m 10s
Scheduled CodeQL #43: by github-advanced-security bot
March 26, 2024 13:45 2m 22s main
main
March 26, 2024 13:45 2m 22s