Skip to content

Actions: executablebooks/sphinx-proof

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
150 workflow runs
150 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

⬆️ Bump codecov/codecov-action from 5.5.1 to 5.5.2 continuous-integration #321: Pull request #162 opened by dependabot bot
29s dependabot/github_actions/codecov/codecov-action-5.5.2
dependabot/github_actions/codecov/codecov-action-5.5.2
29s
github_actions in /. - Update #1183029646 Dependabot Updates #77: by dependabot bot
37s main
main
37s
feat: Added possibility for shared numbering of theorems, fixing issue #64 continuous-integration #320: Pull request #161 synchronize by pre-commit-ci bot
Action required Ljon4ik4:main
Ljon4ik4:main
Action required
feat: Added possibility for shared numbering of theorems, fixing issue #64 continuous-integration #319: Pull request #161 synchronize by Ljon4ik4
Action required Ljon4ik4:main
Ljon4ik4:main
Action required
feat: Added possibility for shared numbering of theorems, fixing issue #64 continuous-integration #318: Pull request #161 synchronize by pre-commit-ci bot
Action required Ljon4ik4:main
Ljon4ik4:main
Action required
feat: Added possibility for shared numbering of theorems, fixing issue #64 continuous-integration #317: Pull request #161 synchronize by Ljon4ik4
Action required Ljon4ik4:main
Ljon4ik4:main
Action required
feat: Added possibility for shared numbering of theorems, fixing issue #64 continuous-integration #316: Pull request #161 synchronize by pre-commit-ci bot
Action required Ljon4ik4:main
Ljon4ik4:main
Action required
feat: Added possibility for shared numbering of theorems, fixing issue #64 continuous-integration #315: Pull request #161 opened by Ljon4ik4
Action required Ljon4ik4:main
Ljon4ik4:main
Action required
[pre-commit.ci] pre-commit autoupdate continuous-integration #314: Pull request #158 synchronize by pre-commit-ci bot
1m 12s pre-commit-ci-update-config
pre-commit-ci-update-config
1m 12s
github_actions in /. - Update #1177425007 Dependabot Updates #76: by dependabot bot
35s main
main
35s
github_actions in /. - Update #1169966459 Dependabot Updates #75: by dependabot bot
31s main
main
31s
⬆️ Bump actions/checkout from 5 to 6 (#160) continuous-integration #313: Commit 97cfc7b pushed by mmcky
32s main
main
32s
github_actions in /. - Update #1163038804 Dependabot Updates #74: by dependabot bot
29s main
main
29s
⬆️ Bump actions/checkout from 5 to 6 continuous-integration #312: Pull request #160 opened by dependabot bot
39s dependabot/github_actions/actions/checkout-6
dependabot/github_actions/actions/checkout-6
39s
github_actions in /. - Update #1162992168 Dependabot Updates #73: by dependabot bot
31s main
main
31s
github_actions in /. - Update #1154872533 Dependabot Updates #72: by dependabot bot
21s main
main
21s
github_actions in /. - Update #1148036950 Dependabot Updates #71: by dependabot bot
27s main
main
27s
[pre-commit.ci] pre-commit autoupdate continuous-integration #311: Pull request #158 opened by pre-commit-ci bot
56s pre-commit-ci-update-config
pre-commit-ci-update-config
56s
github_actions in /. - Update #1142109742 Dependabot Updates #70: by dependabot bot
45s main
main
45s
github_actions in /. - Update #1142062760 Dependabot Updates #69: by dependabot bot
32s main
main
32s
github_actions in /. - Update #1135531172 Dependabot Updates #68: by dependabot bot
32s main
main
32s
github_actions in /. - Update #1129599660 Dependabot Updates #67: by dependabot bot
33s main
main
33s
Fix GitHub Actions CI badge URL continuous-integration #310: Commit fedee1d pushed by mmcky
37s main
main
37s
Fix line length in setup.py for pre-commit compliance continuous-integration #309: Commit a393963 pushed by mmcky
35s main
main
35s
Update maintainer reference to Executable Books team continuous-integration #308: Commit dbcbe23 pushed by mmcky
37s main
main
37s