Merge branch 'dev' of https://github.com/singular-gpispace/tropicalfe…

…ynman into dev

.github/workflows/CI.yml

@@ -3,6 +3,7 @@ on:
   push:
     branches:
       - main
+      - dev
     tags: ['*']
   pull_request:
 jobs:
@@ -21,7 +22,7 @@ jobs:
         arch:
           - x64
     steps:
-      - uses: actions/checkout@v2
+      - uses: actions/checkout@v4
       - uses: julia-actions/setup-julia@v1
         with:
           version: ${{ matrix.version }}
@@ -30,6 +31,6 @@ jobs:
       - uses: julia-actions/julia-buildpkg@v1
       - uses: julia-actions/julia-runtest@v1
       - uses: julia-actions/julia-processcoverage@v1
-      - uses: codecov/codecov-action@v2
+      - uses: codecov/codecov-action@v3
         with:  
-          files: lcov.info
+          files: lcov.info

.github/workflows/CompatHelper.yml

@@ -14,3 +14,4 @@ jobs:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
           COMPATHELPER_PRIV: ${{ secrets.DOCUMENTER_KEY }}
         run: julia -e 'using CompatHelper; CompatHelper.main()'
+

.github/workflows/document.yml

@@ -3,16 +3,18 @@ on:
   push:
     branches:
       - main
+      - dev_new
     tags: ['*']
   pull_request:
 jobs:
   build:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v2
-      - uses: julia-actions/setup-julia@latest
+      - uses: actions/checkout@v4
+      - uses: julia-actions/setup-julia@v1
         with:
-          version: '1'
+          version: '1.6'
+      - uses: julia-actions/cache@v1
       - name: Install dependencies
         run: julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate()'
       - name: Build and deploy

.gitignore

@@ -1,4 +1,6 @@
 *.jl.*.cov
 *.jl.cov
 *.jl.mem
+.DS_Store
+Manifest.toml
 /docs/build/