Merge branch 'main' into app

3b1b · Feb 27, 2024 · 9caa09a · 9caa09a
2 parents 342da7c + 7f97e07
commit 9caa09a
Show file tree

Hide file tree

Showing 3,208 changed files with 1,562,781 additions and 514,598 deletions.
diff --git a/.github/workflows/labeler.yml b/.github/workflows/labeler.yml
@@ -1,7 +1,8 @@
 name: "Pull Request Labeler"
 
 on:
-  - pull_request_target
+- pull_request_target
+- pull_request
 
 jobs:
   labeler:

diff --git a/2015/binary-counting/english/whisper_captions.srt b/2015/binary-counting/english/whisper_captions.srt
diff --git a/2015/eulers-characteristic-formula/chinese/sentence_translations.json b/2015/eulers-characteristic-formula/chinese/sentence_translations.json
diff --git a/2015/eulers-characteristic-formula/english/whisper_captions.srt b/2015/eulers-characteristic-formula/english/whisper_captions.srt