Merge branch 'main' into compathelper/new_version/2023-08-10-08-05-30…

…-535-00049712845
lindemann09 · Aug 10, 2023 · ecac5ea · ecac5ea
2 parents dc64006 + c478f0d
commit ecac5ea
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -3,7 +3,7 @@ on:
  push:
  branches:
  - main
- tags: ['*']
+ tags: ['v*']
  pull_request:
 concurrency:
  # Skip intermediate builds: always.

diff --git a/Project.toml b/Project.toml
@@ -15,7 +15,12 @@ TypedTables = "9d95f2ec-7b3d-5a63-8d20-e2491e220bb9"
 UnPack = "3a884ed6-31ef-47d7-9d2a-63182c4928ed"
 
 [compat]
+HypothesisTests = "0.11"
+PrettyTables = "2"
 ProgressMeter = "1"
+UnPack = "1"
+StatsAPI = "1"
+TypedTables = "1"
 julia = "1"
 
 [extras]