diff options
| author | nc <[email protected]> | 2020-08-08 15:09:52 +0100 |
|---|---|---|
| committer | nc <[email protected]> | 2020-08-08 15:09:52 +0100 |
| commit | 92b4ecd7006f68f87dff3130b85c00dddacead85 (patch) | |
| tree | 0d65e035aecd04fb2f8456f284dd9081fb1ccd0a /.github/workflows | |
| parent | 78685f7cdca15a191a5d086321368e475b0c2ab2 (diff) | |
try to unconditionally save after s.run() completes
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions