Workflow runs · Singular/Singular

Actions

All workflows
Workflows
- CI with Oscar CI with Oscar
- CI with Oscar (full test suite) CI with Oscar (full test suite)
- CI with Singular.jl CI with Singular.jl
- Copilot code review Copilot code review
- Dependabot Updates Dependabot Updates
- Dependency Graph Dependency Graph
- Lint Lint
- Run all Singular tests Run all Singular tests
- Run tests Run tests
- Sage CI Sage CI
Management
- Caches

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

1,030 workflow runs

Merge pull request #1356 from jankoboehm/cimac26 CI with Singular.jl #105: Commit bdb2526 pushed by jankoboehm

19m 24s spielwiese

spielwiese

19m 24s

Merge pull request #1356 from jankoboehm/cimac26 Lint #1264: Commit bdb2526 pushed by jankoboehm

1m 25s spielwiese

spielwiese

1m 25s

Merge pull request #1356 from jankoboehm/cimac26 CI with Oscar #79: Commit bdb2526 pushed by jankoboehm

32m 40s spielwiese

spielwiese

32m 40s

Merge pull request #1356 from jankoboehm/cimac26 Run tests #2492: Commit bdb2526 pushed by jankoboehm

19m 51s spielwiese

spielwiese

19m 51s

Merge pull request #1361 from ederc/prune CI with Oscar #78: Commit 3f7bc6f pushed by ederc

32m 21s spielwiese

spielwiese

32m 21s

Merge pull request #1361 from ederc/prune Lint #1263: Commit 3f7bc6f pushed by ederc

1m 37s spielwiese

spielwiese

1m 37s

Merge pull request #1361 from ederc/prune Run tests #2491: Commit 3f7bc6f pushed by ederc

14m 36s spielwiese

spielwiese

14m 36s

Merge pull request #1361 from ederc/prune CI with Singular.jl #104: Commit 3f7bc6f pushed by ederc

16m 9s spielwiese

spielwiese

16m 9s

PR #1356 - Oscar full (both) CI with Oscar (full test suite) #16: Manually run by jankoboehm

2h 13m 50s spielwiese

spielwiese

2h 13m 50s

spielwiese - Oscar full (both) CI with Oscar (full test suite) #15: Manually run by jankoboehm

2h 22m 46s spielwiese

spielwiese

2h 22m 46s

Merge pull request #1357 from jankoboehm/fulloscarci Lint #1262: Commit ae06fda pushed by wdecker

4m 0s spielwiese

spielwiese

4m 0s

Merge pull request #1357 from jankoboehm/fulloscarci CI with Oscar #77: Commit ae06fda pushed by wdecker

33m 12s spielwiese

spielwiese

33m 12s

Merge pull request #1357 from jankoboehm/fulloscarci CI with Singular.jl #103: Commit ae06fda pushed by wdecker

14m 45s spielwiese

spielwiese

14m 45s

Merge pull request #1357 from jankoboehm/fulloscarci Run tests #2490: Commit ae06fda pushed by wdecker

12m 57s spielwiese

spielwiese

12m 57s

Adds prune including tracing of reduced components Sage CI #434: Pull request #1361 opened by ederc

1h 22m 15s ederc:prune

ederc:prune

1h 22m 15s

Adds prune including tracing of reduced components CI with Oscar #76: Pull request #1361 opened by ederc

33m 44s ederc:prune

ederc:prune

33m 44s

Adds prune including tracing of reduced components Run tests #2489: Pull request #1361 opened by ederc

12m 12s ederc:prune

ederc:prune

12m 12s

Adds prune including tracing of reduced components Lint #1261: Pull request #1361 opened by ederc

1m 17s ederc:prune

ederc:prune

1m 17s

Adds prune including tracing of reduced components CI with Singular.jl #102: Pull request #1361 opened by ederc

11m 16s ederc:prune

ederc:prune

11m 16s

add WebAssembly Build Target Support Sage CI #433: Pull request #1360 opened by wangyenshu