Skip to content

ci: use master instead of main #1

ci: use master instead of main

ci: use master instead of main #1

Triggered via push July 10, 2025 07:14
Status Failure
Total duration 11s
Artifacts
Fit to window
Zoom out
Zoom in

Annotations

1 error and 3 warnings
build
Error response from daemon: Get "https://registry.rcp.epfl.ch/v2/": dial tcp: lookup registry.rcp.epfl.ch on 127.0.0.53:53: no such host
build
The `save-state` 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/
build
The `save-state` 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/
build
The `save-state` 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/