Skip to content

Actions: homalg-project/homalg-project.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
16 workflow runs
16 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #70: by mohamed-barakat
August 23, 2025 16:13 59s gh-pages
gh-pages
August 23, 2025 16:13 59s
resolve https://github.com/homalg-project/homalg-project.github.io/is… check-spelling #2: Commit 710d0b2 pushed by mohamed-barakat
August 23, 2025 16:06 Failure gh-pages
gh-pages
August 23, 2025 16:06 Failure
pages build and deployment pages-build-deployment #69: by mohamed-barakat
August 23, 2025 16:06 38s gh-pages
gh-pages
August 23, 2025 16:06 38s
applied PackageJanitor and added 3 new packages: check-spelling #1: Commit 88266fc pushed by mohamed-barakat
August 23, 2025 15:46 Failure gh-pages
gh-pages
August 23, 2025 15:46 Failure
pages build and deployment pages-build-deployment #68: by mohamed-barakat
August 23, 2025 15:46 35s gh-pages
gh-pages
August 23, 2025 15:46 35s
pages build and deployment pages-build-deployment #67: by mohamed-barakat
July 22, 2025 09:15 37s gh-pages
gh-pages
July 22, 2025 09:15 37s
pages build and deployment pages-build-deployment #66: by mohamed-barakat
July 2, 2025 13:39 54s gh-pages
gh-pages
July 2, 2025 13:39 54s
pages build and deployment pages-build-deployment #65: by mohamed-barakat
July 1, 2025 21:20 39s gh-pages
gh-pages
July 1, 2025 21:20 39s
pages build and deployment pages-build-deployment #64: by mohamed-barakat
June 10, 2025 14:23 51s gh-pages
gh-pages
June 10, 2025 14:23 51s
pages build and deployment pages-build-deployment #63: by mohamed-barakat
April 8, 2025 12:36 36s gh-pages
gh-pages
April 8, 2025 12:36 36s
pages build and deployment pages-build-deployment #62: by mohamed-barakat
March 27, 2025 06:41 37s gh-pages
gh-pages
March 27, 2025 06:41 37s
pages build and deployment pages-build-deployment #61: by mohamed-barakat
March 26, 2025 20:01 37s gh-pages
gh-pages
March 26, 2025 20:01 37s
pages build and deployment pages-build-deployment #60: by mohamed-barakat
March 26, 2025 17:23 42s gh-pages
gh-pages
March 26, 2025 17:23 42s
pages build and deployment pages-build-deployment #59: by mohamed-barakat
March 26, 2025 08:46 41s gh-pages
gh-pages
March 26, 2025 08:46 41s
pages build and deployment pages-build-deployment #58: by mohamed-barakat
January 14, 2025 12:41 37s gh-pages
gh-pages
January 14, 2025 12:41 37s
pages build and deployment pages-build-deployment #57: by mohamed-barakat
September 29, 2024 14:54 43s gh-pages
gh-pages
September 29, 2024 14:54 43s