CI

Update import path in Coq generated test #58

Sign in to view logs

Triggered via push July 19, 2024 23:58

tchajed

master

Status Success

Total duration 47s

Artifacts –

ci.yml

on: push

Matrix: test

Annotations

1 warning

test (1.22.x, ubuntu-latest)

Restore cache failed: Dependencies file is not found in /home/runner/work/goose/goose. Supported file pattern: go.sum