| job | 5057 |
|---|---|
| received | 2026-07-04T11:32:45Z |
| source | hol-light |
| version | 1:3.1.0+git20260619-2 |
| url | https://salsa.debian.org/ocaml-team/hol-light.git |
| forge host | salsa.debian.org |
| tag name | debian/1%3.1.0+git20260619-2 |
| tag objectid | 20f35005598514f9d44032d5307d55aa7e7d6959 |
| last_update | 2026-07-04T11:35:47Z |
|---|---|
| status | Uploaded |
| info | uploaded [tag2upload-builder-01.debian.org,776859,w0]: Uploaded to unstable |
| received via | webhook poll |
| processing | |
| email report? | Final |
| no. of salient retries | 0 |
| will retry at (not before) | |
| dupe of |
| timestamp | status | info | received via | processing | dupe of | |
|---|---|---|---|---|---|---|
| 2026-07-04T11:32:45Z | Noticed | job received, tag not yet fetched | webhook | |||
| 2026-07-04T11:32:45Z | Noticed | fetching tag from forge | webhook | fetch | ||
| 2026-07-04T11:32:47Z | Queued | tag fetched, ready to process | webhook | fetch | ||
| 2026-07-04T11:32:47Z | Queued | " " | webhook | |||
| 2026-07-04T11:32:47Z | Queued | selected for build [tag2upload-builder-01.debian.org,776859,w0] | webhook | build | ||
| 2026-07-04T11:32:49Z | Building | building [tag2upload-builder-01.debian.org,776859,w0] | webhook | build | ||
| 2026-07-04T11:34:08Z | Uploaded | uploaded [tag2upload-builder-01.debian.org,776859,w0]: Uploaded to unstable | webhook | build | Final | |
| 2026-07-04T11:34:08Z | Uploaded | " " | webhook | Final | ||
| 2026-07-04T11:35:47Z | Uploaded | " " | webhook poll | Final |
object 5ade3426ef2cc99e2fd45b6beae7bd4631f88ff8 type commit tag debian/1%3.1.0+git20260619-2 tagger Stephane Glondu <steph@glondu.net> 1783164761 +0200 hol-light release 1:3.1.0+git20260619-2 for unstable [dgit please-upload source=hol-light version=1:3.1.0+git20260619-2] [dgit distro=debian split --quilt=gbp] [dgit upstream-tag=upstream/3.1.0+git20260619 upstream=7da7ef104f69b7f677aada1228b9484769f2f052] -----BEGIN PGP SIGNATURE----- iQEzBAABCgAdFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmpI71kACgkQIbju8bGJ MIFchAf/ZF1atG4U/+6FTocagT1mBaBi2RoQiIYXRotWsboik4VOelQiP7ysFk13 0iMgxYtlmbE/l+c0ZOeN7uiG8zOzPgmiKF516DI9KV/GiQifzkYBqebrgut5aHPG 6rP5KFmg3ONxPmpxv0KmxKEzXH1wPTaHO9+IJrBWvYUdVpsg1rgU/BEsdNKA1PRD 0snFyei2gxPIhdAiLqDlUWzGtnUykr0MyAJARiKK679EZXvizufWaA7zIR/csuGX kqpeK6Pn/64IBQiTMT35IQpFNvQpcBNzHHktib1JqaPFZj5AEw7GwN48tvlD40wa /8rQSfry4r8KWfDMg80GDJzTHsHFuA== =12Eq -----END PGP SIGNATURE-----