Skip to content

Commit d79e603

Browse files
committed
Rename and cleanup
1 parent 12bd6c5 commit d79e603

File tree

2 files changed

+1
-1
lines changed

2 files changed

+1
-1
lines changed

.github/workflows/pull_request_soundness.yml renamed to .github/workflows/soundness.yml

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
name: Pull Request
1+
name: Soundness
22

33
on:
44
workflow_call:

0 commit comments

Comments
 (0)