Skip to content

Actions: cogent3/cogent3.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
53 workflow runs
53 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #77 from GavinHuttley/develop .github/workflows/build_docs.yml #96: Commit 6d8078b pushed by GavinHuttley
December 13, 2023 00:22 13m 42s develop
develop
December 13, 2023 00:22 13m 42s
pages build and deployment pages-build-deployment #20: by github-pages bot
December 12, 2023 23:41 55s
December 12, 2023 23:41 55s
Merge pull request #74 from khiron/devcontainer .github/workflows/build_docs.yml #95: Commit 82135d3 pushed by GavinHuttley
December 12, 2023 23:27 13m 49s develop
develop
December 12, 2023 23:27 13m 49s
pages build and deployment pages-build-deployment #19: by github-pages bot
November 5, 2023 21:42 1m 0s
November 5, 2023 21:42 1m 0s
Merge pull request #71 from khiron/develop .github/workflows/build_docs.yml #94: Commit ffb5150 pushed by GavinHuttley
November 5, 2023 21:28 13m 56s develop
develop
November 5, 2023 21:28 13m 56s
pages build and deployment pages-build-deployment #18: by github-pages bot
October 9, 2023 21:12 1m 8s
October 9, 2023 21:12 1m 8s
Merge pull request #70 from wjjmjh/enhancement .github/workflows/build_docs.yml #93: Commit 41f75ec pushed by GavinHuttley
October 9, 2023 20:54 17m 58s develop
develop
October 9, 2023 20:54 17m 58s
pages build and deployment pages-build-deployment #17: by github-pages bot
October 9, 2023 03:36 1m 0s
October 9, 2023 03:36 1m 0s
Merge pull request #69 from GavinHuttley/develop .github/workflows/build_docs.yml #92: Commit e72df8c pushed by GavinHuttley
October 9, 2023 03:14 21m 52s develop
develop
October 9, 2023 03:14 21m 52s
pages build and deployment pages-build-deployment #16: by github-pages bot
October 9, 2023 00:34 1m 32s
October 9, 2023 00:34 1m 32s
Merge pull request #68 from KatherineCaley/develop .github/workflows/build_docs.yml #91: Commit 1dd86b2 pushed by GavinHuttley
October 9, 2023 00:18 16m 41s develop
develop
October 9, 2023 00:18 16m 41s
pages build and deployment pages-build-deployment #15: by github-pages bot
October 4, 2023 21:52 1m 15s
October 4, 2023 21:52 1m 15s
.github/workflows/build_docs.yml .github/workflows/build_docs.yml #90: Manually run by GavinHuttley
October 4, 2023 21:38 14m 53s develop
develop
October 4, 2023 21:38 14m 53s
pages build and deployment pages-build-deployment #14: by github-pages bot
October 1, 2023 06:17 1m 1s
October 1, 2023 06:17 1m 1s
Merge pull request #66 from GavinHuttley/develop .github/workflows/build_docs.yml #89: Commit 5866c9d pushed by GavinHuttley
October 1, 2023 05:59 18m 28s develop
develop
October 1, 2023 05:59 18m 28s
pages build and deployment pages-build-deployment #13: by github-pages bot
September 27, 2023 06:31 1m 11s
September 27, 2023 06:31 1m 11s
.github/workflows/build_docs.yml .github/workflows/build_docs.yml #88: Manually run by GavinHuttley
September 27, 2023 06:13 17m 56s develop
develop
September 27, 2023 06:13 17m 56s
pages build and deployment pages-build-deployment #12: by github-pages bot
September 24, 2023 23:20 57s
September 24, 2023 23:20 57s
Merge pull request #65 from GavinHuttley/develop .github/workflows/build_docs.yml #87: Commit 3a61024 pushed by GavinHuttley
September 24, 2023 23:00 19m 50s develop
develop
September 24, 2023 23:00 19m 50s
pages build and deployment pages-build-deployment #11: by github-pages bot
September 23, 2023 08:59 1m 6s
September 23, 2023 08:59 1m 6s
Merge pull request #64 from GavinHuttley/develop .github/workflows/build_docs.yml #86: Commit f4a1c96 pushed by GavinHuttley
September 23, 2023 08:44 14m 46s develop
develop
September 23, 2023 08:44 14m 46s
Merge pull request #63 from GavinHuttley/develop .github/workflows/build_docs.yml #85: Commit 4518b89 pushed by GavinHuttley
September 23, 2023 08:09 10m 10s develop
develop
September 23, 2023 08:09 10m 10s
pages build and deployment pages-build-deployment #10: by github-pages bot
September 23, 2023 08:04 1m 6s
September 23, 2023 08:04 1m 6s
Merge pull request #62 from GavinHuttley/develop .github/workflows/build_docs.yml #84: Commit f58bc6d pushed by GavinHuttley
September 23, 2023 07:49 14m 49s develop
develop
September 23, 2023 07:49 14m 49s
pages build and deployment pages-build-deployment #9: by github-pages bot
September 23, 2023 01:28 1m 2s
September 23, 2023 01:28 1m 2s