Skip to content
This repository was archived by the owner on Jan 30, 2023. It is now read-only.

Commit d0df00c

Browse files
author
Matthias Koeppe
committed
.github/workflows/extract-sage-local.sh: Use sage-rebase.sh --all
1 parent 2037d68 commit d0df00c

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

‎.github/workflows/extract-sage-local.sh

+1-1
Original file line numberDiff line numberDiff line change
@@ -24,4 +24,4 @@ ls -l "$SAGE_LOCAL" "$SAGE_LOCAL"/var/lib/sage/installed/
2424
df -h
2525

2626
# Rebase!
27-
src/bin/sage-rebase.sh "$SAGE_LOCAL"
27+
src/bin/sage-rebase.sh --all "$SAGE_LOCAL"

0 commit comments

Comments
 (0)