Skip to content

Actions: oscar-system/libpolymake-julia

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
47 workflow runs
47 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

wrap more types OscarCI #125: Pull request #61 synchronize by benlorenz
August 12, 2024 14:24 20m 19s bl/moretypes
bl/moretypes
August 12, 2024 14:24 20m 19s
wrap more types Run polymake testsuite #309: Pull request #61 opened by benlorenz
August 12, 2024 13:37 2m 20s bl/moretypes
bl/moretypes
August 12, 2024 13:37 2m 20s
wrap more types OscarCI #124: Pull request #61 opened by benlorenz
August 12, 2024 13:37 7m 34s bl/moretypes
bl/moretypes
August 12, 2024 13:37 7m 34s
bump minor version Run polymake testsuite #308: Commit c50da37 pushed by benlorenz
May 31, 2024 13:12 28m 1s master
master
May 31, 2024 13:12 28m 1s
Merge pull request #60 from oscar-system/bl/decoration Run polymake testsuite #307: Commit f7fb433 pushed by benlorenz
May 31, 2024 12:59 11m 53s master
master
May 31, 2024 12:59 11m 53s
various improvements: add decoration type, improve tropicalnumber, some graph stuff OscarCI #123: Pull request #60 synchronize by benlorenz
May 31, 2024 10:32 3h 47m 35s bl/decoration
bl/decoration
May 31, 2024 10:32 3h 47m 35s
various improvements: add decoration type, improve tropicalnumber, some graph stuff Run polymake testsuite #306: Pull request #60 synchronize by benlorenz
May 31, 2024 10:32 14m 40s bl/decoration
bl/decoration
May 31, 2024 10:32 14m 40s
various improvements: add decoration type, improve tropicalnumber, some graph stuff Run polymake testsuite #305: Pull request #60 synchronize by benlorenz
May 28, 2024 10:47 14m 4s bl/decoration
bl/decoration
May 28, 2024 10:47 14m 4s
various improvements: add decoration type, improve tropicalnumber, some graph stuff OscarCI #122: Pull request #60 synchronize by benlorenz
May 28, 2024 10:47 3h 40m 46s bl/decoration
bl/decoration
May 28, 2024 10:47 3h 40m 46s
various improvements: add decoration type, improve tropicalnumber, some graph stuff Run polymake testsuite #304: Pull request #60 synchronize by benlorenz
May 24, 2024 12:30 13m 10s bl/decoration
bl/decoration
May 24, 2024 12:30 13m 10s
various improvements: add decoration type, improve tropicalnumber, some graph stuff OscarCI #121: Pull request #60 synchronize by benlorenz
May 24, 2024 12:30 14m 36s bl/decoration
bl/decoration
May 24, 2024 12:30 14m 36s
various improvements: add decoration type, improve tropicalnumber, some graph stuff OscarCI #120: Pull request #60 synchronize by benlorenz
May 24, 2024 11:19 9m 29s bl/decoration
bl/decoration
May 24, 2024 11:19 9m 29s
various improvements: add decoration type, improve tropicalnumber, some graph stuff Run polymake testsuite #303: Pull request #60 synchronize by benlorenz
May 24, 2024 11:19 21s bl/decoration
bl/decoration
May 24, 2024 11:19 21s
various improvements: add decoration type, improve tropicalnumber, some graph stuff OscarCI #119: Pull request #60 synchronize by benlorenz
March 28, 2024 13:53 3h 30m 55s bl/decoration
bl/decoration
March 28, 2024 13:53 3h 30m 55s
various improvements: add decoration type, improve tropicalnumber, some graph stuff Run polymake testsuite #302: Pull request #60 synchronize by benlorenz
March 28, 2024 13:53 27m 52s bl/decoration
bl/decoration
March 28, 2024 13:53 27m 52s
various improvements: add decoration type, improve tropicalnumber, some graph stuff Run polymake testsuite #301: Pull request #60 synchronize by benlorenz
March 28, 2024 13:50 1s bl/decoration
bl/decoration
March 28, 2024 13:50 1s
various improvements: add decoration type, improve tropicalnumber, some graph stuff OscarCI #118: Pull request #60 synchronize by benlorenz
March 28, 2024 13:50 3m 26s bl/decoration
bl/decoration
March 28, 2024 13:50 3m 26s
various improvements: add decoration type, improve tropicalnumber, some graph stuff Run polymake testsuite #300: Pull request #60 opened by benlorenz
March 28, 2024 13:25 7m 31s bl/decoration
bl/decoration
March 28, 2024 13:25 7m 31s
various improvements: add decoration type, improve tropicalnumber, some graph stuff OscarCI #117: Pull request #60 opened by benlorenz
March 28, 2024 13:25 4m 44s bl/decoration
bl/decoration
March 28, 2024 13:25 4m 44s
Merge pull request #59 from oscar-system/bl/randseed Run polymake testsuite #299: Commit 56a5401 pushed by benlorenz
November 24, 2023 09:09 19m 2s master
master
November 24, 2023 09:09 19m 2s
add helpers to set rand callback OscarCI #116: Pull request #59 opened by benlorenz
November 23, 2023 19:42 2h 34m 54s bl/randseed
bl/randseed
November 23, 2023 19:42 2h 34m 54s
add helpers to set rand callback Run polymake testsuite #298: Pull request #59 opened by benlorenz
November 23, 2023 19:42 16m 23s bl/randseed
bl/randseed
November 23, 2023 19:42 16m 23s