Skip to content

Move Domain and Relation from hirm.hh to separate files. #56

Move Domain and Relation from hirm.hh to separate files.

Move Domain and Relation from hirm.hh to separate files. #56

Triggered via pull request June 10, 2024 20:11
Status Failure
Total duration 2m 6s
Artifacts

continuous-integration.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 error
Run tests
Process completed with exit code 3.