Build and profile and CoqDoc

magic nix cache #360

Sign in to view logs

Triggered via pull request June 24, 2024 23:33

h0nzZik

opened #15

ci-cache

Status Startup failure

Total duration –

Artifacts –

build-and-profile.yml

on: pull_request

Annotations

1 error

Invalid workflow file: .github/workflows/build-and-profile.yml#L34

The workflow is not valid. .github/workflows/build-and-profile.yml (Line: 34, Col: 7): 'uses' is already defined