]> Piment Noir Git Repositories - benchmarks-js.git/commit
ci: remove uneeded workflow
authorJérôme Benoit <jerome.benoit@piment-noir.org>
Mon, 24 Nov 2025 20:45:50 +0000 (21:45 +0100)
committerJérôme Benoit <jerome.benoit@piment-noir.org>
Mon, 24 Nov 2025 20:45:50 +0000 (21:45 +0100)
commitb205de0ad94cb1dd093638521bb4fad2fc472c5e
treef475c3a938ab66b91b6bb97d5ce0eaff4ea9ed3f
parent54e151c23df8b05eb0af6cd1d8a477ddb02671e1
ci: remove uneeded workflow

Signed-off-by: Jérôme Benoit <jerome.benoit@piment-noir.org>
.github/workflows/combine-prs.yml [deleted file]