Skip to content

Actions: numerical-semigroups/wiki

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
17 workflow runs
17 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #8: by github-pages bot
22s gh-pages
gh-pages
22s
fixing more links (capitalization) Quarto Publish #9: Commit 2a08a68 pushed by pedritomelenas
3m 12s main
main
3m 12s
pages build and deployment pages-build-deployment #7: by github-pages bot
23s gh-pages
gh-pages
23s
pages build and deployment pages-build-deployment #6: by github-pages bot
24s gh-pages
gh-pages
24s
Delete Fact-and-Div directory Quarto Publish #8: Commit 628e9ed pushed by pedritomelenas
3m 25s main
main
3m 25s
trying to reslve proble with capital Div Quarto Publish #7: Commit c4de689 pushed by pedritomelenas
3m 40s main
main
3m 40s
pages build and deployment pages-build-deployment #5: by github-pages bot
23s gh-pages
gh-pages
23s
change name Fact-and-div Quarto Publish #6: Commit b5a15ad pushed by pedritomelenas
3m 8s main
main
3m 8s
pages build and deployment pages-build-deployment #4: by github-pages bot
24s gh-pages
gh-pages
24s
problem with "Fact-and-Div" Quarto Publish #5: Commit b07c39e pushed by pedritomelenas
3m 30s main
main
3m 30s
pages build and deployment pages-build-deployment #3: by github-pages bot
30s gh-pages
gh-pages
30s
fix broken links Quarto Publish #4: Commit dadf85f pushed by pedritomelenas
3m 13s main
main
3m 13s
pages build and deployment pages-build-deployment #2: by github-pages bot
24s gh-pages
gh-pages
24s
added github navbar menu Quarto Publish #3: Commit 04c9f94 pushed by pedritomelenas
3m 12s main
main
3m 12s
pages build and deployment pages-build-deployment #1: by pedritomelenas
29s gh-pages
gh-pages
29s
Quarto Publish Quarto Publish #2: Manually run by pedritomelenas
3m 18s main
main
3m 18s
Quarto Publish Quarto Publish #1: Manually run by pedritomelenas
3m 15s main
main
3m 15s