Skip to content

Actions: executablebooks/sphinx-proof

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
90 workflow runs
90 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

github_actions in /. - Update #915015360
Dependabot Updates #21: by dependabot bot
November 11, 2024 15:57 36s
November 11, 2024 15:57 36s
Spanish translations
continuous-integration #225: Pull request #127 synchronize by MPenaR
November 11, 2024 14:22 Action required MPenaR:spanish_translations
November 11, 2024 14:22 Action required
Spanish translations
continuous-integration #224: Pull request #127 opened by MPenaR
November 10, 2024 19:05 Action required MPenaR:spanish_translations
November 10, 2024 19:05 Action required
Added German translations and translated cross references to proof types
continuous-integration #223: Pull request #126 synchronize by pre-commit-ci bot
November 9, 2024 16:50 Action required dtenbrinck:main
November 9, 2024 16:50 Action required
Added German translations and translated cross references to proof types
continuous-integration #222: Pull request #126 opened by dtenbrinck
November 9, 2024 16:50 Action required dtenbrinck:main
November 9, 2024 16:50 Action required
github_actions in /. - Update #911512640
Dependabot Updates #20: by dependabot bot
November 4, 2024 16:02 46s
November 4, 2024 16:02 46s
github_actions in /. - Update #907774062
Dependabot Updates #19: by dependabot bot
October 28, 2024 16:00 44s
October 28, 2024 16:00 44s
github_actions in /. - Update #904263491
Dependabot Updates #18: by dependabot bot
October 21, 2024 15:10 37s
October 21, 2024 15:10 37s
add missing translations for Dutch
continuous-integration #220: Pull request #120 synchronize by pjbruin
October 16, 2024 07:58 Action required pjbruin:add-dutch-translations
October 16, 2024 07:58 Action required
[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
October 14, 2024 16:38 35s
github_actions in /. - Update #900675957
Dependabot Updates #17: by dependabot bot
October 14, 2024 15:29 40s
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
October 7, 2024 16:42 1m 9s
github_actions in /. - Update #897096329
Dependabot Updates #16: by dependabot bot
October 7, 2024 15:51 47s
October 7, 2024 15:51 47s
github_actions in /. - Update #893160113
Dependabot Updates #15: by dependabot bot
September 30, 2024 15:17 37s
September 30, 2024 15:17 37s
github_actions in /. - Update #889459783
Dependabot Updates #14: by dependabot bot
September 23, 2024 15:31 44s
September 23, 2024 15:31 44s
github_actions in /. - Update #885459166
Dependabot Updates #13: by dependabot bot
September 16, 2024 15:56 35s
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
September 10, 2024 23:58 1m 11s
FIX: enable publish trigger (#117)
continuous-integration #211: Commit 718bd0a pushed by mmcky
September 10, 2024 23:53 1m 10s v0.2.0
September 10, 2024 23:53 1m 10s
FIX: enable publish trigger (#117)
continuous-integration #210: Commit 718bd0a pushed by mmcky
September 10, 2024 23:52 36s main
September 10, 2024 23:52 36s
FIX: enable publish trigger
continuous-integration #209: Pull request #117 opened by mmcky
September 10, 2024 23:52 32s setup-publish
September 10, 2024 23:52 32s