changed name for github actions

admercs · Jan 9, 2024 · 44d87b4 · 44d87b4
1 parent 9923d22
commit 44d87b4
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/tests/runtests.jl → test/runtests.jl b/tests/runtests.jl → test/runtests.jl