Merge pull request #62 from db-tu-dresden/executor #50
JPietrzykTUD
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
tslgen_merge_main.yaml
on: push
Create and push Docker container
3m 39s
update-readme
1m 30s
Matrix: build-and-test
Matrix: generate