Skip to content
CI

Global: porting classes from formal-prelude #86

Sign in to view logs

Global: porting classes from formal-prelude

Global: porting classes from formal-prelude #86

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

ci.yml

on: pull_request
build-deploy
3m 23s
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