Skip to content

Actions: ComPWA/policy

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
284 workflow run results
284 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ENH: add option to not update GitHub Actions PR linting #495: Pull request #199 synchronize by redeboer
October 8, 2023 13:41 39s no-github-actions
no-github-actions
October 8, 2023 13:41 39s
ENH: add --no-ruff argument (#200) CI #317: Commit 3fef7af pushed by redeboer
October 8, 2023 13:41 2m 17s main
main
October 8, 2023 13:41 2m 17s
ENH: add --no-ruff argument Clean caches #88: Pull request #200 closed by redeboer
October 8, 2023 13:41 11s no-ruff
no-ruff
October 8, 2023 13:41 11s
ENH: add --no-ruff argument (#200) Release Drafter #455: Commit 3fef7af pushed by redeboer
October 8, 2023 13:41 25s main
main
October 8, 2023 13:41 25s
ENH: add --no-ruff argument PR linting #494: Pull request #200 synchronize by redeboer
October 8, 2023 13:37 34s no-ruff
no-ruff
October 8, 2023 13:37 34s
ENH: add --no-ruff argument CI #316: Pull request #200 synchronize by redeboer
October 8, 2023 13:37 1m 43s no-ruff
no-ruff
October 8, 2023 13:37 1m 43s
MAINT: remove redundant Taplo config exclusions (#201) CI #315: Commit fae07fb pushed by redeboer
October 8, 2023 13:37 2m 25s main
main
October 8, 2023 13:37 2m 25s
MAINT: remove redundant Taplo config exclusions Clean caches #87: Pull request #201 closed by redeboer
October 8, 2023 13:37 12s cleanup-taplo-config
cleanup-taplo-config
October 8, 2023 13:37 12s
MAINT: remove redundant Taplo config exclusions (#201) Release Drafter #454: Commit fae07fb pushed by redeboer
October 8, 2023 13:37 23s main
main
October 8, 2023 13:37 23s
MAINT: remove redundant Taplo config exclusions CI #314: Pull request #201 opened by redeboer
October 8, 2023 13:09 1m 27s cleanup-taplo-config
cleanup-taplo-config
October 8, 2023 13:09 1m 27s
MAINT: remove redundant Taplo config exclusions PR linting #492: Pull request #201 opened by redeboer
October 8, 2023 13:09 38s cleanup-taplo-config
cleanup-taplo-config
October 8, 2023 13:09 38s
MAINT: remove redundant Taplo config exclusions PR linting #493: Pull request #201 labeled by redeboer
October 8, 2023 13:09 32s cleanup-taplo-config
cleanup-taplo-config
October 8, 2023 13:09 32s
ENH: add --no-ruff argument CI #313: Pull request #200 opened by redeboer
October 8, 2023 13:07 1m 38s no-ruff
no-ruff
October 8, 2023 13:07 1m 38s
ENH: add --no-ruff argument PR linting #490: Pull request #200 opened by redeboer
October 8, 2023 13:07 35s no-ruff
no-ruff
October 8, 2023 13:07 35s
ENH: add --no-ruff argument PR linting #491: Pull request #200 labeled by redeboer
October 8, 2023 13:07 45s no-ruff
no-ruff
October 8, 2023 13:07 45s
ENH: add option to not update GitHub Actions CI #312: Pull request #199 opened by redeboer
October 8, 2023 13:04 1m 24s no-github-actions
no-github-actions
October 8, 2023 13:04 1m 24s
ENH: add option to not update GitHub Actions PR linting #488: Pull request #199 labeled by redeboer
October 8, 2023 13:04 41s no-github-actions
no-github-actions
October 8, 2023 13:04 41s
ENH: add option to not update GitHub Actions PR linting #489: Pull request #199 opened by redeboer
October 8, 2023 13:04 42s no-github-actions
no-github-actions
October 8, 2023 13:04 42s
FIX: create .github/workflows directory if non-existent (#198) CI #311: Commit 1ae3de7 pushed by redeboer
October 6, 2023 22:10 2m 4s main
main
October 6, 2023 22:10 2m 4s
FIX: create .github/workflows directory if non-existent Clean caches #86: Pull request #198 closed by redeboer
October 6, 2023 22:10 13s create-github-workflows-dir
create-github-workflows-dir
October 6, 2023 22:10 13s
FIX: create .github/workflows directory if non-existent (#198) Release Drafter #453: Commit 1ae3de7 pushed by redeboer
October 6, 2023 22:10 25s main
main
October 6, 2023 22:10 25s
FIX: create .github/workflows directory if non-existent PR linting #486: Pull request #198 opened by redeboer
October 6, 2023 22:09 27s create-github-workflows-dir
create-github-workflows-dir
October 6, 2023 22:09 27s
FIX: create .github/workflows directory if non-existent PR linting #487: Pull request #198 labeled by redeboer
October 6, 2023 22:09 28s create-github-workflows-dir
create-github-workflows-dir
October 6, 2023 22:09 28s
FIX: create .github/workflows directory if non-existent CI #310: Pull request #198 opened by redeboer
October 6, 2023 22:09 1m 17s create-github-workflows-dir
create-github-workflows-dir
October 6, 2023 22:09 1m 17s
ENH: sort JSON document case-insensitive (#197) CI #309: Commit 1042c08 pushed by redeboer
October 6, 2023 15:07 1m 29s main
main
October 6, 2023 15:07 1m 29s