wip

AmpersandTarski · Jul 10, 2023 · e397a7a · e397a7a
1 parent 08126a7
commit e397a7a
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/latex-to-pdf.yml b/.github/workflows/latex-to-pdf.yml
@@ -20,7 +20,7 @@ jobs:
         uses: xu-cheng/latex-action@v2
         with:
           working_directory: 2022Migration  # Change this to the name of your working directory
-          root_file: articleMigration.tex  # Change this to the name of your main LaTeX file
+          root_file: articleMigrationFACS.tex  # Change this to the name of your main LaTeX file
 
       # - name: Build PDF
       #   run: pdflatex -interaction=nonstopmode -halt-on-error articleMigration.tex  # Change this to the name of your main LaTeX file
@@ -29,4 +29,4 @@ jobs:
         uses: actions/upload-artifact@v2
         with:
           name: articleMigration  # Change this to the desired name of your artifact
-          path: 2022Migration/articleMigration.pdf  # Change this to the name of your generated PDF file
+          path: 2022Migration/articleMigrationFACS.pdf  # Change this to the name of your generated PDF file
diff --git a/2022Migration/articleMigrationFACS.tex b/2022Migration/articleMigrationFACS.tex
@@ -191,7 +191,7 @@ \section{Introduction}
 \footnote{In the sequel, the word ``system'' refers to the phrase ``information system''. This simplifies the language a little. }.
 
    A problem is that software generators typically do not support the data migration process, especially when the schema changes.
-   The ``manual'' effort required to migrate data slows down the development process and introduces mistakes%
+   The ``manual'' effort required to migrate data slows down the development process and introduces mistakes.
    Such effects can be measured in terms of DevOps metrics such as deployment frequency, reliability of deployments, and change failure rate~\cite{DevOps2021}.
 
    This paper proposes a theory for data migrations that is meant to be implemented in a software generator called Ampersand~\cite{JoostenRAMiCS2017,Joosten-JLAMP2018}.