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

[release] Indicate that pub.frama-c.com might not display the good version

parent c58840af
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 7 additions and 1 deletion
doc/release/deploy.tex
+ 7
− 1
View file @ 36fd4d4a
...@@ -47,7 +47,13 @@ at the end of Chapter.~\ref{chap:validation}, and to force-push this new referen ...@@ -47,7 +47,13 @@ at the end of Chapter.~\ref{chap:validation}, and to force-push this new referen
\section{Check the website} \section{Check the website}
\label{sec:check-website} \label{sec:check-website}
Once the pipeline for the website has run, open \texttt{https://pub.frama-c.com}. Once the pipeline for the website has run, open \url{https://pub.frama-c.com}.
\textbf{Note:} \texttt{https://pub.frama-c.com/} serves the content of the latest
commit successfully compiled by the CI. If there is a delay between the moment where
you launch the pipeline and the moment you inspect the website, it may not be up-to-date.
You can either serve the content locally on your machine (instructions are provided
on the README of the website's repo), or by re-running the pages jobs on the relevant pipeline
\begin{itemize} \begin{itemize}
\item \texttt{index.html} must display: \item \texttt{index.html} must display:
......
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