[CI] Removed push event from workflows - Githubissues

open-rmf / rmf_traffic

Traffic management libraries for RMF

Apache License 2.0

28 stars 26 forks source link

[CI] Removed push event from workflows #91

Closed orensbruli closed 1 year ago

orensbruli commented 2 years ago

[CI] Removed push event from workflows

Signed-off-by: Esteban Martinena orensbruli@gmail.com

Yadunund commented 1 year ago

Closing in favor of https://github.com/open-rmf/rmf_traffic/pull/89