Skip to content

Actions: executablebooks/sphinx-proof

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
178 workflow runs
178 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add options for proof directive title formatting continuous-integration #336: Pull request #163 synchronize by douden
27s title-styling
title-styling
27s
Add options for proof directive title formatting continuous-integration #335: Pull request #163 synchronize by douden
29s title-styling
title-styling
29s
Add options for proof directive title formatting continuous-integration #334: Pull request #163 synchronize by pre-commit-ci bot
32s title-styling
title-styling
32s
Add options for proof directive title formatting continuous-integration #333: Pull request #163 synchronize by douden
29s title-styling
title-styling
29s
Add options for proof directive title formatting continuous-integration #332: Pull request #163 synchronize by douden
29s title-styling
title-styling
29s
Add options for proof directive title formatting continuous-integration #331: Pull request #163 synchronize by pre-commit-ci bot
29s title-styling
title-styling
29s
Add options for proof directive title formatting continuous-integration #330: Pull request #163 synchronize by douden
31s title-styling
title-styling
31s
Add options for proof directive title formatting continuous-integration #329: Pull request #163 synchronize by douden
30s title-styling
title-styling
30s
Add options for proof directive title formatting continuous-integration #328: Pull request #163 synchronize by douden
32s title-styling
title-styling
32s
github_actions in /. - Update #1213584129 Dependabot Updates #82: by dependabot bot
36s main
main
36s
[pre-commit.ci] pre-commit autoupdate continuous-integration #325: Pull request #158 synchronize by pre-commit-ci bot
29s pre-commit-ci-update-config
pre-commit-ci-update-config
29s
[pre-commit.ci] pre-commit autoupdate continuous-integration #324: Pull request #158 synchronize by pre-commit-ci bot
44s pre-commit-ci-update-config
pre-commit-ci-update-config
44s
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