4 Commits (af99071c1e9fce95195ffa7a130b0c96be88c3ce)

Author	SHA1	Message	Date
Roger A. Light	5f565fe4ea	Previous change to only update on difference causes errors :(	5 years ago
Roger A. Light	a38cb3bf51	Branch sync - only sync when there is a difference to avoid errors.	5 years ago
Roger A. Light	3a83bafe40	Github actions: Add workflow_dispatch to allow a manual trigger.	5 years ago
Roger A. Light	80bb31cf48	Github action for synchronising coverity scan branches	5 years ago