Skip to content

Actions: aclai-lab/SoleReasoners.jl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
623 workflow runs
623 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CompatHelper CompatHelper #306: Scheduled
November 11, 2024 01:24 3m 14s main
main
November 11, 2024 01:24 3m 14s
CompatHelper CompatHelper #305: Scheduled
November 10, 2024 01:34 2m 54s main
main
November 10, 2024 01:34 2m 54s
CompatHelper CompatHelper #304: Scheduled
November 9, 2024 01:20 3m 10s main
main
November 9, 2024 01:20 3m 10s
Documentation Documentation #127: by alberto-paparella
November 8, 2024 09:05 1m 48s dev
dev
November 8, 2024 09:05 1m 48s
Upload coverage reports to Codecov Upload coverage reports to Codecov #150: by alberto-paparella
November 8, 2024 09:05 1m 24s dev
dev
November 8, 2024 09:05 1m 24s
CompatHelper CompatHelper #303: Scheduled
November 8, 2024 01:22 3m 16s main
main
November 8, 2024 01:22 3m 16s
CompatHelper CompatHelper #302: Scheduled
November 7, 2024 01:22 3m 9s main
main
November 7, 2024 01:22 3m 9s
CompatHelper CompatHelper #301: Scheduled
November 6, 2024 01:22 3m 12s main
main
November 6, 2024 01:22 3m 12s
CompatHelper CompatHelper #300: Scheduled
November 5, 2024 01:22 3m 32s main
main
November 5, 2024 01:22 3m 32s
CompatHelper CompatHelper #299: Scheduled
November 4, 2024 01:25 3m 19s main
main
November 4, 2024 01:25 3m 19s
CompatHelper CompatHelper #298: Scheduled
November 3, 2024 01:36 3m 12s main
main
November 3, 2024 01:36 3m 12s
CompatHelper CompatHelper #297: Scheduled
November 2, 2024 01:22 3m 14s main
main
November 2, 2024 01:22 3m 14s
CompatHelper CompatHelper #296: Scheduled
November 1, 2024 01:38 2m 46s main
main
November 1, 2024 01:38 2m 46s
CompatHelper CompatHelper #295: Scheduled
October 31, 2024 01:25 3m 12s main
main
October 31, 2024 01:25 3m 12s
CompatHelper CompatHelper #294: Scheduled
October 30, 2024 01:24 3m 18s main
main
October 30, 2024 01:24 3m 18s
Tableau passes tests on sat and prove up to height 2; further testing… Documentation #126: Commit 4af863e pushed by alberto-paparella
October 29, 2024 13:40 1m 44s dev
dev
October 29, 2024 13:40 1m 44s
Tableau passes tests on sat and prove up to height 2; further testing… Upload coverage reports to Codecov #149: Commit 4af863e pushed by alberto-paparella
October 29, 2024 13:40 1m 24s dev
dev
October 29, 2024 13:40 1m 24s
CompatHelper CompatHelper #293: Scheduled
October 29, 2024 01:25 3m 22s main
main
October 29, 2024 01:25 3m 22s
First complete version of hmvhs; passing tests on alphasat; problems … Documentation #125: Commit cd368dd pushed by alberto-paparella
October 28, 2024 13:44 1m 42s dev
dev
October 28, 2024 13:44 1m 42s
First complete version of hmvhs; passing tests on alphasat; problems … Upload coverage reports to Codecov #148: Commit cd368dd pushed by alberto-paparella
October 28, 2024 13:44 1m 29s dev
dev
October 28, 2024 13:44 1m 29s
CompatHelper CompatHelper #292: Scheduled
October 28, 2024 01:27 3m 8s main
main
October 28, 2024 01:27 3m 8s
CompatHelper CompatHelper #291: Scheduled
October 27, 2024 01:36 3m 1s main
main
October 27, 2024 01:36 3m 1s
CompatHelper: bump compat for SoleLogics to 0.10, (keep existing compat) Documentation #124: Pull request #8 synchronize by giopaglia
October 26, 2024 01:24 1m 59s compathelper/new_version/2024-10-26-01-24-35-038-00727824157
compathelper/new_version/2024-10-26-01-24-35-038-00727824157
October 26, 2024 01:24 1m 59s
CompatHelper: bump compat for SoleLogics to 0.10, (keep existing compat) Upload coverage reports to Codecov #147: Pull request #8 synchronize by giopaglia
October 26, 2024 01:24 6h 0m 20s compathelper/new_version/2024-10-26-01-24-35-038-00727824157
compathelper/new_version/2024-10-26-01-24-35-038-00727824157
October 26, 2024 01:24 6h 0m 20s
CompatHelper: bump compat for SoleLogics to 0.10, (keep existing compat) Upload coverage reports to Codecov #146: Commit 1677ee0 pushed by giopaglia
October 26, 2024 01:24 6h 0m 24s compathelper/new_version/2024-10-26-01-24-35-038-00727824157
compathelper/new_version/2024-10-26-01-24-35-038-00727824157
October 26, 2024 01:24 6h 0m 24s