Actions: aclai-lab/SoleData.jl
Actions
Showing runs from all workflows
487 workflow runs
487 workflow runs
scalarlogiset
to handle more SoleLogics.AbstractWorld
s
Documentation
#136:
Pull request #15
synchronize
by
giopaglia
scalarlogiset
to handle more SoleLogics.AbstractWorld
s
Upload coverage reports to Codecov
#282:
Pull request #15
synchronize
by
giopaglia
scalarlogiset
to handle more SoleLogics.AbstractWorld
s
Upload coverage reports to Codecov
#280:
Pull request #15
synchronize
by
mauro-milella
scalarlogiset
to handle more SoleLogics.AbstractWorld
s
Documentation
#135:
Pull request #15
synchronize
by
mauro-milella
test/arm-thesis.jl
can be executed by just putting NATOPS datas…
Upload coverage reports to Codecov
#279:
Commit 5820a12
pushed
by
mauro-milella