CI

adapted documentation #472 (#586) #256

Sign in to view logs

Summary
Jobs
- run
Run details
- Usage
- Workflow file

Triggered via push December 13, 2023 17:59

ue71603

AccessRightParameterAssignment---TypeOfProofRef-

Status Success

Total duration 1m 25s

Artifacts –

ci.yml

on: push