Skip to content

Actions: gap-packages/ClassicalMaximals

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
282 workflow runs
282 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 #2: by github-pages Bot
39s gh-pages
gh-pages
39s
Release Release #3: Manually run by fingolfin
3m 18s main
main
3m 18s
Version 1.1 (#175) Docs #136: Commit 29bba50 pushed by fingolfin
2m 10s main
main
2m 10s
Version 1.1 (#175) CI #740: Commit 29bba50 pushed by fingolfin
39m 17s main
main
39m 17s
Version 1.1 CI #739: Pull request #175 opened by fingolfin
37m 42s mh/1.1
mh/1.1
37m 42s
Version 1.1 Docs #135: Pull request #175 opened by fingolfin
2m 3s mh/1.1
mh/1.1
2m 3s
Use quick CI tests in package distro (#174) CI #738: Commit 78d94fe pushed by fingolfin
36m 10s main
main
36m 10s
Use quick CI tests in package distro (#174) Docs #134: Commit 78d94fe pushed by fingolfin
2m 10s main
main
2m 10s
Use quick CI tests in package distro Docs #133: Pull request #174 opened by fingolfin
2m 18s mh/testquick
mh/testquick
2m 18s
Use quick CI tests in package distro CI #737: Pull request #174 opened by fingolfin
38m 53s mh/testquick
mh/testquick
38m 53s
CI: also run tests only with needed dependencies (#173) CI #736: Commit 01fc185 pushed by fingolfin
37m 4s main
main
37m 4s
CI: also run tests only with needed dependencies (#173) Docs #132: Commit 01fc185 pushed by fingolfin
2m 27s main
main
2m 27s
CI: also run tests only with needed dependencies CI #735: Pull request #173 synchronize by fingolfin
36m 21s mh/ci-onlyneeded
mh/ci-onlyneeded
36m 21s
CI: also run tests only with needed dependencies Docs #131: Pull request #173 synchronize by fingolfin
2m 25s mh/ci-onlyneeded
mh/ci-onlyneeded
2m 25s
Update Makefile Docs #130: Commit d972d32 pushed by fingolfin
2m 40s main
main
2m 40s
Update Makefile CI #734: Commit d972d32 pushed by fingolfin
18m 40s main
main
18m 40s
Declare recog as needed package and remove unnecessary dependencies (… Docs #129: Commit 4e256da pushed by fingolfin
2m 10s main
main
2m 10s
Declare recog as needed package and remove unnecessary dependencies (… CI #733: Commit 4e256da pushed by fingolfin
18m 42s main
main
18m 42s
CI: also run tests only with needed dependencies Docs #128: Pull request #173 opened by fingolfin
2m 8s mh/ci-onlyneeded
mh/ci-onlyneeded
2m 8s
CI: also run tests only with needed dependencies CI #732: Pull request #173 opened by fingolfin
20m 10s mh/ci-onlyneeded
mh/ci-onlyneeded
20m 10s
Remove remaining ValueOption usage from test code (#171) CI #731: Commit c032a8d pushed by fingolfin
18m 42s main
main
18m 42s
Remove remaining ValueOption usage from test code (#171) Docs #127: Commit c032a8d pushed by fingolfin
2m 21s main
main
2m 21s
Declare recog as needed package and remove unnecessary dependencies CI #730: Pull request #172 opened by chseeger
18m 49s chseeger:cs/undeclaredRecogDependency
chseeger:cs/undeclaredRecogDependency
18m 49s
Declare recog as needed package and remove unnecessary dependencies Docs #126: Pull request #172 opened by chseeger
3m 6s chseeger:cs/undeclaredRecogDependency
chseeger:cs/undeclaredRecogDependency
3m 6s
Adapt ModularReductionOfIntegralLattice tests after option record refactor Docs #125: Pull request #171 opened by chseeger
2m 1s chseeger:cs/removeFinalValueOptionUsage
chseeger:cs/removeFinalValueOptionUsage
2m 1s