add CI actions for updating toolchain (#19)

* add CI actions

* changed Qq dependency to point to stable branch

* Change CI action from Seashwer/lean-update to leanprover-community/lean-update

Author: Shreyas4991

.github/dependabot.yml

@@ -0,0 +1,9 @@
+version: 2  # Specifies the version of the Dependabot configuration file format
+
+updates:
+  # Configuration for dependency updates
+  - package-ecosystem: "github-actions"  # Specifies the ecosystem to check for updates
+    directory: "/"  # Specifies the directory to check for dependencies; "/" means the root directory
+    schedule:
+      # Check for updates to GitHub Actions every month
+      interval: "monthly"

.github/workflows/update-toolchain.yml

@@ -0,0 +1,25 @@
+# Borrowed from the CI action of teorth/equational_theories
+
+name: Update Dependencies
+
+on:
+  schedule:              # Sets a schedule to trigger the workflow
+  - cron: "0 8 */14 * *" # Every 14 days at 08:00 AM UTC (for more info on the cron syntax see https://docs.github.com/en/actions/writing-workflows/choosing-when-your-workflow-runs/events-that-trigger-workflows#schedule)
+  workflow_dispatch:     # Allows the workflow to be triggered manually via the GitHub interface
+
+jobs:
+  update_lean:
+    runs-on: ubuntu-latest
+    permissions:
+      contents: write      # Grants permission to push changes to the repository
+      issues: write        # Grants permission to create or update issues
+      pull-requests: write # Grants permission to create or update pull requests
+    steps:
+      - name: Checkout code
+        uses: actions/checkout@v4
+      - name: Update project
+        uses: leanprover-community/lean-update@main
+        with:
+          on_update_succeeds: pr # Create a pull request if the update succeeds
+          on_update_fails: issue # Create an issue if the update fails
+          legacy_update: true    # Executes lake -R -Kenv=dev update instead of lake update.

lakefile.toml

@@ -5,7 +5,7 @@ defaultTargets = ["Iris", "IrisTest"]
 [[require]]
 name = "Qq"
 scope = "leanprover-community"
-version = "git#v4.17.0"
+version = "git#stable"
 
 [[lean_lib]]
 name = "Iris"