Skip to content

Actions: batfish/batfish.github.io

All workflows

Actions

Loading...

Showing runs from all workflows
14 workflow runs
14 workflow runs
Event

Filter by event

Status

Filter by status

Branch
Actor

Filter by actor

Add sitemap generation (#107)
Pre-commit #33: Commit 36176b4 pushed by ratulm
April 26, 2024 03:51 38s master
April 26, 2024 03:51 38s
pages build and deployment
pages-build-deployment #15: by ratulm
April 26, 2024 03:51 44s
April 26, 2024 03:51 44s
Add sitemap generation
Pre-commit #32: Pull request #107 opened by ratulm
April 26, 2024 03:45 41s sitemap
April 26, 2024 03:45 41s
Create CNAME
Pre-commit #31: Commit 33a6450 pushed by arifogel
February 5, 2024 19:23 34s master
February 5, 2024 19:23 34s
pages build and deployment
pages-build-deployment #14: by arifogel
February 5, 2024 19:23 47s
February 5, 2024 19:23 47s
Delete CNAME
Pre-commit #30: Commit 1d1601f pushed by arifogel
February 5, 2024 19:23 31s master
February 5, 2024 19:23 31s
pages build and deployment
pages-build-deployment #13: by arifogel
February 5, 2024 19:23 11s
February 5, 2024 19:23 11s
Update CNAME
Pre-commit #29: Commit 4ebf7d0 pushed by arifogel
February 5, 2024 19:16 34s master
February 5, 2024 19:16 34s
pages build and deployment
pages-build-deployment #12: by arifogel
February 5, 2024 19:16 51s
February 5, 2024 19:16 51s
pages build and deployment
pages-build-deployment #11: by dhalperi
December 18, 2023 16:40 59s
December 18, 2023 16:40 59s
Move blogs (#106)
Pre-commit #28: Commit 9cbe00c pushed by dhalperi
December 18, 2023 16:40 38s master
December 18, 2023 16:40 38s
Move blogs
Pre-commit #27: Pull request #106 synchronize by ratulm
December 18, 2023 08:57 29s move-blogs
December 18, 2023 08:57 29s
Move blogs
Pre-commit #26: Pull request #106 synchronize by ratulm
December 18, 2023 08:54 31s move-blogs
December 18, 2023 08:54 31s
Move blogs
Pre-commit #25: Pull request #106 opened by ratulm
December 18, 2023 08:52 33s move-blogs
December 18, 2023 08:52 33s