Skip to content

Actions: polymake/JuPyMake

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
7 workflow runs
7 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #5 from polymake/split
Build #7: Commit a6987c8 pushed by benlorenz
December 4, 2023 09:58 50s master
December 4, 2023 09:58 50s
split by whitespace
Build #6: Pull request #5 opened by benlorenz
December 4, 2023 09:56 54s split
December 4, 2023 09:56 54s
Merge pull request #4 from polymake/update
Build #5: Commit 24005c6 pushed by benlorenz
December 4, 2023 09:32 1m 17s master
December 4, 2023 09:32 1m 17s
Update build.yml
Build #4: Commit c600165 pushed by benlorenz
December 4, 2023 09:32 30s master
December 4, 2023 09:32 30s
update from upstream
Build #3: Pull request #4 opened by benlorenz
December 4, 2023 09:30 1m 8s update
December 4, 2023 09:30 1m 8s
Merge remote-tracking branch 'origin/master' into pmmaster
Build #2: Commit 18f12af pushed by benlorenz
December 4, 2023 09:29 58s update
December 4, 2023 09:29 58s
Merge pull request #3 from mkoeppe/master
Build #1: Commit 869e6c0 pushed by benlorenz
December 4, 2023 09:20 1m 12s master
December 4, 2023 09:20 1m 12s