diff options
author | Clement Tsang <34804052+ClementTsang@users.noreply.github.com> | 2022-11-06 03:44:02 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-11-06 03:44:02 -0500 |
commit | 7ae8e66a3a43d126e95d0ce977be93ed4e4949f6 (patch) | |
tree | 7f1a55bf27aeed38758cfb146603cc4df0d9f458 /src | |
parent | 29bc0b67bae1598cae1fa5202dae3999c7c05f69 (diff) |
ci: add cache clearing to PR merges (#874)
* ci: add cache clearing to PR merges
* some renaming
* small change to force cache
* add manual run option
Diffstat (limited to 'src')
-rw-r--r-- | src/lib.rs | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -347,7 +347,7 @@ pub fn update_data(app: &mut App) { { let data = &app.converted_data.cpu_data; for cpu in app.cpu_state.widget_states.values_mut() { - cpu.update_table(data) + cpu.update_table(data); } } { |