From cbb6c3d7020e654fdb3317c1a40ad5832a0724d4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Piotr=20Paradzi=C5=84ski?= Date: Wed, 4 Dec 2024 20:08:50 +0100 Subject: [PATCH 1/5] Create dependabot.yml configuration --- .github/dependabot.yml | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 .github/dependabot.yml diff --git a/.github/dependabot.yml b/.github/dependabot.yml new file mode 100644 index 0000000..0d08e26 --- /dev/null +++ b/.github/dependabot.yml @@ -0,0 +1,11 @@ +# To get started with Dependabot version updates, you'll need to specify which +# package ecosystems to update and where the package manifests are located. +# Please see the documentation for all configuration options: +# https://docs.github.com/code-security/dependabot/dependabot-version-updates/configuration-options-for-the-dependabot.yml-file + +version: 2 +updates: + - package-ecosystem: "github-actions" # See documentation for possible values + directory: "/" # Location of package manifests + schedule: + interval: "weekly" From 5db461249dbeda3b7f3e7e780267cd3f7a7ce130 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Piotr=20Paradzi=C5=84ski?= Date: Wed, 4 Dec 2024 20:12:31 +0100 Subject: [PATCH 2/5] Update main.yml --- .github/workflows/main.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 92d0059..1deff86 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -9,9 +9,9 @@ jobs: name: Deploy runs-on: ubuntu-latest steps: - - uses: actions/checkout@v3 - - uses: cachix/install-nix-action@v17 - - uses: cachix/cachix-action@v10 + - uses: actions/checkout@v4 + - uses: cachix/install-nix-action@v30 + - uses: cachix/cachix-action@v15 with: name: agda-smash authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} From c4a68dad7e20bd9bf2ee90dc36408e7ae98a2a98 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Piotr=20Paradzi=C5=84ski?= Date: Wed, 4 Dec 2024 20:12:46 +0100 Subject: [PATCH 3/5] Update pr.yml --- .github/workflows/pr.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml index c6f5d77..1192b7b 100644 --- a/.github/workflows/pr.yml +++ b/.github/workflows/pr.yml @@ -9,9 +9,9 @@ jobs: name: Build runs-on: ubuntu-latest steps: - - uses: actions/checkout@v3 - - uses: cachix/install-nix-action@v17 - - uses: cachix/cachix-action@v10 + - uses: actions/checkout@v4 + - uses: cachix/install-nix-action@v30 + - uses: cachix/cachix-action@v15 with: name: agda-smash authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} From 6384f292369fc4e6d08d0638aad650a9a2c3d19a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Piotr=20Paradzi=C5=84ski?= Date: Wed, 4 Dec 2024 20:19:40 +0100 Subject: [PATCH 4/5] Update README.org --- README.org | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.org b/README.org index 57b5b7a..c497ea7 100644 --- a/README.org +++ b/README.org @@ -1,3 +1,5 @@ +[![Build CI](https://github.com/lemastero/agda-smash/actions/workflows/main.yml/badge.svg?branch=main)](https://github.com/lemastero/agda-smash/actions/workflows/main.yml?query=branch%3Amain) + * Agda Smash Formal specification of Haskell [[https://hackage.haskell.org/package/smash/][smash]] library in Agda. From c4bdfdd1063d90480ae124234e7886356f373a16 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Piotr=20Paradzi=C5=84ski?= Date: Wed, 4 Dec 2024 20:24:45 +0100 Subject: [PATCH 5/5] Update README.org with badge --- README.org | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/README.org b/README.org index c497ea7..dc9a9dd 100644 --- a/README.org +++ b/README.org @@ -1,4 +1,6 @@ -[![Build CI](https://github.com/lemastero/agda-smash/actions/workflows/main.yml/badge.svg?branch=main)](https://github.com/lemastero/agda-smash/actions/workflows/main.yml?query=branch%3Amain) +#+CAPTION: CI Build Status +#+NAME: fig:CI-Bade +[[https://github.com/lemastero/agda-smash/actions/workflows/main.yml/badge.svg?branch=main]] * Agda Smash