Skip to content
CI

Make sure the CI is triggered also on closing of the PR (for merge) #308

Sign in to view logs

Make sure the CI is triggered also on closing of the PR (for merge)

Make sure the CI is triggered also on closing of the PR (for merge) #308

Annotations

1 warning

Copy benchmark results to gh-pages

Copy benchmark results to gh-pages
succeeded Dec 6, 2024 in 7s