Skip to content

Commit

Permalink
Run prePR with sbt-typelevel
Browse files Browse the repository at this point in the history
Executed command: sbt tlPrePrBotHook
  • Loading branch information
lucuma-steward[bot] committed Oct 24, 2023
1 parent f6b3969 commit 53507f1
Show file tree
Hide file tree
Showing 3 changed files with 5 additions and 4 deletions.
4 changes: 2 additions & 2 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -112,15 +112,15 @@ jobs:
env:
PGP_SECRET: ${{ secrets.PGP_SECRET }}
PGP_PASSPHRASE: ${{ secrets.PGP_PASSPHRASE }}
run: echo $PGP_SECRET | base64 -di | gpg --import
run: echo $PGP_SECRET | base64 -d -i - | gpg --import

- name: Import signing key and strip passphrase
if: env.PGP_SECRET != '' && env.PGP_PASSPHRASE != ''
env:
PGP_SECRET: ${{ secrets.PGP_SECRET }}
PGP_PASSPHRASE: ${{ secrets.PGP_PASSPHRASE }}
run: |
echo "$PGP_SECRET" | base64 -di > /tmp/signing-key.gpg
echo "$PGP_SECRET" | base64 -d -i - > /tmp/signing-key.gpg
echo "$PGP_PASSPHRASE" | gpg --pinentry-mode loopback --passphrase-fd 0 --import /tmp/signing-key.gpg
(echo "$PGP_PASSPHRASE"; echo; echo) | gpg --command-fd 0 --pinentry-mode loopback --change-passphrase $(gpg --list-secret-keys --with-colons 2> /dev/null | grep '^sec:' | cut --delimiter ':' --fields 5 | tail -n 1)
Expand Down
3 changes: 2 additions & 1 deletion .scalafmt-common.conf
Original file line number Diff line number Diff line change
Expand Up @@ -4,10 +4,11 @@
# this file by hand! Instead, if you wish to make changes, you should
# make a PR to sbt-lucuma.

version = "3.7.12"
version = "3.7.14"
style = default

runner.dialect = scala3
runner.optimizer.maxVisitsPerToken = 20000 # Avoids SearchStateExploded exceptions

maxColumn = 100
project.git = true
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,7 @@ object SolarProgress {
p.css,
<.div(
^.cls := "mars-orbit orbit",
<.div(^.cls := "planet mars"),
<.div(^.cls := "planet mars"),
<.div(
^.cls := "earth-orbit orbit",
<.div(^.cls := "planet earth"),
Expand Down

0 comments on commit 53507f1

Please sign in to comment.