Skip to content

Actions: jgrapht/jgrapht

All workflows

Actions

Loading...

Showing runs from all workflows
172 workflow runs
172 workflow runs
Event

Filter by event

Status

Filter by status

Branch
Actor

Filter by actor

pages build and deployment
pages-build-deployment #17: by jsichi
July 26, 2023 07:31 1m 26s
July 26, 2023 07:31 1m 26s
[GMLExporter] add option to export custom gml vertex graphics section…
JGrapht Master build #92: Commit fe40aea pushed by d-michail
July 26, 2023 07:21 10m 12s master
July 26, 2023 07:21 10m 12s
pages build and deployment
pages-build-deployment #16: by jsichi
July 23, 2023 08:48 1m 19s
July 23, 2023 08:48 1m 19s
Update matchedVertices when maximizing cardinality (#1093)
JGrapht Master build #91: Commit 7ff746c pushed by d-michail
July 23, 2023 08:36 11m 35s master
July 23, 2023 08:36 11m 35s
pages build and deployment
pages-build-deployment #15: by jsichi
July 6, 2023 23:44 1m 21s
July 6, 2023 23:44 1m 21s
Retrieve value from Attribute directly for graph attributes in the DO…
JGrapht Master build #90: Commit 436b6db pushed by jkinable
July 6, 2023 23:29 14m 32s master
July 6, 2023 23:29 14m 32s
pages build and deployment
pages-build-deployment #14: by jsichi
July 6, 2023 05:29 1m 32s
July 6, 2023 05:29 1m 32s
updated dependencies
JGrapht Master build #89: Commit 3d6b05e pushed by jkinable
July 6, 2023 05:18 11m 13s master
July 6, 2023 05:18 11m 13s
pages build and deployment
pages-build-deployment #13: by jsichi
May 4, 2023 06:10 1m 37s
May 4, 2023 06:10 1m 37s
Merge branch 'master' of github.com:jkinable/jgrapht
JGrapht Master build #88: Commit 7084d91 pushed by jkinable
May 4, 2023 05:55 14m 55s master
May 4, 2023 05:55 14m 55s
Merge branch 'master' of github.com:jgrapht/jgrapht
JGrapht Master build #87: Commit 3ab8a90 pushed by jkinable
May 4, 2023 05:52 2m 42s master
May 4, 2023 05:52 2m 42s
Retrieve value from Attribute directly for graph attributes in the DO…
JGrapht Pull Request build #130: Pull request #1153 opened by vab2048
May 3, 2023 22:10 8m 41s vab2048:master
May 3, 2023 22:10 8m 41s
pages build and deployment
pages-build-deployment #12: by jsichi
May 2, 2023 18:52 1m 20s
May 2, 2023 18:52 1m 20s
[maven-release-plugin] prepare for next development iteration
JGrapht Master build #86: Commit 882fac0 pushed by jkinable
May 2, 2023 18:40 12m 58s master
May 2, 2023 18:40 12m 58s
[maven-release-plugin] prepare release jgrapht-1.5.2
JGrapht Master build #85: Commit fe2d4cd pushed by jkinable
May 2, 2023 18:40 4s master
May 2, 2023 18:40 4s
pages build and deployment
pages-build-deployment #11: by jsichi
May 2, 2023 16:53 1m 25s
May 2, 2023 16:53 1m 25s
Ran code formatter for release 1.5.2
JGrapht Master build #84: Commit 83121cf pushed by jkinable
May 2, 2023 16:42 10m 34s master
May 2, 2023 16:42 10m 34s
pages build and deployment
pages-build-deployment #10: by jsichi
May 2, 2023 03:55 1m 33s
May 2, 2023 03:55 1m 33s
Updated readme, history, contributors and copyright headers for 1.5.2…
JGrapht Master build #83: Commit 38e6ff5 pushed by jkinable
May 2, 2023 03:45 10m 40s master
May 2, 2023 03:45 10m 40s
pages build and deployment
pages-build-deployment #9: by jsichi
May 2, 2023 00:58 1m 30s
May 2, 2023 00:58 1m 30s
chore(deps): Update dependencies (#1143)
JGrapht Master build #82: Commit 0096c71 pushed by jsichi
May 2, 2023 00:45 13m 17s master
May 2, 2023 00:45 13m 17s
chore(deps): Update dependencies
JGrapht Pull Request build #129: Pull request #1143 synchronize by reneleonhardt
April 21, 2023 08:05 9m 26s reneleonhardt:update-dependencies
April 21, 2023 08:05 9m 26s