Skip to content

Actions: aclai-lab/SoleReasoners.jl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
628 workflow runs
628 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Small fix Upload coverage reports to Codecov #39: Commit 9fd24f7 pushed by alberto-paparella
January 22, 2024 16:51 1m 21s fuzzy
fuzzy
January 22, 2024 16:51 1m 21s
Added implication rules and various changes Upload coverage reports to Codecov #38: Commit 3a1dcf0 pushed by alberto-paparella
January 22, 2024 16:45 1m 16s fuzzy
fuzzy
January 22, 2024 16:45 1m 16s
Added disjunction rules and minor fix Upload coverage reports to Codecov #37: Commit 00b13cb pushed by alberto-paparella
January 22, 2024 15:55 1m 24s fuzzy
fuzzy
January 22, 2024 15:55 1m 24s
Added conjunction rules and some comments Upload coverage reports to Codecov #36: Commit 3df531d pushed by alberto-paparella
January 22, 2024 15:42 1m 21s fuzzy
fuzzy
January 22, 2024 15:42 1m 21s
Added reverse rules and major changed in general Upload coverage reports to Codecov #35: Commit dfdd469 pushed by alberto-paparella
January 22, 2024 15:22 1m 16s fuzzy
fuzzy
January 22, 2024 15:22 1m 16s
CompatHelper CompatHelper #12: Scheduled
January 22, 2024 01:11 2m 29s main
main
January 22, 2024 01:11 2m 29s
CompatHelper CompatHelper #11: Scheduled
January 21, 2024 01:13 2m 28s main
main
January 21, 2024 01:13 2m 28s
CompatHelper CompatHelper #10: Scheduled
January 20, 2024 01:07 2m 53s main
main
January 20, 2024 01:07 2m 53s
CompatHelper CompatHelper #9: Scheduled
January 19, 2024 01:08 2m 33s main
main
January 19, 2024 01:08 2m 33s
CompatHelper CompatHelper #8: Scheduled
January 18, 2024 01:08 2m 41s main
main
January 18, 2024 01:08 2m 41s
CompatHelper CompatHelper #7: Scheduled
January 17, 2024 01:08 2m 33s main
main
January 17, 2024 01:08 2m 33s
CompatHelper CompatHelper #6: Scheduled
January 16, 2024 01:08 2m 25s main
main
January 16, 2024 01:08 2m 25s
Added branch closure conditions Upload coverage reports to Codecov #34: Commit 884c251 pushed by alberto-paparella
January 15, 2024 17:23 1m 15s fuzzy
fuzzy
January 15, 2024 17:23 1m 15s
Added new branch fuzzy Upload coverage reports to Codecov #33: Commit 46bda48 pushed by alberto-paparella
January 15, 2024 13:50 1m 38s fuzzy
fuzzy
January 15, 2024 13:50 1m 38s
pages build and deployment with artifacts-next pages-build-deployment #25: by github-pages bot
January 15, 2024 13:11 46s
January 15, 2024 13:11 46s
Added test Documentation #27: Commit dd532b1 pushed by alberto-paparella
January 15, 2024 13:09 1m 59s main
main
January 15, 2024 13:09 1m 59s
Added test Upload coverage reports to Codecov #32: Commit dd532b1 pushed by alberto-paparella
January 15, 2024 13:09 1m 31s main
main
January 15, 2024 13:09 1m 31s
pages build and deployment with artifacts-next pages-build-deployment #24: by github-pages bot
January 15, 2024 12:12 48s
January 15, 2024 12:12 48s
Added tests, refactorized becnhmark Upload coverage reports to Codecov #31: Commit efa83c0 pushed by alberto-paparella
January 15, 2024 12:10 2m 4s main
main
January 15, 2024 12:10 2m 4s
Added tests, refactorized becnhmark Documentation #26: Commit efa83c0 pushed by alberto-paparella
January 15, 2024 12:10 1m 57s main
main
January 15, 2024 12:10 1m 57s
pages build and deployment with artifacts-next pages-build-deployment #23: by github-pages bot
January 15, 2024 12:02 47s
January 15, 2024 12:02 47s
Added test Upload coverage reports to Codecov #30: Commit 771e52e pushed by alberto-paparella
January 15, 2024 12:00 1m 40s main
main
January 15, 2024 12:00 1m 40s
Added test Documentation #25: Commit 771e52e pushed by alberto-paparella
January 15, 2024 12:00 1m 59s main
main
January 15, 2024 12:00 1m 59s
pages build and deployment pages-build-deployment #22: by github-pages bot
January 15, 2024 11:54 49s
January 15, 2024 11:54 49s
Refactorized code and updated docs Documentation #24: Commit 9ec4e34 pushed by alberto-paparella
January 15, 2024 11:53 1m 58s main
main
January 15, 2024 11:53 1m 58s
ProTip! You can narrow down the results and go further in time using created:<2024-01-15 or the other filters available.