Skip to content

Actions: jericks/geo-shell

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
8 workflow runs
8 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment
pages-build-deployment #14: by github-pages bot
November 5, 2023 22:11 1m 10s gh-pages
November 5, 2023 22:11 1m 10s
Start working on 0.15.0
Maven Build #33: Commit a0faecd pushed by jericks
November 5, 2023 22:04 7m 4s master
November 5, 2023 22:04 7m 4s
pages build and deployment
pages-build-deployment #13: by github-pages bot
October 31, 2023 23:19 58s gh-pages
October 31, 2023 23:19 58s
Release 0.14.0
Maven Build #32: Commit b1a8fa3 pushed by jericks
October 31, 2023 23:11 7m 51s master
October 31, 2023 23:11 7m 51s
pages build and deployment
pages-build-deployment #12: by github-pages bot
October 26, 2023 23:58 1m 14s gh-pages
October 26, 2023 23:58 1m 14s
Start working on 0.14.0
Maven Build #31: Commit 63512e9 pushed by jericks
October 26, 2023 23:50 7m 47s master
October 26, 2023 23:50 7m 47s
pages build and deployment
pages-build-deployment #11: by github-pages bot
October 25, 2023 00:00 1m 22s gh-pages
October 25, 2023 00:00 1m 22s
Release 0.13.0
Maven Build #30: Commit a857a54 pushed by jericks
October 24, 2023 23:52 8m 3s master
October 24, 2023 23:52 8m 3s