rssn-advanced 0.1.0

This is rssn-advanced: The next generation symbolic core of rssn.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

version: 2
updates:
- package-ecosystem: cargo
  directory: /
  schedule:
    interval: daily
  open-pull-requests-limit: 20

- package-ecosystem: "github-actions"
  directory: "/"
  schedule:
    # Check for updates to GitHub Actions every weekday
    interval: "daily"

- package-ecosystem: cargo
  directory: /web
  schedule:
    interval: daily