Skip to content

Commit

Permalink
undo push pr workflow
Browse files Browse the repository at this point in the history
  • Loading branch information
fpvandoorn committed Apr 12, 2024
1 parent e4e3a44 commit 6699b61
Showing 1 changed file with 0 additions and 9 deletions.
9 changes: 0 additions & 9 deletions .github/workflows/push_pr.yml
Original file line number Diff line number Diff line change
Expand Up @@ -2,15 +2,6 @@ on:
pull_request:

jobs:
style_lint:
name: Lint style
runs-on: ubuntu-latest
steps:
- name: Check for long lines
if: always()
run: |
! (find BonnAnalysis -name "*.lean" -type f -exec grep -E -H -n '^.{101,}$' {} \; | grep -v -E 'https?://')
build_project:
runs-on: ubuntu-latest
name: Build project
Expand Down

0 comments on commit 6699b61

Please sign in to comment.