Users workflow

Merge pull request #268 from FissoreD/typeabbrev_unfold #57

Sign in to view logs

Summary
Jobs
- test users
Run details
- Usage
- Workflow file

Triggered via push October 4, 2024 08:29

gares

master

Status Success

Total duration 16m 40s

Artifacts –

users.yml

on: push