Skip to content

Actions: aclai-lab/SoleReasoners.jl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
625 workflow runs
625 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CompatHelper CompatHelper #279: Scheduled
October 15, 2024 01:24 2m 51s main
main
October 15, 2024 01:24 2m 51s
Added smtconstraints to HybridMVHSTableau Upload coverage reports to Codecov #139: Commit 4549035 pushed by alberto-paparella
October 14, 2024 05:03 1m 22s dev
dev
October 14, 2024 05:03 1m 22s
Added smtconstraints to HybridMVHSTableau Documentation #117: Commit 4549035 pushed by alberto-paparella
October 14, 2024 05:03 1m 42s dev
dev
October 14, 2024 05:03 1m 42s
Prepared tests for Hybrid MVHS Documentation #116: Commit ae249fc pushed by alberto-paparella
October 14, 2024 04:13 1m 47s dev
dev
October 14, 2024 04:13 1m 47s
Prepared tests for Hybrid MVHS Upload coverage reports to Codecov #138: Commit ae249fc pushed by alberto-paparella
October 14, 2024 04:13 1m 24s dev
dev
October 14, 2024 04:13 1m 24s
CompatHelper CompatHelper #278: Scheduled
October 14, 2024 01:25 3m 2s main
main
October 14, 2024 01:25 3m 2s
CompatHelper CompatHelper #277: Scheduled
October 13, 2024 01:35 2m 25s main
main
October 13, 2024 01:35 2m 25s
CompatHelper CompatHelper #276: Scheduled
October 12, 2024 01:21 2m 32s main
main
October 12, 2024 01:21 2m 32s
Merge branch 'dev' of https://github.com/aclai-lab/SoleReasoners.jl i… Upload coverage reports to Codecov #137: Commit f5dd4b7 pushed by alberto-paparella
October 11, 2024 03:07 1m 29s dev
dev
October 11, 2024 03:07 1m 29s
Merge branch 'dev' of https://github.com/aclai-lab/SoleReasoners.jl i… Documentation #115: Commit f5dd4b7 pushed by alberto-paparella
October 11, 2024 03:07 1m 46s dev
dev
October 11, 2024 03:07 1m 46s
CompatHelper CompatHelper #275: Scheduled
October 11, 2024 01:23 2m 27s main
main
October 11, 2024 01:23 2m 27s
CompatHelper CompatHelper #274: Scheduled
October 10, 2024 01:22 2m 58s main
main
October 10, 2024 01:22 2m 58s
CompatHelper CompatHelper #273: Scheduled
October 9, 2024 01:22 2m 53s main
main
October 9, 2024 01:22 2m 53s
fixes Upload coverage reports to Codecov #136: Commit 5b42257 pushed by alberto-paparella
October 9, 2024 01:14 1m 25s dev
dev
October 9, 2024 01:14 1m 25s
fixes Documentation #114: Commit 5b42257 pushed by alberto-paparella
October 9, 2024 01:14 1m 48s dev
dev
October 9, 2024 01:14 1m 48s
Setup test Upload coverage reports to Codecov #135: Commit 937d94e pushed by alberto-paparella
October 8, 2024 05:45 1m 29s dev
dev
October 8, 2024 05:45 1m 29s
Setup test Documentation #113: Commit 937d94e pushed by alberto-paparella
October 8, 2024 05:45 1m 45s dev
dev
October 8, 2024 05:45 1m 45s
Cleaned hybrid-tableau code, setup hybrid-modal-tableau Documentation #112: Commit 7d6bf9b pushed by alberto-paparella
October 8, 2024 03:26 1m 44s dev
dev
October 8, 2024 03:26 1m 44s
Cleaned hybrid-tableau code, setup hybrid-modal-tableau Upload coverage reports to Codecov #134: Commit 7d6bf9b pushed by alberto-paparella
October 8, 2024 03:26 1m 23s dev
dev
October 8, 2024 03:26 1m 23s
CompatHelper CompatHelper #272: Scheduled
October 8, 2024 01:23 2m 42s main
main
October 8, 2024 01:23 2m 42s
CompatHelper CompatHelper #271: Scheduled
October 7, 2024 01:25 3m 8s main
main
October 7, 2024 01:25 3m 8s
CompatHelper CompatHelper #270: Scheduled
October 6, 2024 01:36 3m 6s main
main
October 6, 2024 01:36 3m 6s
CompatHelper CompatHelper #269: Scheduled
October 5, 2024 01:22 2m 47s main
main
October 5, 2024 01:22 2m 47s
CompatHelper CompatHelper #268: Scheduled
October 4, 2024 01:23 2m 52s main
main
October 4, 2024 01:23 2m 52s
CompatHelper CompatHelper #267: Scheduled
October 3, 2024 01:23 2m 55s main
main
October 3, 2024 01:23 2m 55s