Skip to content

TagBot trigger issue #452

TagBot trigger issue

TagBot trigger issue #452

Annotations

1 warning

TagBot

succeeded Dec 9, 2024 in 26s
Set up job
1s
Pull ghcr.io/juliaregistries/tagbot:1.20.0
7s
Tag DifferentiationInterface
10s
Tag DifferentiationInterfaceTest
5s
Complete job
0s