HigherOrderCO/Kind1
1
1
Fork 0
mirror of https://github.com/HigherOrderCO/Kind1.git synced 2024-09-11 08:45:32 +03:00
Code Issues Packages Projects Releases Wiki Activity

Removed useless line in ci

Browse Source
This commit is contained in:
Felipe g 2022-09-26 11:09:39 -03:00
parent dd7b02f939
commit 075c1c0dc3
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.github/workflows/ci.yml vendored
View File

@ -8,6 +8,5 @@ on:
jobs:
cargo:
timeout-minutes: 5
if: github.event.pull_request.draft == false
uses: ./.github/workflows/cargo.yml