Actions: rabuu/sheetstorm
Actions
Showing runs from all workflows
189 workflow runs
189 workflow runs
task(todo) option (#79)
CI
#179:
Commit ab9180e
pushed
by
rabuu
task(todo) option
CI
#177:
Pull request #79
opened
by
rabuu
theorem-counter-reset option for (sub)tasks (#72)
CI
#174:
Commit 0f74905
pushed
by
rabuu
theorem-counter-reset option for (sub)tasks
CI
#173:
Pull request #72
synchronize
by
rabuu
theorem-counter-reset option for (sub)tasks
CI
#172:
Pull request #72
synchronize
by
rabuu
bonus-show-start with bonus-style in task (#71)
CI
#171:
Commit 030a082
pushed
by
rabuu
bonus-show-start with bonus-style in task
CI
#170:
Pull request #71
synchronize
by
rabuu
begin-at-new-page for (sub)tasks (#69)
CI
#166:
Commit 17490be
pushed
by
rabuu
begin-at-new-page for (sub)tasks
CI
#165:
Pull request #69
synchronize
by
rabuu