Repository navigation

Merge main into v1 - #946

Merged

aeisenberg merged 12 commits into

v1from

update-v1.1.3-d7ad71d8

Feb 23, 2022

Merged

Merge main into v1#946
aeisenberg merged 12 commits into
v1from
update-v1.1.3-d7ad71d8

Commits on Feb 17, 2022
- Update changelog and version after v1.1.2
  github-actions[bot]
  committed
  65174f2
- 1.1.3
  github-actions[bot]
  committed
  cbc9c75
- Update checked-in dependencies
  github-actions[bot]
  committed
  4d875a9
- Merge pull request #941 from github/mergeback/v1.1.2-to-main-d39d5d5c
  henrymercer
  authored
  040feef
- Add `UserError`
  aeisenberg
  committed
  3d93bb2
Commits on Feb 23, 2022
- Merge pull request #942 from github/aeisenberg/user-error
  edoardopirovano
  authored
  f14beeb
- Respect `end-tracing` script instead of deleting one variable
  edoardopirovano
  committed
  c592525
- Improve error handling for ending tracing
  edoardopirovano
  committed
  afbddca
- Merge pull request #938 from github/respect-end-tracing
  edoardopirovano
  authored
  d7ad71d
- 1.1.3
  github-actions[bot]
  committed
  4b66d31
- Update changelog
  aeisenberg
  committed
  fa57ef0
- Update runner version
  aeisenberg
  committed
  42c72a1