v0.3.2

olimpiadi-informatica · Feb 14, 2020 · 8386530 · 8386530
1 parent c5324ea
commit 8386530
Show file tree

Hide file tree

Showing 12 changed files with 50 additions and 48 deletions.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -15,6 +15,8 @@ jobs:
         run: |
           sudo apt update
           sudo apt install -yy curl build-essential python libseccomp-dev
+          # dirty trick to get the correct libgcc1 version of ubuntu16.04
+          sudo apt install -y --allow-downgrades libgcc1=1:6.0.1-0ubuntu1
           curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh -s -- -y
           source $HOME/.cargo/env
           cargo install cargo-deb

diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -4,7 +4,7 @@ members = ["task-maker-*"]
 
 [package]
 name = "task-maker-rust"
-version = "0.3.1"
+version = "0.3.2"
 description = "Tool for building tasks for informatics competitions, with support for cache, distributed computations and more"
 readme = "README.md"
 authors = ["Edoardo Morassutto <edoardo.morassutto@gmail.com>"]

diff --git a/task-maker-cache/Cargo.toml b/task-maker-cache/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "task-maker-cache"
-version = "0.3.1"
+version = "0.3.2"
 authors = ["Edoardo Morassutto <edoardo.morassutto@gmail.com>"]
 edition = "2018"
 

diff --git a/task-maker-dag/Cargo.toml b/task-maker-dag/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "task-maker-dag"
-version = "0.3.1"
+version = "0.3.2"
 authors = ["Edoardo Morassutto <edoardo.morassutto@gmail.com>"]
 edition = "2018"
 

diff --git a/task-maker-exec/Cargo.toml b/task-maker-exec/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "task-maker-exec"
-version = "0.3.1"
+version = "0.3.2"
 authors = ["Edoardo Morassutto <edoardo.morassutto@gmail.com>"]
 edition = "2018"
 

diff --git a/task-maker-format/Cargo.toml b/task-maker-format/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "task-maker-format"
-version = "0.3.1"
+version = "0.3.2"
 authors = ["Edoardo Morassutto <edoardo.morassutto@gmail.com>"]
 edition = "2018"
 

diff --git a/task-maker-lang/Cargo.toml b/task-maker-lang/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "task-maker-lang"
-version = "0.3.1"
+version = "0.3.2"
 authors = ["Edoardo Morassutto <edoardo.morassutto@gmail.com>"]
 edition = "2018"
 

diff --git a/task-maker-store/Cargo.toml b/task-maker-store/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "task-maker-store"
-version = "0.3.1"
+version = "0.3.2"
 authors = ["Edoardo Morassutto <edoardo.morassutto@gmail.com>"]
 edition = "2018"
 

diff --git a/task-maker-test/Cargo.toml b/task-maker-test/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "task-maker-test"
-version = "0.3.1"
+version = "0.3.2"
 authors = ["Edoardo Morassutto <edoardo.morassutto@gmail.com>"]
 edition = "2018"
 build = "build.rs"

diff --git a/task-maker-test/task-maker-test-sandbox/Cargo.lock b/task-maker-test/task-maker-test-sandbox/Cargo.lock
diff --git a/task-maker-test/task-maker-test-sandbox/Cargo.toml b/task-maker-test/task-maker-test-sandbox/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "task-maker-test-sandbox"
-version = "0.3.1"
+version = "0.3.2"
 authors = ["Edoardo Morassutto <edoardo.morassutto@gmail.com>"]
 edition = "2018"