Skip to content
This repository was archived by the owner on Mar 9, 2025. It is now read-only.

Commit 031fdd9

Browse files
authored
update workflow を無効にする
1 parent 3cca10b commit 031fdd9

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

.github/workflows/update.yml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
name: Update Lean
22
on:
3-
schedule:
4-
- cron: "0 11 * * 4"
3+
# schedule:
4+
# - cron: "0 11 * * 4"
55
workflow_dispatch:
66

77
jobs:

0 commit comments

Comments
 (0)