From 52459149e25cf12e6c65675a545fd1b264c9da57 Mon Sep 17 00:00:00 2001 From: Leonardo Santiago Date: Sat, 1 Jun 2024 19:01:14 -0300 Subject: add deployment workflow --- public/tags/correctness/index.html | 8 ++++---- public/tags/correctness/index.xml | 8 ++++---- public/tags/rust/index.html | 8 ++++---- public/tags/rust/index.xml | 8 ++++---- 4 files changed, 16 insertions(+), 16 deletions(-) (limited to 'public/tags') diff --git a/public/tags/correctness/index.html b/public/tags/correctness/index.html index 9e25c80..bcd365a 100644 --- a/public/tags/correctness/index.html +++ b/public/tags/correctness/index.html @@ -1,7 +1,7 @@ - + @@ -11,7 +11,7 @@ - + @@ -31,7 +31,7 @@ - +