Skip to content

rename "Observer" to "SubscriptionObserver" #72

rename "Observer" to "SubscriptionObserver"

rename "Observer" to "SubscriptionObserver" #72

Triggered via pull request January 10, 2024 19:19
Status Success
Total duration 1m 9s
Artifacts 1

build.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
spec-prod-result Expired
212 KB