Skip to content

Actions: executablebooks/sphinx-proof

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
177 workflow runs
177 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

RELEASE: v0.4.0 continuous-integration #363: Commit d1113a8 pushed by douden
57s v0.4.0
v0.4.0
57s
RELEASE: v0.4.0 continuous-integration #362: Commit d1113a8 pushed by douden
33s main
main
33s
🚀 RELEASE: v0.4.0 continuous-integration #361: Pull request #167 opened by douden
34s release-v0.4.0
release-v0.4.0
34s
Prepare release (#166) continuous-integration #360: Commit 2d34f26 pushed by douden
34s main
main
34s
Prepare release continuous-integration #359: Pull request #166 synchronize by douden
35s prepare-release
prepare-release
35s
Prepare release continuous-integration #358: Pull request #166 opened by douden
31s prepare-release
prepare-release
31s
github_actions in /. - Update #1221316116 Dependabot Updates #83: by dependabot bot
32s main
main
32s
feat: Added possibility for shared numbering of theorems. continuous-integration #357: Pull request #164 synchronize by douden
30s Ljon4ik4-main
Ljon4ik4-main
30s
feat: Added possibility for shared numbering of theorems. continuous-integration #356: Pull request #164 synchronize by douden
31s Ljon4ik4-main
Ljon4ik4-main
31s
feat: Added possibility for shared numbering of theorems. continuous-integration #355: Pull request #164 synchronize by douden
33s Ljon4ik4-main
Ljon4ik4-main
33s
feat: Added possibility for shared numbering of theorems. continuous-integration #354: Pull request #164 synchronize by douden
26s Ljon4ik4-main
Ljon4ik4-main
26s
feat: Added possibility for shared numbering of theorems. continuous-integration #353: Pull request #164 synchronize by douden
29s Ljon4ik4-main
Ljon4ik4-main
29s
feat: Added possibility for shared numbering of theorems. continuous-integration #352: Pull request #164 synchronize by pre-commit-ci bot
29s Ljon4ik4-main
Ljon4ik4-main
29s
feat: Added possibility for shared numbering of theorems. continuous-integration #351: Pull request #164 synchronize by douden
30s Ljon4ik4-main
Ljon4ik4-main
30s
feat: Added possibility for shared numbering of theorems. continuous-integration #350: Pull request #164 synchronize by douden
27s Ljon4ik4-main
Ljon4ik4-main
27s
feat: Added possibility for shared numbering of theorems. continuous-integration #349: Pull request #164 synchronize by douden
36s Ljon4ik4-main
Ljon4ik4-main
36s
feat: Added possibility for shared numbering of theorems. continuous-integration #348: Pull request #164 synchronize by douden
16s Ljon4ik4-main
Ljon4ik4-main
16s
feat: Added possibility for shared numbering of theorems, fixing issue #64 continuous-integration #347: Pull request #161 synchronize by Ljon4ik4
28s Ljon4ik4:main
Ljon4ik4:main
28s
Add options for proof directive title formatting continuous-integration #346: Pull request #163 synchronize by douden
43s title-styling
title-styling
43s
Add options for proof directive title formatting continuous-integration #345: Pull request #163 synchronize by douden
34s title-styling
title-styling
34s
Add options for proof directive title formatting continuous-integration #344: Pull request #163 synchronize by pre-commit-ci bot
31s title-styling
title-styling
31s
Add options for proof directive title formatting continuous-integration #343: Pull request #163 synchronize by douden
30s title-styling
title-styling
30s
Add options for proof directive title formatting continuous-integration #338: Pull request #163 synchronize by douden
35s title-styling
title-styling
35s
Add options for proof directive title formatting continuous-integration #337: Pull request #163 synchronize by douden
29s title-styling
title-styling
29s
Add options for proof directive title formatting continuous-integration #336: Pull request #163 synchronize by douden
27s title-styling
title-styling
27s