adding github pages workflow

a-renzini · Apr 9, 2024 · d42e63b · d42e63b
1 parent a7a4b2f
commit d42e63b
Showing 1 changed file with 0 additions and 66 deletions.
diff --git a/.github%2Fworkflows/pages.yml b/.github%2Fworkflows/pages.yml