Skip to content

Commit 88bbfce

Browse files
committed
Merge remote-tracking branch 'origin/master' into theory-gap-fixes
2 parents 2b0df8e + e4ff560 commit 88bbfce

1 file changed

Lines changed: 2 additions & 1 deletion

File tree

.github/workflows/docs.yml

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,8 @@ name: Deploy static content to Pages
22

33
on:
44
push:
5-
branches: ["master"]
5+
tags:
6+
- "**"
67

78
workflow_dispatch:
89

0 commit comments

Comments
 (0)