Skip to content
Snippets Groups Projects
Commit 7612b621 authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[release] what to do with oscs after the release

parent 8bbf14e4
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 9 additions and 3 deletions
doc/release/deploy.tex
+ 9
− 3
View file @ 7612b621
...@@ -183,9 +183,15 @@ Check if other \FramaC (and related) repositories need to be updated: ...@@ -183,9 +183,15 @@ Check if other \FramaC (and related) repositories need to be updated:
\begin{itemize} \begin{itemize}
\item \texttt{acsl-language/acsl} (if last minute patches were applied) \item \texttt{acsl-language/acsl} (if last minute patches were applied)
\item \texttt{pub/open-source-case-studies} \item \texttt{pub/open-source-case-studies} (\expertise{André})
\item \texttt{pub/sate-6} \begin{itemize}
\item other \texttt{pub} repositories related to Frama-C... \item update the reference commit of the frama-c submodule to the tag of the release
\item \texttt{make framac}
\item \texttt{make clean}
\item \texttt{make all}
\end{itemize}
\item \texttt{pub/sate-6} (\expertise{André})
\item other \texttt{pub} repositories related to Frama-C...\todo{which ones?}
\end{itemize} \end{itemize}
\section{Docker image preparation} \section{Docker image preparation}
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment