Add sub-projects for development and performance

jakewilliami · jakewilliami · commit ba5ada38616c · 2024-11-05T19:02:19.000+13:00
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -69,4 +69,4 @@ jobs:
             Pkg.instantiate();'
       - run: julia --project=docs docs/make.jl
         env:
-          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
diff --git a/dev/Project.toml b/dev/Project.toml
@@ -0,0 +1,2 @@
+[deps]
+JuliaFormatter = "98e50ef6-434e-11e9-1051-2b60c6c9e899"
diff --git a/docs/Project.toml b/docs/Project.toml
@@ -1,10 +1,2 @@
 [deps]
 Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4"
-FLoops = "cc61a311-1640-44b5-9fba-1b764f453329"
-Hecke = "3e1990a7-5d81-5526-99ce-9ba3ff248f21"
-LinearAlgebra = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e"
-Mmap = "a63ad114-7e13-5084-954f-fe012c677804"
-Nemo = "2edaba10-b0f1-5616-af89-8c11ac63239a"
-Polynomials = "f27b6e38-b328-58d1-80ce-0feddd5e7a45"
-Primes = "27ebfcd6-29c5-5fa9-bf4b-fb8fc14df3ae"
-StaticArrays = "90137ffa-7385-5640-81b9-e52037218182"
diff --git a/docs/make.jl b/docs/make.jl
@@ -1,5 +1,4 @@
-include(joinpath(dirname(@__DIR__), "src", "CodingTheory.jl"))
-using Documenter, .CodingTheory
+using CodingTheory, Documenter
 
 Documenter.makedocs(
     clean = true,
diff --git a/perf/Project.toml b/perf/Project.toml
@@ -0,0 +1,2 @@
+[deps]
+BenchmarkTools = "6e4b80f9-dd63-53aa-95a3-0cdb28fa8baf"

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,2 @@`
	`1`	`+[deps]`
	`2`	`+BenchmarkTools = "6e4b80f9-dd63-53aa-95a3-0cdb28fa8baf"`