Skip to content

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

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

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

Triggered via pull request June 10, 2024 20:19
Status Success
Total duration 2m 12s
Artifacts

continuous-integration.yml

on: pull_request
Fit to window
Zoom out
Zoom in