Fix dhall config for CI runners

efjepsen · efjepsen · commit 428f4198aeca · 2023-12-07T17:43:25.000-05:00
diff --git a/scripts/ci/dhall/setup.dhall b/scripts/ci/dhall/setup.dhall
@@ -32,7 +32,7 @@ let Job =
       { Type = GitHubActions.Job.Type
       , default =
           GitHubActions.Job.default
-        with runs-on = GitHubActions.RunsOn.Type.`ubuntu-18.04`
+        with runs-on = GitHubActions.RunsOn.Type.`ubuntu-20.04`
         with steps = Some SetupSteps
       }
 

Original file line number	Diff line number	Diff line change
`@@ -32,7 +32,7 @@ let Job =`
`32`	`32`	`{ Type = GitHubActions.Job.Type`
`33`	`33`	`, default =`
`34`	`34`	`GitHubActions.Job.default`
`35`		- with runs-on = GitHubActions.RunsOn.Type.`ubuntu-18.04`
	`35`	+ with runs-on = GitHubActions.RunsOn.Type.`ubuntu-20.04`
`36`	`36`	`with steps = Some SetupSteps`
`37`	`37`	`}`
`38`	`38`