chore(*): release version 3.5.0c

leanprover-community · Dec 27, 2019 · 217862b · 217862b
1 parent deed5d2
commit 217862b
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 4 deletions.
diff --git a/.appveyor.yml b/.appveyor.yml
@@ -52,8 +52,7 @@ artifacts:
 deploy:
   description: 'Lean release'
   provider: GitHub
-  auth_token:
-    secure: d+yPrDEAbiNrcf3a0PDNYEn/ieOOP6M7cP9zje+QkJEjHFdjBjWMe8b3qrC1hrus
+  auth_token: $GH_TOKEN
   artifact: binary
   draft: false
   prerelease: false

diff --git a/.travis.yml b/.travis.yml
@@ -7,6 +7,7 @@ dist: trusty
 branches:
   only:
     - master
+    - /^v3\.[0-9]+\..*$/
 group: deprecated-2017Q3
 addons:
   apt:
@@ -238,7 +239,8 @@ notifications:
 
 deploy:
   provider: releases
-  api_key: $GH_TOKEN
+  api_key:
+    secure: E9x0PxbLwD9tfMI0uaHZTmyAwiLIDuznT0TxN8sWWaz/jIgPHeuK62jNEj1f6ruaLJGsFBpWa4dHykEwyX+zmozOUyS7NWUggdfz1/pgvs0bZIYP6lglAhfxnTDig38es3unvysIoNtrvmIkz0qDcNSTRnYvrfMYv5CL9ycgQ37xjGNC3IGZfoXiK1oN/ng4JANfXrGaISX1TVRcbGUXA7n4CunQMPXJCG/AB4isuDbqhlQs2R5LYjDyrw2xAqEYfgZTSJBkx3UW+grmGoyJGIpgprElFUMKLKJVcWfeFwj8D+pXm2KsX/6PyhKJCufW2CPZfKN3WRYFAtrwHgp93/oXPDZlJgZtfs+hvqJvRxQks/Yx/YQnsQK63tRXkNlHGUVB+W5jKBNtW7NfXNITGciEVdsPDBW7jGWZZR/JvLGrhKr13JdzpPbedS8ihMPUzsRlLGS8FbQI00nQoGMoL1z+9ZOcMxB1rqhRhUOAuqKIaoS5/IW2Iuol0crhy116a8FXeaeTypYmP3WJWtlLuKcNTso0CbGTHojPyvt8kA/zpFRroD8EDHJoxMN7zZA1NJ+rJkIsaRLbj7MhZKVyTgmsE6ZbAa5gaa5NKoTwT5H+3LR9om4dZKSEgnQatm68mGFcrbxsQDKm/af6lnildE6jmDLXfX6I0fGW1iwF5RU=
   file_glob: true
   file: build/lean-*
   skip_cleanup: true

diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
@@ -6,7 +6,7 @@ project(LEAN CXX C)
 set(LEAN_VERSION_MAJOR 3)
 set(LEAN_VERSION_MINOR 5)
 set(LEAN_VERSION_PATCH 0)
-set(LEAN_VERSION_IS_RELEASE 0)  # This number is 1 in the release revision, and 0 otherwise.
+set(LEAN_VERSION_IS_RELEASE 1)  # This number is 1 in the release revision, and 0 otherwise.
 set(LEAN_SPECIAL_VERSION_DESC "" CACHE STRING "Additional version description like 'nightly-2018-03-11'")
 set(LEAN_VERSION_STRING "${LEAN_VERSION_MAJOR}.${LEAN_VERSION_MINOR}.${LEAN_VERSION_PATCH}")
 if (LEAN_SPECIAL_VERSION_DESC)