search

willi19 / swpp202301-compiler-team6

MIT License
0 stars 0 forks source link

Update Docker Branch #2

Open willi19 opened 1 year ago

willi19 commented 1 year ago

I think clone and building interpreter and benchmark repository will be waste of time and resource. So I made Update Docker Branch that automatically generate and push image of docker that clone and build both repository.

Whenever there are update in either repository, push empty commit with

git commit --allow-empty -m "update_docker"

so that github action will generate and push updated docker.

sharaelong commented 1 year ago

I think using 'workflow_dispatch' is more good for this situation like this:

on:
    workflow_dispatch:

It will enable features that executing build process manually, not by empty commit. For more info: https://docs.github.com/en/actions/managing-workflow-runs/manually-running-a-workflow