Skip to content

Actions: executablebooks/sphinx-proof

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
138 workflow runs
138 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Add options for proof directive title formatting continuous-integration #323: Pull request #163 synchronize by pre-commit-ci Bot
24s title-styling
title-styling
24s
Add options for proof directive title formatting continuous-integration #322: Pull request #163 opened by douden
30s title-styling
title-styling
30s
github_actions in /. - Update #1206935956 Dependabot Updates #81: by dependabot Bot
35s main
main
35s
github_actions in /. - Update #1199393378 Dependabot Updates #80: by dependabot Bot
31s main
main
31s
github_actions in /. - Update #1192988676 Dependabot Updates #79: by dependabot Bot
33s main
main
33s
github_actions in /. - Update #1188588678 Dependabot Updates #78: by dependabot Bot
29s main
main
29s
⬆️ 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
[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