Skip to content

Actions: Singular/Singular-in-browser

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
10 workflow runs
10 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
pages build and deployment pages-build-deployment #3: by github-pages Bot
36s gh-pages
gh-pages
36s
Singular-2026-06-06-2 Build Singular in Browser #7: Release Singular-2026-06-06-2 published by jankoboehm
32m 7s
32m 7s
syntax highlighting and terminal stuff Build Singular in Browser #6: Pull request #4 opened by jankoboehm
33m 27s jankoboehm:main
jankoboehm:main
33m 27s
pages build and deployment pages-build-deployment #2: by github-pages Bot
34s gh-pages
gh-pages
34s
Singular-2026-06-06 Build Singular in Browser #5: Release Test-Singular-2026-06-06 published by jankoboehm
34m 20s
34m 20s
Fix signing issues Build Singular in Browser #4: Pull request #2 synchronize by jankoboehm
32m 31s jankoboehm:main
jankoboehm:main
32m 31s
Fix signing issues Build Singular in Browser #3: Pull request #2 opened by jankoboehm
35m 25s jankoboehm:main
jankoboehm:main
35m 25s
pages build and deployment pages-build-deployment #1: by jankoboehm
44s gh-pages
gh-pages
44s
Singular-2026-06-05 Build Singular in Browser #2: Release Singular-2026-06-05 published by jankoboehm
32m 33s
32m 33s
Build Singular in Browser Build Singular in Browser #1: Manually run by jankoboehm
30m 33s main
main
30m 33s