-
Notifications
You must be signed in to change notification settings - Fork 311
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Make all examples runnable using scala-cli (#2376)
- Loading branch information
Showing
97 changed files
with
919 additions
and
1,147 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -27,6 +27,7 @@ core/native/local.sbt | |
.bsp/ | ||
.java-version | ||
metals.sbt | ||
.scala-build | ||
|
||
.vscode | ||
|
||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1 +1 @@ | ||
3.7.2 | ||
3.12 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,42 @@ | ||
/* general style for all example tags */ | ||
.example-tag { | ||
border-width: 1px; | ||
border-radius: 9999px; | ||
border-style: solid; | ||
padding-left: 0.5rem; | ||
padding-right: 0.5rem; | ||
margin-right: 0.25rem; | ||
margin-top: 0.25rem; | ||
margin-bottom: 0.25rem; | ||
} | ||
|
||
/* different colors for specific tags */ | ||
.example-effects { | ||
color: rgb(193 21 116); | ||
background-color: rgb(253 242 250); | ||
border-color: rgb(252 206 238); | ||
} | ||
|
||
.example-json { | ||
color: rgb(185 56 21); | ||
background-color: rgb(254 246 238); | ||
border-color: rgb(249 219 175); | ||
} | ||
|
||
.example-backend { | ||
color: rgb(6 118 71); | ||
background-color: rgb(236 253 243); | ||
border-color: rgb(169 239 197); | ||
} | ||
|
||
.example-docs { | ||
color: rgb(52 64 84); | ||
background-color: rgb(249 250 251); | ||
border-color: rgb(234 236 240); | ||
} | ||
|
||
.example-client { | ||
color: rgb(6 89 134); | ||
background-color: rgb(240 249 255); | ||
border-color: rgb(185 230 254); | ||
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.