Skip to content
CI

Global: porting classes from formal-prelude #85

Sign in to view logs

Global: porting classes from formal-prelude

Global: porting classes from formal-prelude #85

Triggered via pull request July 4, 2025 08:38
@omelkonianomelkonian
opened #21
prelude-port
Status Success
Total duration 3m 14s
Artifacts –

ci.yml

on: pull_request
build-deploy
3m 10s
build-deploy
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
build-deploy
Failed to save: reserveCache failed: Cache service responded with 503
build-deploy
Failed to restore: getCacheEntry failed: Cache service responded with 503