Skip to content

Actions: swcarpentry/shell-novice

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
422 workflow runs
422 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment
pages-build-deployment #109: by github-pages bot
November 10, 2023 06:51 32s gh-pages
November 10, 2023 06:51 32s
Bot: Remove Temporary PR Branch
Bot: Remove Temporary PR Branch #31: completed by bkmgit
November 10, 2023 06:49 15s
November 10, 2023 06:49 15s
Correct formatting
Bot: Send Close Pull Request Signal #32: Pull request #1443 closed by bkmgit
November 10, 2023 06:49 11s cknuepfer:cknuepfer-patch-2
November 10, 2023 06:49 11s
Merge pull request #1443 from cknuepfer/cknuepfer-patch-2
01 Build and Deploy Site #59: Commit c07b432 pushed by bkmgit
November 10, 2023 06:49 2m 7s main
November 10, 2023 06:49 2m 7s
Bot: Comment on the Pull Request
Bot: Comment on the Pull Request #42: completed by cknuepfer
November 10, 2023 06:21 48s
November 10, 2023 06:21 48s
Correct formatting
Receive Pull Request #53: Pull request #1443 synchronize by cknuepfer
November 10, 2023 06:19 2m 15s cknuepfer:cknuepfer-patch-2
November 10, 2023 06:19 2m 15s
Correct formatting
Pull Request Preflight Check #53: Pull request #1443 synchronize by cknuepfer
November 10, 2023 06:19 18s
November 10, 2023 06:19 18s
Bot: Comment on the Pull Request
Bot: Comment on the Pull Request #41: completed by cknuepfer
November 9, 2023 08:56 4s
November 9, 2023 08:56 4s
Correct formatting
Receive Pull Request #52: Pull request #1443 opened by cknuepfer
November 9, 2023 08:50 6m 16s cknuepfer:cknuepfer-patch-2
November 9, 2023 08:50 6m 16s
Correct formatting
Pull Request Preflight Check #52: Pull request #1443 opened by cknuepfer
November 9, 2023 08:50 13s
November 9, 2023 08:50 13s
pages build and deployment
pages-build-deployment #108: by github-pages bot
November 9, 2023 08:33 36s gh-pages
November 9, 2023 08:33 36s
Bot: Remove Temporary PR Branch
Bot: Remove Temporary PR Branch #30: completed by gcapes
November 9, 2023 08:31 15s
November 9, 2023 08:31 15s
Formulate more clearly
Bot: Send Close Pull Request Signal #31: Pull request #1442 closed by gcapes
November 9, 2023 08:31 12s cknuepfer:cknuepfer-patch-1
November 9, 2023 08:31 12s
Merge pull request #1442 from cknuepfer/cknuepfer-patch-1
01 Build and Deploy Site #58: Commit 9d394c4 pushed by gcapes
November 9, 2023 08:31 1m 48s main
November 9, 2023 08:31 1m 48s
Bot: Comment on the Pull Request
Bot: Comment on the Pull Request #40: completed by cknuepfer
November 9, 2023 07:51 1m 10s
November 9, 2023 07:51 1m 10s
Formulate more clearly
Receive Pull Request #51: Pull request #1442 opened by cknuepfer
November 9, 2023 07:49 1m 37s cknuepfer:cknuepfer-patch-1
November 9, 2023 07:49 1m 37s
Formulate more clearly
Pull Request Preflight Check #51: Pull request #1442 opened by cknuepfer
November 9, 2023 07:49 16s
November 9, 2023 07:49 16s
pages build and deployment
pages-build-deployment #107: by github-pages bot
November 9, 2023 06:28 31s gh-pages
November 9, 2023 06:28 31s
Bot: Remove Temporary PR Branch
Bot: Remove Temporary PR Branch #29: completed by bkmgit
November 9, 2023 06:25 16s
November 9, 2023 06:25 16s
Fixed grammatical typos (#1437)
Bot: Send Close Pull Request Signal #30: Pull request #1440 closed by bkmgit
November 9, 2023 06:24 13s main
November 9, 2023 06:24 13s
Merge pull request #1440 from 392781/main
01 Build and Deploy Site #57: Commit 5bf3172 pushed by bkmgit
November 9, 2023 06:24 3m 52s main
November 9, 2023 06:24 3m 52s
Bot: Comment on the Pull Request
Bot: Comment on the Pull Request #39: completed by 392781
November 9, 2023 06:22 47s
November 9, 2023 06:22 47s
Fixed grammatical typos (#1437)
Receive Pull Request #50: Pull request #1440 opened by 392781
November 8, 2023 18:03 4m 2s main
November 8, 2023 18:03 4m 2s
Fixed grammatical typos (#1437)
Pull Request Preflight Check #50: Pull request #1440 opened by 392781
November 8, 2023 18:03 19s
November 8, 2023 18:03 19s
pages build and deployment
pages-build-deployment #106: by github-pages bot
November 7, 2023 00:23 37s gh-pages
November 7, 2023 00:23 37s
ProTip! You can narrow down the results and go further in time using created:<2023-11-07 or the other filters available.