PR-Merge

Update contributors list #73

Sign in to view logs

Triggered via push December 24, 2023 09:31

Nicoretti

master

Status Success

Total duration 4m 26s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

pr-merge.yml

on: push

Matrix: Checks / format-job

Publish Code Coverage

Publish Documentation / documentation-job

Matrix: Checks / linting-job

Matrix: Checks / typing-job

Matrix: Checks / tests-job