Skip to content

Commit 347631a

Browse files
committed
Delete old files; finalize new files
1 parent 60212bf commit 347631a

File tree

223 files changed

+604
-5829
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

223 files changed

+604
-5829
lines changed

.bundle/config

Lines changed: 0 additions & 3 deletions
This file was deleted.

.envrc

Lines changed: 0 additions & 1 deletion
This file was deleted.

.github/CODEOWNERS

Lines changed: 0 additions & 2 deletions
This file was deleted.

.github/dependabot.yml

Lines changed: 0 additions & 6 deletions
This file was deleted.

.github/workflows/ci.yml

Lines changed: 20 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -1,20 +1,29 @@
1-
name: nix-flake-check
1+
name: Continuous Integration
22

33
on:
44
pull_request:
5+
branches: ['**']
56
push:
6-
branches:
7-
- main
8-
- reboot
7+
branches: ['main']
98

109
jobs:
1110
build:
11+
name: Build and Test
1212
runs-on: ubuntu-latest
1313
steps:
14-
- uses: actions/checkout@v6.0.1
15-
16-
- name: "Install Nix️"
17-
uses: samueldr/lix-gha-installer-action@v1
18-
19-
- name: "Nix Flake Check"
20-
run: nix -L flake check
14+
- uses: actions/checkout@v6
15+
- uses: actions/setup-java@v5
16+
with:
17+
distribution: temurin
18+
java-version: 25
19+
- uses: coursier/cache-action@v6
20+
- uses: VirtusLab/scala-cli-setup@main
21+
with:
22+
scala-cli-version: 1.12.1
23+
- run: scala-cli --server=false build.scala
24+
- if: github.event_name != 'pull_request'
25+
uses: peaceiris/actions-gh-pages@v4.0.0
26+
with:
27+
github_token: ${{ secrets.GITHUB_TOKEN }}
28+
publish_dir: target
29+
cname: typelevel.org

.gitignore

Lines changed: 0 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -4,17 +4,3 @@
44
.vscode
55

66
target/
7-
8-
_site
9-
*.sw?
10-
.idea
11-
/vendor/bundle
12-
css/main.css
13-
.sass-cache
14-
target
15-
.deploy
16-
.jekyll-metadata
17-
.jekyll-cache/
18-
.metals
19-
.DS_Store
20-
.direnv/

.scalafmt.conf

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
version = "3.10.0"
2+
runner.dialect = scala3

CNAME

Lines changed: 0 additions & 1 deletion
This file was deleted.

Gemfile

Lines changed: 0 additions & 10 deletions
This file was deleted.

Gemfile.lock

Lines changed: 0 additions & 79 deletions
This file was deleted.

0 commit comments

Comments
 (0)