Skip to content

Actions: oscar-system/Polymake.jl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
43 workflow run results
43 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #174: by github-pages bot
September 4, 2023 07:20 1m 13s
September 4, 2023 07:20 1m 13s
pages build and deployment pages-build-deployment #173: by github-pages bot
September 4, 2023 07:19 1m 0s
September 4, 2023 07:19 1m 0s
Merge pull request #451 from lgoettgens/patch-1 Run tests #805: Commit 73b0b2b pushed by benlorenz
September 4, 2023 07:15 37m 39s master
master
September 4, 2023 07:15 37m 39s
Merge pull request #451 from lgoettgens/patch-1 Create documentation #423: Commit 73b0b2b pushed by benlorenz
September 4, 2023 07:15 4m 14s master
master
September 4, 2023 07:15 4m 14s
Merge pull request #450 from oscar-system/aj/pgcleanup Create documentation #422: Commit 63dad3d pushed by benlorenz
September 4, 2023 07:15 4m 21s master
master
September 4, 2023 07:15 4m 21s
Merge pull request #450 from oscar-system/aj/pgcleanup Run tests #804: Commit 63dad3d pushed by benlorenz
September 4, 2023 07:15 26m 2s master
master
September 4, 2023 07:15 26m 2s
Bump Aqua compat Create documentation #421: Pull request #451 opened by lgoettgens
September 3, 2023 12:36 4m 20s lgoettgens:patch-1
lgoettgens:patch-1
September 3, 2023 12:36 4m 20s
Bump Aqua compat Invalidations #30: Pull request #451 opened by lgoettgens
September 3, 2023 12:36 6m 50s lgoettgens:patch-1
lgoettgens:patch-1
September 3, 2023 12:36 6m 50s
Bump Aqua compat OscarCI #244: Pull request #451 opened by lgoettgens
September 3, 2023 12:36 2h 35m 8s lgoettgens:patch-1
lgoettgens:patch-1
September 3, 2023 12:36 2h 35m 8s
Bump Aqua compat Run tests #803: Pull request #451 opened by lgoettgens
September 3, 2023 12:36 23m 48s lgoettgens:patch-1
lgoettgens:patch-1
September 3, 2023 12:36 23m 48s
pages build and deployment pages-build-deployment #172: by github-pages bot
August 24, 2023 12:11 1m 10s
August 24, 2023 12:11 1m 10s
Merge pull request #449 from oscar-system/bl/destruct Create documentation #420: Commit e501d13 pushed by benlorenz
August 24, 2023 12:07 3m 37s v0.11.4
v0.11.4
August 24, 2023 12:07 3m 37s
pages build and deployment pages-build-deployment #171: by github-pages bot
August 24, 2023 11:20 1m 2s
August 24, 2023 11:20 1m 2s
Added list_properties(::BigObject) Create documentation #419: Pull request #450 opened by alexej-jordan
August 24, 2023 11:16 4m 42s aj/pgcleanup
aj/pgcleanup
August 24, 2023 11:16 4m 42s
Added list_properties(::BigObject) Run tests #802: Pull request #450 opened by alexej-jordan
August 24, 2023 11:16 15h 1m 58s aj/pgcleanup
aj/pgcleanup
August 24, 2023 11:16 15h 1m 58s
Added list_properties(::BigObject) Invalidations #29: Pull request #450 opened by alexej-jordan
August 24, 2023 11:16 8m 13s aj/pgcleanup
aj/pgcleanup
August 24, 2023 11:16 8m 13s
Added list_properties(::BigObject) OscarCI #243: Pull request #450 opened by alexej-jordan
August 24, 2023 11:16 15h 27m 26s aj/pgcleanup
aj/pgcleanup
August 24, 2023 11:16 15h 27m 26s
TagBot trigger issue TagBot #6845: Issue comment #333 (comment) created by JuliaTagBot
August 24, 2023 10:57 2m 31s
August 24, 2023 10:57 2m 31s
pages build and deployment pages-build-deployment #170: by github-pages bot
August 24, 2023 10:40 1m 14s
August 24, 2023 10:40 1m 14s
Merge pull request #449 from oscar-system/bl/destruct Run tests #801: Commit e501d13 pushed by benlorenz
August 24, 2023 10:36 15h 25m 28s master
master
August 24, 2023 10:36 15h 25m 28s
Merge pull request #449 from oscar-system/bl/destruct Create documentation #418: Commit e501d13 pushed by benlorenz
August 24, 2023 10:36 4m 14s master
master
August 24, 2023 10:36 4m 14s
pages build and deployment pages-build-deployment #169: by github-pages bot
August 24, 2023 08:02 59s
August 24, 2023 08:02 59s
polymake_oscarnumber: disable gc free callbacks during exit OscarCI #242: Pull request #449 synchronize by benlorenz
August 24, 2023 07:57 2h 45m 39s bl/destruct
bl/destruct
August 24, 2023 07:57 2h 45m 39s
polymake_oscarnumber: disable gc free callbacks during exit Run tests #800: Pull request #449 synchronize by benlorenz
August 24, 2023 07:57 30m 13s bl/destruct
bl/destruct
August 24, 2023 07:57 30m 13s
polymake_oscarnumber: disable gc free callbacks during exit Invalidations #28: Pull request #449 synchronize by benlorenz
August 24, 2023 07:57 8m 15s bl/destruct
bl/destruct
August 24, 2023 07:57 8m 15s