Skip to content

Commit f70d5fb

Browse files
committed
GH_PAT 使ってないやんけ!!
1 parent c24f201 commit f70d5fb

File tree

2 files changed

+9
-8
lines changed

2 files changed

+9
-8
lines changed

.github/workflows/verify.yml

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -40,7 +40,7 @@ jobs:
4040
- run: oj-verify all
4141
env:
4242
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
43-
GH_PAT: ${{ secrets.GH_PAT }}
43+
GH_PAT: this_token_is_never_used_but_oj_verify_requires_this
4444

4545
- run: git switch main
4646

@@ -68,6 +68,7 @@ jobs:
6868
cp notebook.pdf $DIR
6969
cp build/*.css $DIR
7070
cp build/*.html $DIR
71+
git clean -dfx
7172
git switch gh-pages
7273
cp $DIR/* .
7374
git add . && git commit -m "build PDF" && git push

src/memo/Primes.md

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
#### 素数の個数
22

3-
| $n$ | $10^2$ | $10^3$ | $10^4$ | $10^5$ | $10^6$ | $10^7$ | $10^8$ | $10^9$ |
4-
| --- | --- | --- | --- | --- | --- | --- | --- | --- |
5-
| $\pi(n)$ | $25$ | $168$ | $1229$ | $9592$ | $78498$ | $6.6 \times 10^5$ | $5.8 \times 10^6$ | $5.1 \times 10^7$ |
3+
| $n$ | $10^2$ | $10^3$ | $10^4$ | $10^5$ | $10^6$ | $10^7$ | $10^8$ | $10^9$ | $10^{10}$ |
4+
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
5+
| $\pi(n)$ | 25 | 168 | 1229 | 9592 | 78498 | 664579 | 5.76e+6 | 5.08e+7 | 4.55e+8 |
66

77
#### 高度合成数
88

@@ -19,10 +19,10 @@
1919

2020
| $n$ | $2$ | $3$ | $5$ | $7$ | $11$ | $13$ | $17$ | $19$ | $23$ | $29$ |
2121
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
22-
| $n\\#$ | 2 | 6 | 30 | 210 | 2310 | 30030 | 510510 | 9699690 | $2.2 \times 10^8$ | $6.5 \times 10^9$ |
22+
| $n\\#$ | 2 | 6 | 30 | 210 | 2310 | 30030 | 510510 | 9.70e+6 | 2.23e+8 | 6.47e+9 |
2323

2424
#### 階乗
2525

26-
| $5!$ | $6!$ | $7!$ | $8!$ | $9!$ | $10!$ | $11!$ | $12!$ |
27-
| --- | --- | --- | --- | --- | --- | --- | --- |
28-
| 120 | 720 | 5040 | 40320 | 362880 | 3628800 | $4.0 \times 10^7$ | $4.8 \times 10^8$ |
26+
| $4!$ | $5!$ | $6!$ | $7!$ | $8!$ | $9!$ | $10!$ | $11!$ | $12!$ | $13!$ |
27+
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
28+
| 24 | 120 | 720 | 5040 | 40320 | 362880 | 3.63e+6 | 3.99e+7 | 4.79e+8 | 6.23e+9 |

0 commit comments

Comments
 (0)