Skip to content

Replace EmptySet with Empty #27

Replace EmptySet with Empty

Replace EmptySet with Empty #27

Triggered via pull request November 29, 2023 16:14
@dnezamdnezam
synchronize #8
sets
Status Success
Total duration 41s
Artifacts

gobra.yml

on: pull_request
verify-deps
29s
verify-deps
Fit to window
Zoom out
Zoom in

Annotations

1 warning
verify-deps
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/