Running Copilot · agda/agda-setup-action@b7f43b0

Processing Request: action.yml#L2

2:81 [line-length] line too long (86 > 80 characters)

Processing Request: .github/workflows/test.yml#L52

52:1 [trailing-spaces] trailing spaces

Processing Request: .github/workflows/test.yml#L46

46:1 [trailing-spaces] trailing spaces

Processing Request: .github/workflows/example.yml#L40

40:1 [trailing-spaces] trailing spaces

Processing Request: .github/workflows/example.yml#L36

36:1 [trailing-spaces] trailing spaces

Processing Request: .github/workflows/example.yml#L33

33:1 [trailing-spaces] trailing spaces

Processing Request: .github/workflows/example.yml#L28

28:1 [trailing-spaces] trailing spaces

Processing Request: .github/workflows/example.yml#L22

22:1 [trailing-spaces] trailing spaces

Processing Request: .github/workflows/example.yml#L15

15:1 [trailing-spaces] trailing spaces

Processing Request: .github/workflows/example.yml#L11

11:1 [trailing-spaces] trailing spaces

Processing Request: action.yml#L1

1:1 [document-start] missing document start "---"

Processing Request: .github/workflows/test.yml#L3

3:1 [truthy] truthy value should be one of [false, true]

Processing Request: .github/workflows/test.yml#L1

1:1 [document-start] missing document start "---"

Processing Request: .github/workflows/example.yml#L3

3:1 [truthy] truthy value should be one of [false, true]

Processing Request: .github/workflows/example.yml#L1

1:1 [document-start] missing document start "---"

Provide feedback