Skip to content

Actions: oscar-system/Polymake.jl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
822 workflow runs
822 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update version to 0.11.26 Run tests #1162: Pull request #513 opened by benlorenz
February 27, 2025 23:30 31m 45s bl/bump
bl/bump
February 27, 2025 23:30 31m 45s
Merge pull request #512 from antonydellavecchia/adv/graph_maps Run tests #1161: Commit 96dfe22 pushed by benlorenz
February 27, 2025 23:29 31m 4s master
master
February 27, 2025 23:29 31m 4s
Merge pull request #512 from antonydellavecchia/adv/graph_maps Create documentation #635: Commit 96dfe22 pushed by benlorenz
February 27, 2025 23:29 2m 45s master
master
February 27, 2025 23:29 2m 45s
Add better handling for EdgeMap and NodeMap OscarCI #381: Pull request #512 synchronize by antonydellavecchia
February 27, 2025 13:39 6h 11m 19s antonydellavecchia:adv/graph_maps
antonydellavecchia:adv/graph_maps
February 27, 2025 13:39 6h 11m 19s
Add better handling for EdgeMap and NodeMap Run tests #1160: Pull request #512 synchronize by antonydellavecchia
February 27, 2025 13:39 36m 50s antonydellavecchia:adv/graph_maps
antonydellavecchia:adv/graph_maps
February 27, 2025 13:39 36m 50s
Add better handling for EdgeMap and NodeMap Create documentation #634: Pull request #512 synchronize by antonydellavecchia
February 27, 2025 13:39 6m 45s antonydellavecchia:adv/graph_maps
antonydellavecchia:adv/graph_maps
February 27, 2025 13:39 6m 45s
Add better handling for EdgeMap and NodeMap OscarCI #380: Pull request #512 synchronize by antonydellavecchia
February 27, 2025 13:07 32m 36s antonydellavecchia:adv/graph_maps
antonydellavecchia:adv/graph_maps
February 27, 2025 13:07 32m 36s
Add better handling for EdgeMap and NodeMap Create documentation #633: Pull request #512 synchronize by antonydellavecchia
February 27, 2025 13:07 1m 30s antonydellavecchia:adv/graph_maps
antonydellavecchia:adv/graph_maps
February 27, 2025 13:07 1m 30s
Add better handling for EdgeMap and NodeMap Run tests #1159: Pull request #512 synchronize by antonydellavecchia
February 27, 2025 13:07 30m 52s antonydellavecchia:adv/graph_maps
antonydellavecchia:adv/graph_maps
February 27, 2025 13:07 30m 52s
Add better handling for EdgeMap and NodeMap OscarCI #379: Pull request #512 synchronize by antonydellavecchia
February 27, 2025 13:01 5m 54s antonydellavecchia:adv/graph_maps
antonydellavecchia:adv/graph_maps
February 27, 2025 13:01 5m 54s
Add better handling for EdgeMap and NodeMap Create documentation #632: Pull request #512 synchronize by antonydellavecchia
February 27, 2025 13:01 1m 28s antonydellavecchia:adv/graph_maps
antonydellavecchia:adv/graph_maps
February 27, 2025 13:01 1m 28s
Add better handling for EdgeMap and NodeMap Run tests #1158: Pull request #512 synchronize by antonydellavecchia
February 27, 2025 13:01 6m 2s antonydellavecchia:adv/graph_maps
antonydellavecchia:adv/graph_maps
February 27, 2025 13:01 6m 2s
Add better handling for EdgeMap and NodeMap Create documentation #631: Pull request #512 synchronize by antonydellavecchia
February 27, 2025 12:57 1m 39s antonydellavecchia:adv/graph_maps
antonydellavecchia:adv/graph_maps
February 27, 2025 12:57 1m 39s
Add better handling for EdgeMap and NodeMap Run tests #1157: Pull request #512 synchronize by antonydellavecchia
February 27, 2025 12:57 4m 26s antonydellavecchia:adv/graph_maps
antonydellavecchia:adv/graph_maps
February 27, 2025 12:57 4m 26s
Add better handling for EdgeMap and NodeMap OscarCI #378: Pull request #512 synchronize by antonydellavecchia
February 27, 2025 12:57 4m 20s antonydellavecchia:adv/graph_maps
antonydellavecchia:adv/graph_maps
February 27, 2025 12:57 4m 20s
Add better handling for EdgeMap and NodeMap Create documentation #630: Pull request #512 synchronize by antonydellavecchia
February 27, 2025 12:47 1m 34s antonydellavecchia:adv/graph_maps
antonydellavecchia:adv/graph_maps
February 27, 2025 12:47 1m 34s
Add better handling for EdgeMap and NodeMap Run tests #1156: Pull request #512 synchronize by antonydellavecchia
February 27, 2025 12:47 10m 18s antonydellavecchia:adv/graph_maps
antonydellavecchia:adv/graph_maps
February 27, 2025 12:47 10m 18s
Add better handling for EdgeMap and NodeMap OscarCI #377: Pull request #512 synchronize by antonydellavecchia
February 27, 2025 12:47 10m 13s antonydellavecchia:adv/graph_maps
antonydellavecchia:adv/graph_maps
February 27, 2025 12:47 10m 13s
Add better handling for EdgeMap and NodeMap Create documentation #629: Pull request #512 opened by antonydellavecchia
February 27, 2025 12:42 2m 41s antonydellavecchia:adv/graph_maps
antonydellavecchia:adv/graph_maps
February 27, 2025 12:42 2m 41s
Add better handling for EdgeMap and NodeMap OscarCI #376: Pull request #512 opened by antonydellavecchia
February 27, 2025 12:42 5m 54s antonydellavecchia:adv/graph_maps
antonydellavecchia:adv/graph_maps
February 27, 2025 12:42 5m 54s
Add better handling for EdgeMap and NodeMap Run tests #1155: Pull request #512 opened by antonydellavecchia
February 27, 2025 12:42 5m 59s antonydellavecchia:adv/graph_maps
antonydellavecchia:adv/graph_maps
February 27, 2025 12:42 5m 59s
Run tests Run tests #1154: Scheduled
February 27, 2025 03:14 31m 7s master
master
February 27, 2025 03:14 31m 7s
Run tests Run tests #1153: Scheduled
February 26, 2025 03:13 30m 23s master
master
February 26, 2025 03:13 30m 23s
Run tests Run tests #1152: Scheduled
February 25, 2025 03:13 30m 50s master
master
February 25, 2025 03:13 30m 50s
Run tests Run tests #1151: Scheduled
February 24, 2025 03:14 31m 12s master
master
February 24, 2025 03:14 31m 12s