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

pages build and deployment pages-build-deployment #33: by github-pages bot
October 31, 2024 21:22 37s
October 31, 2024 21:22 37s
.github/workflows/build_docs.yml .github/workflows/build_docs.yml #108: Manually run by GavinHuttley
October 31, 2024 21:05 16m 50s develop
develop
October 31, 2024 21:05 16m 50s
pages build and deployment pages-build-deployment #32: by github-pages bot
October 26, 2024 00:05 34s
October 26, 2024 00:05 34s
Merge pull request #84 from GavinHuttley/develop .github/workflows/build_docs.yml #107: Commit ee34d46 pushed by GavinHuttley
October 25, 2024 23:49 16m 13s develop
develop
October 25, 2024 23:49 16m 13s
pages build and deployment pages-build-deployment #31: by github-pages bot
October 23, 2024 01:40 32s
October 23, 2024 01:40 32s
Merge pull request #83 from GavinHuttley/develop .github/workflows/build_docs.yml #106: Commit 92cd8ba pushed by GavinHuttley
October 23, 2024 01:24 16m 33s develop
develop
October 23, 2024 01:24 16m 33s
pages build and deployment pages-build-deployment #30: by github-pages bot
September 19, 2024 07:56 33s
September 19, 2024 07:56 33s
Merge pull request #82 from GavinHuttley/develop .github/workflows/build_docs.yml #105: Commit 140e754 pushed by GavinHuttley
September 19, 2024 07:40 16m 35s develop
develop
September 19, 2024 07:40 16m 35s
pages build and deployment pages-build-deployment #29: by github-pages bot
August 9, 2024 02:41 30s
August 9, 2024 02:41 30s
.github/workflows/build_docs.yml .github/workflows/build_docs.yml #104: Manually run by GavinHuttley
August 9, 2024 02:24 17m 16s develop
develop
August 9, 2024 02:24 17m 16s
pages build and deployment pages-build-deployment #28: by github-pages bot
July 26, 2024 06:27 41s
July 26, 2024 06:27 41s
.github/workflows/build_docs.yml .github/workflows/build_docs.yml #103: Manually run by GavinHuttley
July 26, 2024 06:07 19m 28s develop
develop
July 26, 2024 06:07 19m 28s
pages build and deployment pages-build-deployment #27: by github-pages bot
July 26, 2024 04:40 35s
July 26, 2024 04:40 35s
.github/workflows/build_docs.yml .github/workflows/build_docs.yml #102: Manually run by GavinHuttley
July 26, 2024 04:24 16m 29s develop
develop
July 26, 2024 04:24 16m 29s
pages build and deployment pages-build-deployment #26: by github-pages bot
July 19, 2024 06:40 34s
July 19, 2024 06:40 34s
Merge pull request #81 from GavinHuttley/develop .github/workflows/build_docs.yml #101: Commit e15c84a pushed by GavinHuttley
July 19, 2024 06:10 17m 20s develop
develop
July 19, 2024 06:10 17m 20s
pages build and deployment pages-build-deployment #25: by github-pages bot
May 7, 2024 22:23 34s
May 7, 2024 22:23 34s
Merge pull request #79 from GavinHuttley/develop .github/workflows/build_docs.yml #100: Commit 59007cd pushed by GavinHuttley
May 7, 2024 22:05 18m 21s develop
develop
May 7, 2024 22:05 18m 21s
pages build and deployment pages-build-deployment #24: by github-pages bot
May 7, 2024 21:27 38s
May 7, 2024 21:27 38s
.github/workflows/build_docs.yml .github/workflows/build_docs.yml #99: Manually run by GavinHuttley
May 7, 2024 21:09 18m 11s develop
develop
May 7, 2024 21:09 18m 11s
pages build and deployment pages-build-deployment #23: by github-pages bot
February 5, 2024 00:32 41s
February 5, 2024 00:32 41s
Merge pull request #78 from GavinHuttley/develop .github/workflows/build_docs.yml #98: Commit 82ef2ec pushed by GavinHuttley
February 5, 2024 00:17 15m 18s develop
develop
February 5, 2024 00:17 15m 18s
pages build and deployment pages-build-deployment #22: by github-pages bot
December 15, 2023 03:10 1m 24s
December 15, 2023 03:10 1m 24s
.github/workflows/build_docs.yml .github/workflows/build_docs.yml #97: Manually run by GavinHuttley
December 15, 2023 02:56 14m 4s develop
develop
December 15, 2023 02:56 14m 4s
pages build and deployment pages-build-deployment #21: by github-pages bot
December 13, 2023 00:36 1m 9s
December 13, 2023 00:36 1m 9s