Updated ci

FilippoFantinato · Apr 7, 2024 · f2a5ef4 · f2a5ef4
1 parent 3f46f1f
commit f2a5ef4
Show file tree

Hide file tree

Showing 24 changed files with 27 additions and 23 deletions.
diff --git a/.github/workflows/build-deploy.yml b/.github/workflows/build-deploy.yml
@@ -15,13 +15,18 @@ jobs:
       - uses: actions/checkout@v2
 
       - name: Compile tex file into pdf
-        uses: xu-cheng/latex-action@v2
+        uses: xu-cheng/latex-action@v3
         with:
           root_file: main.tex
           latexmk_use_xelatex: true
           latexmk_shell_escape: true
+          continue_on_error: true
+          extra_fonts: |
+            ./fonts/EB_Garamond/*.otf
+            ./fonts/Lato/*.ttf
+            ./fonts/Source_Code_Pro/*.ttf
         
-      - uses: actions/upload-artifact@v2
+      - uses: actions/upload-artifact@v4
         with:
           name: Master thesis
           path: main.pdf
diff --git a/chapters/original-contributions.tex b/chapters/original-contributions.tex
@@ -15,8 +15,8 @@ \chapter{Original contributions} \label{chapt:original-contributions}
 
 Finally, we provide a way to generate a non-deterministic strategy for reachability games.
 
-\input{chapters/original-contributions/best-effort-semantics}
-\input{chapters/original-contributions/asap-semantics}
-\input{chapters/original-contributions/problem-formulation}
-\input{chapters/original-contributions/reduction-to-synthesis}
-\input{chapters/original-contributions/reachbility-strategy-extraction}
+\input{./chapters/original-contributions/best-effort-semantics}
+\input{./chapters/original-contributions/asap-semantics}
+\input{./chapters/original-contributions/problem-formulation}
+\input{./chapters/original-contributions/reduction-to-synthesis}
+\input{./chapters/original-contributions/reachbility-strategy-extraction}
diff --git a/chapters/preliminary-definitions.tex b/chapters/preliminary-definitions.tex
@@ -16,11 +16,11 @@ \chapter{Preliminary definitions} \label{chapt:preliminary-definitions}
 
 Finally, we introduce the \textit{Reactive Synthesis} problem, its game-theoretical formulation and the basic algorithms to solve it. Such basic algorithms can be enriched thanks to ROBDDs, so we present their symbolic formulations. We explain a technique to perform reactive synthesis from Extended Bounded Response LTL specifications.
 
-\input{chapters/preliminary-definitions/buchi-automata}
-\input{chapters/preliminary-definitions/linear-temporal-logic}
-\input{chapters/preliminary-definitions/ltl-model-checking}
-\input{chapters/preliminary-definitions/robdd}
-\input{chapters/preliminary-definitions/aiger}
-\input{chapters/preliminary-definitions/smv}
-\input{chapters/preliminary-definitions/reactive-synthesis}
-\input{chapters/preliminary-definitions/reactive-synthesis-from-ebrltl}
+\input{./chapters/preliminary-definitions/buchi-automata}
+\input{./chapters/preliminary-definitions/linear-temporal-logic}
+\input{./chapters/preliminary-definitions/ltl-model-checking}
+\input{./chapters/preliminary-definitions/robdd}
+\input{./chapters/preliminary-definitions/aiger}
+\input{./chapters/preliminary-definitions/smv}
+\input{./chapters/preliminary-definitions/reactive-synthesis}
+\input{./chapters/preliminary-definitions/reactive-synthesis-from-ebrltl}
diff --git a/creationdate.timestamp b/creationdate.timestamp
@@ -1,2 +1,2 @@
-\edef\tempa{\string D:20240312082020}
-\def\tempb{+0100}
+\edef\tempa{\string D:20240407112350}
+\def\tempb{+0200}
diff --git a/fonts/EB Garamond/COPYING → fonts/EB_Garamond/COPYING b/fonts/EB Garamond/COPYING → fonts/EB_Garamond/COPYING
diff --git a/fonts/EB Garamond/EBGaramond-Initials.otf → fonts/EB_Garamond/EBGaramond-Initials.otf b/fonts/EB Garamond/EBGaramond-Initials.otf → fonts/EB_Garamond/EBGaramond-Initials.otf
diff --git a/fonts/EB Garamond/EBGaramond-InitialsF1.otf → fonts/EB_Garamond/EBGaramond-InitialsF1.otf b/fonts/EB Garamond/EBGaramond-InitialsF1.otf → fonts/EB_Garamond/EBGaramond-InitialsF1.otf
diff --git a/fonts/EB Garamond/EBGaramond-InitialsF2.otf → fonts/EB_Garamond/EBGaramond-InitialsF2.otf b/fonts/EB Garamond/EBGaramond-InitialsF2.otf → fonts/EB_Garamond/EBGaramond-InitialsF2.otf
diff --git a/fonts/EB Garamond/EBGaramond08-Italic.otf → fonts/EB_Garamond/EBGaramond08-Italic.otf b/fonts/EB Garamond/EBGaramond08-Italic.otf → fonts/EB_Garamond/EBGaramond08-Italic.otf
diff --git a/fonts/EB Garamond/EBGaramond08-Regular.otf → fonts/EB_Garamond/EBGaramond08-Regular.otf b/fonts/EB Garamond/EBGaramond08-Regular.otf → fonts/EB_Garamond/EBGaramond08-Regular.otf
diff --git a/fonts/EB Garamond/EBGaramond08-SC.otf → fonts/EB_Garamond/EBGaramond08-SC.otf b/fonts/EB Garamond/EBGaramond08-SC.otf → fonts/EB_Garamond/EBGaramond08-SC.otf
diff --git a/fonts/EB Garamond/EBGaramond12-AllSC.otf → fonts/EB_Garamond/EBGaramond12-AllSC.otf b/fonts/EB Garamond/EBGaramond12-AllSC.otf → fonts/EB_Garamond/EBGaramond12-AllSC.otf
diff --git a/fonts/EB Garamond/EBGaramond12-Italic.otf → fonts/EB_Garamond/EBGaramond12-Italic.otf b/fonts/EB Garamond/EBGaramond12-Italic.otf → fonts/EB_Garamond/EBGaramond12-Italic.otf
diff --git a/fonts/EB Garamond/EBGaramond12-Regular.otf → fonts/EB_Garamond/EBGaramond12-Regular.otf b/fonts/EB Garamond/EBGaramond12-Regular.otf → fonts/EB_Garamond/EBGaramond12-Regular.otf
diff --git a/fonts/EB Garamond/EBGaramond12-SC.otf → fonts/EB_Garamond/EBGaramond12-SC.otf b/fonts/EB Garamond/EBGaramond12-SC.otf → fonts/EB_Garamond/EBGaramond12-SC.otf
diff --git a/fonts/EB Garamond/README.markdown → fonts/EB_Garamond/README.markdown b/fonts/EB Garamond/README.markdown → fonts/EB_Garamond/README.markdown
diff --git a/...s/Source Code Pro/SourceCodePro-Black.ttf → ...s/Source_Code_Pro/SourceCodePro-Black.ttf b/...s/Source Code Pro/SourceCodePro-Black.ttf → ...s/Source_Code_Pro/SourceCodePro-Black.ttf
diff --git a/fonts/Source Code Pro/SourceCodePro-Bold.ttf → fonts/Source_Code_Pro/SourceCodePro-Bold.ttf b/fonts/Source Code Pro/SourceCodePro-Bold.ttf → fonts/Source_Code_Pro/SourceCodePro-Bold.ttf
diff --git a/...rce Code Pro/SourceCodePro-ExtraLight.ttf → ...rce_Code_Pro/SourceCodePro-ExtraLight.ttf b/...rce Code Pro/SourceCodePro-ExtraLight.ttf → ...rce_Code_Pro/SourceCodePro-ExtraLight.ttf
diff --git a/...s/Source Code Pro/SourceCodePro-Light.ttf → ...s/Source_Code_Pro/SourceCodePro-Light.ttf b/...s/Source Code Pro/SourceCodePro-Light.ttf → ...s/Source_Code_Pro/SourceCodePro-Light.ttf
diff --git a/.../Source Code Pro/SourceCodePro-Medium.ttf → .../Source_Code_Pro/SourceCodePro-Medium.ttf b/.../Source Code Pro/SourceCodePro-Medium.ttf → .../Source_Code_Pro/SourceCodePro-Medium.ttf
diff --git a/...Source Code Pro/SourceCodePro-Regular.ttf → ...Source_Code_Pro/SourceCodePro-Regular.ttf b/...Source Code Pro/SourceCodePro-Regular.ttf → ...Source_Code_Pro/SourceCodePro-Regular.ttf
diff --git a/...ource Code Pro/SourceCodePro-Semibold.ttf → ...ource_Code_Pro/SourceCodePro-Semibold.ttf b/...ource Code Pro/SourceCodePro-Semibold.ttf → ...ource_Code_Pro/SourceCodePro-Semibold.ttf
diff --git a/main.tex b/main.tex
@@ -30,12 +30,11 @@
 
 % include each chapter...
 \setcounter{chapter}{0}  % start chapter numbering at 1
-\include{chapters/introduction}
-\include{chapters/related-work}
-\include{chapters/preliminary-definitions}
-\include{chapters/original-contributions}
-\include{chapters/implementation}
-\include{chapters/conclusion}
+\include{./chapters/introduction.tex}
+\include{./chapters/preliminary-definitions.tex}
+\include{./chapters/original-contributions.tex}
+\include{./chapters/implementation.tex}
+\include{./chapters/conclusion.tex}
 
 \cleardoublepage
 \nocite{*}