CI

add RelProp.sequence, RelProp.star etc. #888

Sign in to view logs

Summary
Jobs
- Build
- Stats
Run details
- Usage
- Workflow file

Triggered via push February 10, 2025 20:45

m4lvin

quots

Status Success

Total duration 5m 15s

Artifacts –

build.yml

on: push