From 6fe3b35afe34041a483e9f3d8a432213e62dfc95 Mon Sep 17 00:00:00 2001 From: Sakamoto Noriaki Date: Thu, 28 Sep 2023 21:36:45 +0900 Subject: [PATCH 1/3] Bump Satyrographos version --- snapshot-develop.opam | 2 +- snapshot-stable-0-0-5.opam | 2 +- snapshot-stable-0-0-6--1.opam | 2 +- snapshot-stable-0-0-6.opam | 2 +- snapshot-stable-0-0-7.opam | 2 +- snapshot-stable-0-0-8.opam | 2 +- 6 files changed, 6 insertions(+), 6 deletions(-) diff --git a/snapshot-develop.opam b/snapshot-develop.opam index 42ecf7f3..cb8f71b1 100644 --- a/snapshot-develop.opam +++ b/snapshot-develop.opam @@ -15,7 +15,7 @@ depends: [ "ocaml" {>= "4.10.0"} "satysfi" {= "0.0.8"} "satysfi-dist" - "satyrographos" {= "0.0.2.11"} + "satyrographos" {= "0.0.2.13"} # Package List diff --git a/snapshot-stable-0-0-5.opam b/snapshot-stable-0-0-5.opam index c565cfa2..e000f05a 100644 --- a/snapshot-stable-0-0-5.opam +++ b/snapshot-stable-0-0-5.opam @@ -15,7 +15,7 @@ depends: [ "ocaml" {>= "4.10.0"} "satysfi" {= "0.0.5"} "satysfi-dist" - "satyrographos" {= "0.0.2.11"} + "satyrographos" {= "0.0.2.13"} # Package List diff --git a/snapshot-stable-0-0-6--1.opam b/snapshot-stable-0-0-6--1.opam index dfaa5e18..bf8f25c7 100644 --- a/snapshot-stable-0-0-6--1.opam +++ b/snapshot-stable-0-0-6--1.opam @@ -15,7 +15,7 @@ depends: [ "ocaml" {>= "4.10.0"} "satysfi" {= "0.0.6"} "satysfi-dist" - "satyrographos" {= "0.0.2.11"} + "satyrographos" {= "0.0.2.13"} # Package List diff --git a/snapshot-stable-0-0-6.opam b/snapshot-stable-0-0-6.opam index cf2cc66a..59c2d6a7 100644 --- a/snapshot-stable-0-0-6.opam +++ b/snapshot-stable-0-0-6.opam @@ -15,7 +15,7 @@ depends: [ "ocaml" {>= "4.10.0"} "satysfi" {= "0.0.6"} "satysfi-dist" - "satyrographos" {= "0.0.2.11"} + "satyrographos" {= "0.0.2.13"} # Package List diff --git a/snapshot-stable-0-0-7.opam b/snapshot-stable-0-0-7.opam index fe2be486..56efc808 100644 --- a/snapshot-stable-0-0-7.opam +++ b/snapshot-stable-0-0-7.opam @@ -15,7 +15,7 @@ depends: [ "ocaml" {>= "4.10.0"} "satysfi" {= "0.0.7"} "satysfi-dist" - "satyrographos" {= "0.0.2.11"} + "satyrographos" {= "0.0.2.13"} # Package List diff --git a/snapshot-stable-0-0-8.opam b/snapshot-stable-0-0-8.opam index 42ecf7f3..cb8f71b1 100644 --- a/snapshot-stable-0-0-8.opam +++ b/snapshot-stable-0-0-8.opam @@ -15,7 +15,7 @@ depends: [ "ocaml" {>= "4.10.0"} "satysfi" {= "0.0.8"} "satysfi-dist" - "satyrographos" {= "0.0.2.11"} + "satyrographos" {= "0.0.2.13"} # Package List From 440255241976ce44a7cf38993c4e17b2ab7e577e Mon Sep 17 00:00:00 2001 From: Sakamoto Noriaki Date: Thu, 28 Sep 2023 21:50:20 +0900 Subject: [PATCH 2/3] Use OCaml 4.13.0 for testing --- .github/workflows/ci.yaml | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index 28dc98a4..5d9c8b73 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -16,9 +16,7 @@ jobs: - 'ubuntu-latest' # - 'macos-latest' ocaml-version: -# - 4.10.1 -# - 4.11.1 - - 4.12.0 + - 4.13.0 snapshot: - develop - stable-0-0-8 From a5e26e45d87dbb49b16a88b5063f9882f44e6db7 Mon Sep 17 00:00:00 2001 From: Sakamoto Noriaki Date: Thu, 28 Sep 2023 22:55:15 +0900 Subject: [PATCH 3/3] Use OCaml 4.12.1 for testing --- .github/workflows/ci.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index 5d9c8b73..3893fc6c 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -16,7 +16,7 @@ jobs: - 'ubuntu-latest' # - 'macos-latest' ocaml-version: - - 4.13.0 + - 4.12.1 snapshot: - develop - stable-0-0-8