Skip to content
Go Test

invocation: rephrase slightly the proof rules to be less confusing down the line #561

Sign in to view logs

invocation: rephrase slightly the proof rules to be less confusing down the line

invocation: rephrase slightly the proof rules to be less confusing down the line #561

Triggered via pull request December 9, 2024 17:53
@MichaelMureMichaelMure
synchronize #93
proof-rephrase
Status Success
Total duration 25s
Artifacts –

gotest.yml

on: pull_request
Matrix: unit
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
ubuntu (go 1.23.x)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
ubuntu (go 1.22.x)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
ubuntu (go 1.22.x)
Failed to restore: "/usr/bin/tar" failed with error: The process '/usr/bin/tar' failed with exit code 2