Skip to content

Actions: executablebooks/sphinx-proof

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
93 workflow runs
93 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

⬆️ Bump pypa/gh-action-pypi-publish from 1.10.1 to 1.12.3 continuous-integration #231: Pull request #133 opened by dependabot bot
December 9, 2024 15:30 33s dependabot/github_actions/pypa/gh-action-pypi-publish-1.12.3
dependabot/github_actions/pypa/gh-action-pypi-publish-1.12.3
December 9, 2024 15:30 33s
⬆️ Bump codecov/codecov-action from 4.5.0 to 5.1.1 continuous-integration #230: Pull request #132 opened by dependabot bot
December 9, 2024 15:29 41s dependabot/github_actions/codecov/codecov-action-5.1.1
dependabot/github_actions/codecov/codecov-action-5.1.1
December 9, 2024 15:29 41s
github_actions in /. - Update #929778190 Dependabot Updates #24: by dependabot bot
December 9, 2024 15:29 50s main
main
December 9, 2024 15:29 50s
⬆️ Bump codecov/codecov-action from 4.5.0 to 5.0.7 continuous-integration #229: Pull request #131 opened by dependabot bot
November 25, 2024 16:42 32s dependabot/github_actions/codecov/codecov-action-5.0.7
dependabot/github_actions/codecov/codecov-action-5.0.7
November 25, 2024 16:42 32s
github_actions in /. - Update #922277137 Dependabot Updates #23: by dependabot bot
November 25, 2024 16:42 41s main
main
November 25, 2024 16:42 41s
⬆️ Bump codecov/codecov-action from 4.5.0 to 5.0.2 continuous-integration #228: Pull request #130 opened by dependabot bot
November 18, 2024 17:18 32s dependabot/github_actions/codecov/codecov-action-5.0.2
dependabot/github_actions/codecov/codecov-action-5.0.2
November 18, 2024 17:18 32s
github_actions in /. - Update #918548843 Dependabot Updates #22: by dependabot bot
November 18, 2024 17:17 39s main
main
November 18, 2024 17:17 39s
Translated cross references to proof types, added missing Corollary.json file and added German translations continuous-integration #227: Pull request #126 synchronize by dtenbrinck
November 12, 2024 17:19 Action required dtenbrinck:main
dtenbrinck:main
November 12, 2024 17:19 Action required
⬆️ Bump pypa/gh-action-pypi-publish from 1.10.1 to 1.12.2 continuous-integration #226: Pull request #128 opened by dependabot bot
November 11, 2024 15:57 33s dependabot/github_actions/pypa/gh-action-pypi-publish-1.12.2
dependabot/github_actions/pypa/gh-action-pypi-publish-1.12.2
November 11, 2024 15:57 33s
github_actions in /. - Update #915015360 Dependabot Updates #21: by dependabot bot
November 11, 2024 15:57 36s main
main
November 11, 2024 15:57 36s
⬆️ Bump pypa/gh-action-pypi-publish from 1.10.1 to 1.11.0 continuous-integration #221: Pull request #124 opened by dependabot bot
November 4, 2024 16:03 40s dependabot/github_actions/pypa/gh-action-pypi-publish-1.11.0
dependabot/github_actions/pypa/gh-action-pypi-publish-1.11.0
November 4, 2024 16:03 40s
github_actions in /. - Update #911512640 Dependabot Updates #20: by dependabot bot
November 4, 2024 16:02 46s main
main
November 4, 2024 16:02 46s
github_actions in /. - Update #907774062 Dependabot Updates #19: by dependabot bot
October 28, 2024 16:00 44s main
main
October 28, 2024 16:00 44s
github_actions in /. - Update #904263491 Dependabot Updates #18: by dependabot bot
October 21, 2024 15:10 37s main
main
October 21, 2024 15:10 37s
[pre-commit.ci] pre-commit autoupdate continuous-integration #219: Pull request #123 synchronize by pre-commit-ci bot
October 14, 2024 16:38 35s pre-commit-ci-update-config
pre-commit-ci-update-config
October 14, 2024 16:38 35s
github_actions in /. - Update #900675957 Dependabot Updates #17: by dependabot bot
October 14, 2024 15:29 40s main
main
October 14, 2024 15:29 40s
[pre-commit.ci] pre-commit autoupdate continuous-integration #218: Pull request #123 opened by pre-commit-ci bot
October 7, 2024 16:42 1m 9s pre-commit-ci-update-config
pre-commit-ci-update-config
October 7, 2024 16:42 1m 9s
⬆️ Bump pypa/gh-action-pypi-publish from 1.10.1 to 1.10.3 continuous-integration #217: Pull request #122 opened by dependabot bot
October 7, 2024 15:52 32s dependabot/github_actions/pypa/gh-action-pypi-publish-1.10.3
dependabot/github_actions/pypa/gh-action-pypi-publish-1.10.3
October 7, 2024 15:52 32s
⬆️ Bump codecov/codecov-action from 4.5.0 to 4.6.0 continuous-integration #216: Pull request #121 opened by dependabot bot
October 7, 2024 15:52 32s dependabot/github_actions/codecov/codecov-action-4.6.0
dependabot/github_actions/codecov/codecov-action-4.6.0
October 7, 2024 15:52 32s
github_actions in /. - Update #897096329 Dependabot Updates #16: by dependabot bot
October 7, 2024 15:51 47s main
main
October 7, 2024 15:51 47s
github_actions in /. - Update #893160113 Dependabot Updates #15: by dependabot bot
September 30, 2024 15:17 37s main
main
September 30, 2024 15:17 37s
⬆️ Bump pypa/gh-action-pypi-publish from 1.10.1 to 1.10.2 continuous-integration #213: Pull request #118 opened by dependabot bot
September 23, 2024 15:31 47s dependabot/github_actions/pypa/gh-action-pypi-publish-1.10.2
dependabot/github_actions/pypa/gh-action-pypi-publish-1.10.2
September 23, 2024 15:31 47s
github_actions in /. - Update #889459783 Dependabot Updates #14: by dependabot bot
September 23, 2024 15:31 44s main
main
September 23, 2024 15:31 44s
github_actions in /. - Update #885459166 Dependabot Updates #13: by dependabot bot
September 16, 2024 15:56 35s main
main
September 16, 2024 15:56 35s
FIX: enable publish trigger (#117) continuous-integration #212: Commit 718bd0a pushed by mmcky
September 10, 2024 23:58 1m 11s v0.2.0
v0.2.0
September 10, 2024 23:58 1m 11s