chore!: remove Docker support, fold CI into single workflow #4140

Sign in to view logs

Triggered via pull request July 26, 2024 22:18

synchronize #1367

TTtie:chore/remove-docker

Status Success

Total duration 1m 11s

Artifacts 1

build.yml

on: pull_request

Artifacts

Produced during runtime

Name	Size
PGM.jar	7.37 MB