2022-10-04 | cah | Kill docker image on SIGTERM. |
commit | commitdiff | tree |
2022-02-18 | cah | Remove duplicate call to cleanup(). |
commit | commitdiff | tree |
2022-02-17 | cah | Little cleanup. |
commit | commitdiff | tree |
2022-02-17 | cah | Cleanup: rename git_commit -> commit. |
commit | commitdiff | tree |
2022-02-17 | cah | Cleanup: rename specifier -> commit_ish. |
commit | commitdiff | tree |
2022-02-17 | cah | Out-of-date comment. |
commit | commitdiff | tree |
2021-11-12 | cah | Match only tags that start with v when looking for... |
commit | commitdiff | tree |
2021-11-12 | cah | Add a new ccache volume. |
commit | commitdiff | tree |