diff options
| author | Josh Chen | 2020-07-16 19:31:55 +0200 |
|---|---|---|
| committer | Josh Chen | 2020-07-16 19:31:55 +0200 |
| commit | f2614cb50017233513c697e52f27c63f0b190746 (patch) | |
| tree | 114784f4caac79bdde74e1a9cba3d048bff6728e /.github/isabelle-action/action.yml | |
| parent | a31c2a9b0e05845f11e4a0a44034540a2e707444 (diff) | |
try ADD instead of RUN curl
Diffstat (limited to '.github/isabelle-action/action.yml')
0 files changed, 0 insertions, 0 deletions