2026-08-21 12:47.59: New job: build coq-native.1 (7b15516f1019)
2026-08-21 12:47.59: Waiting for resource in pool day11-builds
2026-08-21 13:10.55: Got resource from pool day11-builds
2026-08-21 13:10.55: [profile full] build coq-native.1
2026-08-21 13:10.55: Cached: build coq-native.1 (7b15516f1019)
2026-08-21 13:10.55: Job succeeded