From 2f4f6333ad7215c3e92e467628581add696a7cfd Mon Sep 17 00:00:00 2001 From: Riccardo Brasca Date: Thu, 23 Jan 2025 15:17:55 +0100 Subject: [PATCH] uff --- .github/workflows/push.yml | 2 +- docs/unseen_defs.txt | 8 ++++++++ 2 files changed, 9 insertions(+), 1 deletion(-) create mode 100644 docs/unseen_defs.txt diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml index 9ec54279..0a68b55c 100644 --- a/.github/workflows/push.yml +++ b/.github/workflows/push.yml @@ -85,7 +85,7 @@ jobs: mv blueprint/web _site/blueprint - name: Upload doc & blueprint artifact - uses: actions/upload-pages-artifact@v2 + uses: actions/upload-pages-artifact@v3 with: path: '_site' diff --git a/docs/unseen_defs.txt b/docs/unseen_defs.txt new file mode 100644 index 00000000..97ee1417 --- /dev/null +++ b/docs/unseen_defs.txt @@ -0,0 +1,8 @@ +CyclotomicIntegers.equiv_symm_apply +Ideal.spanIntNorm_mul +Monoid.EndAdditive_apply +fermatLastTheoremFive +isRegularPrime_three +isRegularPrime_two +relativeUnitsMapHom_apply +relativeUnitsMap_mk