diff options
author | tricktron <tgagnaux@gmail.com> | 2021-11-10 09:36:14 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-11-10 09:36:14 +0100 |
commit | 5df7fd223a84c2c4db55668da2b5c0f460a19774 (patch) | |
tree | 52ad47aa09a66506f9f99d5aefbfdef969cf9086 /.github | |
parent | 2b2b16037a7a2083a6929c20fbf8ac25763f8ec7 (diff) | |
parent | f3924e8748efe3b035a43ec62eb1ab54179c6221 (diff) | |
download | frege-gradle-plugin-5df7fd223a84c2c4db55668da2b5c0f460a19774.tar.gz frege-gradle-plugin-5df7fd223a84c2c4db55668da2b5c0f460a19774.tar.bz2 frege-gradle-plugin-5df7fd223a84c2c4db55668da2b5c0f460a19774.zip |
Merge pull request #1 from tricktron/f-runTask
RunFrege Task
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/build.yml (renamed from .github/workflows/main.yml) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/.github/workflows/main.yml b/.github/workflows/build.yml index c82e9d6..c82e9d6 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/build.yml |