Skip to content

Actions: aclai-lab/SoleModels.jl

Actions

Upload coverage reports to Codecov

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
285 workflow runs
285 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'type-edo' of https://github.com/aclai-lab/SoleModels.jl… Upload coverage reports to Codecov #281: Commit 74a06ec pushed by edo-007
February 4, 2024 18:56 2m 17s type-edo
type-edo
February 4, 2024 18:56 2m 17s
Renamings Upload coverage reports to Codecov #280: Commit 221e696 pushed by giopaglia
February 2, 2024 14:15 9m 1s type_hierarchy
type_hierarchy
February 2, 2024 14:15 9m 1s
Merge branch 'main' into dev Upload coverage reports to Codecov #279: Commit bc67c42 pushed by giopaglia
February 2, 2024 14:13 2m 10s dev
dev
February 2, 2024 14:13 2m 10s
Minor Upload coverage reports to Codecov #278: Commit f640c7a pushed by giopaglia
February 2, 2024 14:13 2m 11s dev
dev
February 2, 2024 14:13 2m 11s
export PropositionalLogiset Upload coverage reports to Codecov #277: Commit 5d878e2 pushed by giopaglia
January 29, 2024 17:04 2m 16s type-edo
type-edo
January 29, 2024 17:04 2m 16s
Changing: AbstractLogiset -> AbstractModalLogiset, adding AbstractPro… Upload coverage reports to Codecov #276: Commit 813833a pushed by edo-007
January 29, 2024 15:28 2m 28s type-edo
type-edo
January 29, 2024 15:28 2m 28s
Update .cirrus.yml Upload coverage reports to Codecov #275: Commit 460d2ec pushed by alberto-paparella
January 25, 2024 09:03 10m 41s main
main
January 25, 2024 09:03 10m 41s
Update, remove Top Upload coverage reports to Codecov #274: Commit ca5dfca pushed by giopaglia
January 16, 2024 12:01 2m 10s dev
dev
January 16, 2024 12:01 2m 10s
Comment Upload coverage reports to Codecov #273: Commit 8e352aa pushed by mauro-milella
December 13, 2023 10:17 10m 36s dev
dev
December 13, 2023 10:17 10m 36s
Minor and add parenthesize_modforms Upload coverage reports to Codecov #272: Commit 3645303 pushed by giopaglia
December 7, 2023 07:53 10m 58s v0.5.6
v0.5.6
December 7, 2023 07:53 10m 58s
Minor and add parenthesize_modforms Upload coverage reports to Codecov #271: Commit 3645303 pushed by giopaglia
December 7, 2023 07:35 10m 36s main
main
December 7, 2023 07:35 10m 36s
Bump Upload coverage reports to Codecov #270: Commit f8ddc59 pushed by giopaglia
December 7, 2023 05:10 11m 10s main
main
December 7, 2023 05:10 11m 10s
Fix Upload coverage reports to Codecov #269: Commit 9d4dd49 pushed by giopaglia
December 6, 2023 23:57 10m 52s v0.5.5
v0.5.5
December 6, 2023 23:57 10m 52s
Fix Upload coverage reports to Codecov #268: Commit 9d4dd49 pushed by giopaglia
December 6, 2023 23:48 10m 43s main
main
December 6, 2023 23:48 10m 43s
Fix Upload coverage reports to Codecov #267: Commit 8d13635 pushed by giopaglia
December 6, 2023 23:32 2m 17s main
main
December 6, 2023 23:32 2m 17s
Fix Upload coverage reports to Codecov #266: Commit 47defac pushed by giopaglia
December 6, 2023 23:28 2m 17s main
main
December 6, 2023 23:28 2m 17s
Bump Upload coverage reports to Codecov #265: Commit 64639ba pushed by giopaglia
December 6, 2023 23:17 2m 19s main
main
December 6, 2023 23:17 2m 19s
Improve formula2natlang and feature abbreviations Upload coverage reports to Codecov #264: Commit 1ad7fde pushed by giopaglia
December 6, 2023 23:16 2m 17s main
main
December 6, 2023 23:16 2m 17s
Improved fix DecisionTree construction! Upload coverage reports to Codecov #263: Commit ced4ea1 pushed by giopaglia
December 6, 2023 21:33 10m 53s v0.5.4
v0.5.4
December 6, 2023 21:33 10m 53s
Improved fix DecisionTree construction! Upload coverage reports to Codecov #262: Commit ced4ea1 pushed by giopaglia
December 6, 2023 21:18 10m 26s main
main
December 6, 2023 21:18 10m 26s
Fix and bump Upload coverage reports to Codecov #261: Commit b3f406b pushed by giopaglia
December 4, 2023 12:40 10m 55s v0.5.3
v0.5.3
December 4, 2023 12:40 10m 55s
Fix and bump Upload coverage reports to Codecov #260: Commit b3f406b pushed by giopaglia
December 4, 2023 12:19 10m 57s main
main
December 4, 2023 12:19 10m 57s
Fix Upload coverage reports to Codecov #259: Commit 09dc95d pushed by giopaglia
December 1, 2023 08:05 11m 21s v0.5.2
v0.5.2
December 1, 2023 08:05 11m 21s
Fix Upload coverage reports to Codecov #258: Commit 09dc95d pushed by giopaglia
December 1, 2023 06:53 2m 18s main
main
December 1, 2023 06:53 2m 18s
Fix Upload coverage reports to Codecov #257: Commit 09dc95d pushed by giopaglia
December 1, 2023 06:52 2m 17s dev
dev
December 1, 2023 06:52 2m 17s