Prevent concurrent execution of version bump GitHub workflow

KIT-MRT / arbitration_graphs

Hierarchical behavior models for complex decision-making and behavior generation in robotics

https://kit-mrt.github.io/arbitration_graphs/

MIT License

16 stars 0 forks source link

Open ll-nick opened 3 days ago

ll-nick commented 3 days ago

See here:

our current approach with bumping the version after PR merge, can fail when merging multiple PRs in a short period