Skip to content
Close or Merge corresponding PR on the data repo

feat(hl): impl Named for key types #142

Sign in to view logs

feat(hl): impl Named for key types

feat(hl): impl Named for key types #142

Triggered via pull request September 20, 2024 15:28
@nsarlin-zamansarlin-zama
closed #1564
ns/named_keys
Status Skipped
Total duration 4s
Artifacts –

data_pr_close.yml

on: pull_request
auto_close_job
0s
auto_close_job
Fit to window
Zoom out
Zoom in