Skip to content

Actions: LibraryCarpentry/lc-shell

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
429 workflow runs
429 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bot: Remove Temporary PR Branch
Bot: Remove Temporary PR Branch #4: completed by kaitlinnewson
August 22, 2023 15:11 16s
August 22, 2023 15:11 16s
Update 05-counting-mining.md with man date solution
Bot: Send Close Pull Request Signal #4: Pull request #229 closed by kaitlinnewson
August 22, 2023 15:11 12s alex-ball:patch-1
August 22, 2023 15:11 12s
Merge pull request #229 from alex-ball/patch-1
01 Build and Deploy Site #21: Commit 24c557a pushed by kaitlinnewson
August 22, 2023 15:11 1m 59s main
August 22, 2023 15:11 1m 59s
pages build and deployment
pages-build-deployment #40: by github-pages bot
August 22, 2023 15:10 1m 1s
August 22, 2023 15:10 1m 1s
Bot: Remove Temporary PR Branch
Bot: Remove Temporary PR Branch #3: completed by kaitlinnewson
August 22, 2023 15:09 15s
August 22, 2023 15:09 15s
Merge pull request #236 from LibraryCarpentry/kaitlinnewson-patch-1
01 Build and Deploy Site #20: Commit d890f87 pushed by kaitlinnewson
August 22, 2023 15:08 1m 32s main
August 22, 2023 15:08 1m 32s
Remove broken/deprecated Gitter link
Bot: Send Close Pull Request Signal #3: Pull request #236 closed by kaitlinnewson
August 22, 2023 15:08 13s kaitlinnewson-patch-1
August 22, 2023 15:08 13s
Bot: Comment on the Pull Request
Bot: Comment on the Pull Request #5: completed by kaitlinnewson
August 22, 2023 15:07 55s
August 22, 2023 15:07 55s
Remove broken/deprecated Gitter link
Receive Pull Request #6: Pull request #236 opened by kaitlinnewson
August 22, 2023 15:05 2m 23s kaitlinnewson-patch-1
August 22, 2023 15:05 2m 23s
Remove broken/deprecated Gitter link
Pull Request Preflight Check #6: Pull request #236 opened by kaitlinnewson
August 22, 2023 15:05 19s
August 22, 2023 15:05 19s
pages build and deployment
pages-build-deployment #39: by github-pages bot
August 22, 2023 14:54 1m 7s
August 22, 2023 14:54 1m 7s
pages build and deployment
pages-build-deployment #38: by github-pages bot
August 22, 2023 14:53 1m 0s
August 22, 2023 14:53 1m 0s
Bot: Remove Temporary PR Branch
Bot: Remove Temporary PR Branch #2: completed by kaitlinnewson
August 22, 2023 14:52 13s
August 22, 2023 14:52 13s
Update link to local build instructions
Bot: Send Close Pull Request Signal #2: Pull request #231 closed by kaitlinnewson
August 22, 2023 14:52 15s local-build-docs
August 22, 2023 14:52 15s
Merge pull request #231 from LibraryCarpentry/local-build-docs
01 Build and Deploy Site #19: Commit 61645a1 pushed by kaitlinnewson
August 22, 2023 14:52 1m 48s main
August 22, 2023 14:52 1m 48s
Bot: Remove Temporary PR Branch
Bot: Remove Temporary PR Branch #1: completed by kaitlinnewson
August 22, 2023 14:51 14s
August 22, 2023 14:51 14s
Merge pull request #233 from JCSzamosi/clarify-contrib-links
01 Build and Deploy Site #18: Commit 160f975 pushed by kaitlinnewson
August 22, 2023 14:51 1m 41s main
August 22, 2023 14:51 1m 41s
Clarify issues links in CONTRIBUTING.md
Bot: Send Close Pull Request Signal #1: Pull request #233 closed by kaitlinnewson
August 22, 2023 14:51 12s JCSzamosi:clarify-contrib-links
August 22, 2023 14:51 12s
02 Maintain: Update Workflow Files
02 Maintain: Update Workflow Files #16: Scheduled
August 22, 2023 00:14 32s main
August 22, 2023 00:14 32s
03 Maintain: Update Package Cache
03 Maintain: Update Package Cache #16: Scheduled
August 22, 2023 00:09 12s main
August 22, 2023 00:09 12s
pages build and deployment
pages-build-deployment #37: by github-pages bot
August 22, 2023 00:06 59s
August 22, 2023 00:06 59s
01 Build and Deploy Site
01 Build and Deploy Site #17: Scheduled
August 22, 2023 00:04 1m 46s main
August 22, 2023 00:04 1m 46s
02 Maintain: Update Workflow Files
02 Maintain: Update Workflow Files #15: Scheduled
August 15, 2023 00:14 27s main
August 15, 2023 00:14 27s
03 Maintain: Update Package Cache
03 Maintain: Update Package Cache #15: Scheduled
August 15, 2023 00:09 11s main
August 15, 2023 00:09 11s
pages build and deployment
pages-build-deployment #36: by github-pages bot
August 15, 2023 00:08 49s
August 15, 2023 00:08 49s
ProTip! You can narrow down the results and go further in time using created:<2023-08-15 or the other filters available.