Skip to content

change CI on push to manual activation #496

change CI on push to manual activation

change CI on push to manual activation #496

Triggered via pull request December 14, 2023 13:00
Status Success
Total duration 5m 53s
Artifacts

build.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
build
Argument B was previously inferred to be in scope type_scope but is
build
Argument B was previously inferred to be in scope type_scope but is
build
Argument B was previously inferred to be in the empty scope stack