search

pcdshub / device_config

Happi device configuration for PCDS devices
https://github.com/pcdshub/device_config/blob/master/db.json
Other
0 stars 11 forks source link

Consider using diff tool in CI #37

Open klauer opened 2 years ago

klauer commented 2 years ago

Diff tool from #36 could compare individual commits or entire PRs

Should we add this to the CI pipeline somehow so we don't have to manually execute it?

ZLLentz commented 2 years ago

I think it makes a lot of sense to run the diff tool against master on PR