Use EqualityProof for functional claims (#1860) #360

Sign in to view logs

Triggered via push July 5, 2023 21:42

rv-jenkins

master

Status Success

Total duration 31m 9s

Artifacts –

master-push.yml

on: push

Matrix: Populate Nix Cache

Build Ubuntu Jammy DockerHub Image

Publish GH Pages

Annotations

1 warning

Publish GH Pages

The process '/usr/bin/git' failed with exit code 128