Skip to content

Actions: mathdiagrams/mathdiagrams.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
120 workflow runs
120 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #57: by github-pages bot
January 31, 2024 16:36 32s
January 31, 2024 16:36 32s
chore: deselect button and build-time search index Deploy to GitHub Pages #18: Commit d64ba72 pushed by wodeni
January 31, 2024 16:35 42s main
main
January 31, 2024 16:35 42s
pages build and deployment pages-build-deployment #56: by github-pages bot
December 23, 2023 17:14 35s
December 23, 2023 17:14 35s
pages build and deployment pages-build-deployment #55: by github-pages bot
December 23, 2023 17:14 14s
December 23, 2023 17:14 14s
feat: filter search result by domain (#20) Deploy to GitHub Pages #17: Commit dacb330 pushed by wodeni
December 23, 2023 17:13 40s main
main
December 23, 2023 17:13 40s
feat: filter search result by domain Deploy PR previews #45: Pull request #20 closed by wodeni
December 23, 2023 17:13 49s search-by-domain
search-by-domain
December 23, 2023 17:13 49s
pages build and deployment pages-build-deployment #54: by github-pages bot
December 23, 2023 06:38 37s
December 23, 2023 06:38 37s
feat: filter search result by domain Deploy PR previews #44: Pull request #20 synchronize by wodeni
December 23, 2023 06:37 46s search-by-domain
search-by-domain
December 23, 2023 06:37 46s
pages build and deployment pages-build-deployment #53: by github-pages bot
December 23, 2023 06:31 34s
December 23, 2023 06:31 34s
feat: filter search result by domain Deploy PR previews #43: Pull request #20 opened by wodeni
December 23, 2023 06:30 48s search-by-domain
search-by-domain
December 23, 2023 06:30 48s
pages build and deployment pages-build-deployment #52: by github-pages bot
December 23, 2023 05:21 35s
December 23, 2023 05:21 35s
pages build and deployment pages-build-deployment #51: by github-pages bot
December 23, 2023 05:21 20s
December 23, 2023 05:21 20s
feat: minimal search engine Deploy PR previews #42: Pull request #19 closed by wodeni
December 23, 2023 05:20 58s search
search
December 23, 2023 05:20 58s
feat: minimal search engine (#19) Deploy to GitHub Pages #16: Commit d65ca01 pushed by wodeni
December 23, 2023 05:20 39s main
main
December 23, 2023 05:20 39s
pages build and deployment pages-build-deployment #50: by github-pages bot
December 23, 2023 05:19 38s
December 23, 2023 05:19 38s
feat: minimal search engine Deploy PR previews #41: Pull request #19 synchronize by wodeni
December 23, 2023 05:18 49s search
search
December 23, 2023 05:18 49s
pages build and deployment pages-build-deployment #49: by github-pages bot
December 23, 2023 05:11 37s
December 23, 2023 05:11 37s
feat: minimal search engine Deploy PR previews #40: Pull request #19 opened by wodeni
December 23, 2023 05:10 1m 0s search
search
December 23, 2023 05:10 1m 0s
pages build and deployment pages-build-deployment #48: by github-pages bot
December 22, 2023 17:55 29s
December 22, 2023 17:55 29s
pages build and deployment pages-build-deployment #47: by github-pages bot
December 22, 2023 17:55 7s
December 22, 2023 17:55 7s
pages build and deployment pages-build-deployment #46: by github-pages bot
December 22, 2023 17:55 6s
December 22, 2023 17:55 6s
chore: don't skip segments in 404.html Deploy PR previews #39: Pull request #18 closed by wodeni
December 22, 2023 17:54 50s clean-404
clean-404
December 22, 2023 17:54 50s
chore: don't skip segments in 404.html (#18) Deploy to GitHub Pages #15: Commit 6414ee2 pushed by wodeni
December 22, 2023 17:54 36s main
main
December 22, 2023 17:54 36s
chore: don't skip segments in 404.html Deploy PR previews #38: Pull request #18 opened by wodeni
December 22, 2023 17:54 52s clean-404
clean-404
December 22, 2023 17:54 52s
pages build and deployment pages-build-deployment #45: by github-pages bot
December 22, 2023 17:52 34s
December 22, 2023 17:52 34s