Skip to content

Commit

Permalink
fix gitignore
Browse files Browse the repository at this point in the history
  • Loading branch information
driazati committed Jan 25, 2022
1 parent b0c1aef commit 0307409
Show file tree
Hide file tree
Showing 4 changed files with 11 additions and 10 deletions.
2 changes: 0 additions & 2 deletions .github/workflows/monitor_failures.yml
Original file line number Diff line number Diff line change
Expand Up @@ -31,8 +31,6 @@ jobs:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
with:
submodules: "recursive"
- name: Install dependencies
run: |
set -eux
Expand Down
1 change: 1 addition & 0 deletions .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -173,6 +173,7 @@ cscope*
perf
.bash_history
*.json
!statuses.json
*.params
*.ro
*.onnx
Expand Down
1 change: 1 addition & 0 deletions statuses.json
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
{}
17 changes: 9 additions & 8 deletions tests/scripts/ping_on_failure.py
Original file line number Diff line number Diff line change
Expand Up @@ -235,12 +235,13 @@ def discord(body: Dict[str, Any]) -> Dict[str, Any]:
if old_all_data != all_data:
message_diff(old_all_data, all_data)

with open(REPO_ROOT / "statuses.json", "w") as f:
json.dump(all_data, f)

git(["add", "statuses.json"])
git(["config", "user.email", "email@example.com"])
git(["config", "user.name", "Your Name"])
git(["commit", "-m'update status'"])
git(["push"])
if old_all_data != all_data:
with open(REPO_ROOT / "statuses.json", "w") as f:
json.dump(all_data, f)

git(["add", "statuses.json"])
git(["config", "user.email", "email@example.com"])
git(["config", "user.name", "Your Name"])
git(["commit", "-m'update status'"])
git(["push"])

0 comments on commit 0307409

Please sign in to comment.