Skip to content

Commit

Permalink
@derek-certora has signed the CLA in #901
Browse files Browse the repository at this point in the history
  • Loading branch information
github-actions[bot] authored Jan 15, 2025
1 parent 2405d7a commit e91148e
Showing 1 changed file with 8 additions and 0 deletions.
8 changes: 8 additions & 0 deletions signatures/version1/cla.json
Original file line number Diff line number Diff line change
Expand Up @@ -367,6 +367,14 @@
"created_at": "2025-01-15T08:19:32Z",
"repoId": 102186072,
"pullRequestNo": 900
},
{
"name": "derek-certora",
"id": 158146599,
"comment_id": 2594005044,
"created_at": "2025-01-15T21:46:27Z",
"repoId": 102186072,
"pullRequestNo": 901
}
]
}

0 comments on commit e91148e

Please sign in to comment.