Skip to content

Actions: ido777/system-design-primer-update

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
71 workflow runs
71 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment
pages-build-deployment #46: by github-pages bot
May 20, 2025 22:01 27s gh-pages
May 20, 2025 22:01 27s
Revise system design documentation: expand the introduction to web ap…
Deploy MkDocs to GitHub Pages #15: Commit 2e69a95 pushed by ido777
May 20, 2025 22:01 38s main
May 20, 2025 22:01 38s
pages build and deployment
pages-build-deployment #45: by github-pages bot
May 20, 2025 21:03 30s gh-pages
May 20, 2025 21:03 30s
Refactor mkdocs.yml navigation structure: consolidate system design a…
Deploy MkDocs to GitHub Pages #14: Commit f6c5b8c pushed by ido777
May 20, 2025 21:03 32s main
May 20, 2025 21:03 32s
pages build and deployment
pages-build-deployment #44: by github-pages bot
May 20, 2025 20:50 29s gh-pages
May 20, 2025 20:50 29s
Enhance mkdocs configuration and documentation structure: add new mar…
Deploy MkDocs to GitHub Pages #13: Commit ee96c49 pushed by ido777
May 20, 2025 20:50 34s main
May 20, 2025 20:50 34s
pages build and deployment
pages-build-deployment #43: by github-pages bot
May 20, 2025 13:05 31s gh-pages
May 20, 2025 13:05 31s
Update mkdocs.yml configuration: fix site_url formatting, enable git-…
Deploy MkDocs to GitHub Pages #12: Commit b91fd46 pushed by ido777
May 20, 2025 13:04 32s main
May 20, 2025 13:04 32s
pages build and deployment
pages-build-deployment #42: by github-pages bot
May 20, 2025 12:52 42s gh-pages
May 20, 2025 12:52 42s
Update deployment workflow to include mkdocstrings for enhanced docum…
Deploy MkDocs to GitHub Pages #11: Commit 1fdb288 pushed by ido777
May 20, 2025 12:52 35s main
May 20, 2025 12:52 35s
Update mkdocs configuration and restructure documentation navigation;…
Deploy MkDocs to GitHub Pages #10: Commit e41d4a8 pushed by ido777
May 20, 2025 12:41 21s main
May 20, 2025 12:41 21s
pages build and deployment
pages-build-deployment #41: by github-pages bot
May 20, 2025 09:09 27s gh-pages
May 20, 2025 09:09 27s
chore: isolate each section into its own file with preserved history
Deploy MkDocs to GitHub Pages #9: Commit 412b90d pushed by ido777
May 20, 2025 09:08 38s main
May 20, 2025 09:08 38s
pages build and deployment
pages-build-deployment #40: by github-pages bot
May 20, 2025 06:29 32s gh-pages
May 20, 2025 06:29 32s
Update image paths in documentation for consistency across languages
Deploy MkDocs to GitHub Pages #8: Commit 577a13f pushed by ido777
May 20, 2025 06:28 33s main
May 20, 2025 06:28 33s
pages build and deployment
pages-build-deployment #39: by github-pages bot
May 19, 2025 21:50 27s gh-pages
May 19, 2025 21:50 27s
Refactor MkDocs configuration to improve navigation (#536)
Deploy MkDocs to GitHub Pages #7: Commit 6bc04b2 pushed by ido777
May 19, 2025 21:49 32s main
May 19, 2025 21:49 32s
pages build and deployment
pages-build-deployment #38: by github-pages bot
May 19, 2025 21:12 25s gh-pages
May 19, 2025 21:12 25s
Add Giscus comments integration and update MkDocs configuration
Deploy MkDocs to GitHub Pages #6: Commit d7c2084 pushed by ido777
May 19, 2025 21:12 32s main
May 19, 2025 21:12 32s
pages build and deployment
pages-build-deployment #37: by github-pages bot
May 19, 2025 10:25 25s gh-pages
May 19, 2025 10:25 25s
Update deploy_to_pages.yml
Deploy MkDocs to GitHub Pages #5: Commit 7d43efb pushed by ido777
May 19, 2025 10:24 43s main
May 19, 2025 10:24 43s
debug (#533)
Deploy MkDocs to GitHub Pages #4: Commit 0b4441e pushed by ido777
May 19, 2025 10:21 17s main
May 19, 2025 10:21 17s
Update MkDocs configuration to enhance internationalization support
Deploy MkDocs to GitHub Pages #3: Commit f129e7d pushed by ido777
May 19, 2025 10:13 26s main
May 19, 2025 10:13 26s
Enhance MkDocs configuration with new site details and theme options
Deploy MkDocs to GitHub Pages #2: Commit c5b894c pushed by ido777
May 19, 2025 10:06 18s main
May 19, 2025 10:06 18s
Add new GitHub Actions workflow for MkDocs deployment
Deploy MkDocs to GitHub Pages #1: Commit ade6931 pushed by ido777
May 19, 2025 10:00 17s main
May 19, 2025 10:00 17s