Release 1.0.0

FlorianCassayre · Jun 24, 2022 · 34a7733 · 34a7733
1 parent 868c750
commit 34a7733
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 3 deletions.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -42,10 +42,10 @@ jobs:
           root_file: thesis.tex
           args: -pdf -file-line-error -halt-on-error -interaction=nonstopmode -shell-escape
           extra_system_packages: inkscape
+      - run: mv thesis/report/thesis.pdf thesis.pdf
       - name: Upload the artifacts
         uses: skx/github-action-publish-binaries@master
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
         with:
-          working_directory: thesis/report
           args: thesis.pdf
diff --git a/README.md b/README.md
@@ -61,6 +61,7 @@ The table below indicates the version compatibility (= value of `$COMMIT`):
 
 | `master-project` |                   `lisa`                   |
 |:----------------:|:------------------------------------------:|
+|     `1.0.0`      | `3ae1c204df54e780ab7565070575b421b119f684` |
 |     `0.2.0`      | `eacb9c06aa2975b9ae2bc993847c597eb3c54995` | 
 |     `0.1.0`      | `eacb9c06aa2975b9ae2bc993847c597eb3c54995` |
 

diff --git a/build.sbt b/build.sbt
@@ -3,7 +3,7 @@ lazy val root = (project in file("."))
     commonSettings,
     name := "master-project",
     organization := "me.cassayre.florian",
-    version := "0.2.0",
+    version := "1.0.0",
     versionScheme := Some("semver-spec"),
     scalaVersion := "3.2.1-RC1-bin-20220619-4cb967f-NIGHTLY",
     scalacOptions ++= Seq(

diff --git a/thesis/report/chapters/1-introduction.tex b/thesis/report/chapters/1-introduction.tex
@@ -5,7 +5,7 @@ \section{Introduction}
 
 In this thesis we describe the design process of a front-end for the modern proof assistant LISA. Our main focus is to preserve the same soundness standards as the existing framework while making it more expressive and interactive. The supporting source code for this project is published at the following address:
 \begin{center}
-\href{http://github.com/FlorianCassayre/master-project}{\textbf{github.com/FlorianCassayre/master-project}}\footnote{The current release is identified by commit number: \code{30b0c340e94c6e981d3115c554ab9bc97f8b8971}}
+\href{http://github.com/FlorianCassayre/master-project}{\textbf{github.com/FlorianCassayre/master-project}}\footnote{The current release is identified by commit number: \code{868c750de37171e524612673bbed6058dadaa8bb}}
 \end{center}
 
 \subsection{LISA}