Skip to content

Actions: aclai-lab/SoleLogics.jl

Actions

Upload coverage reports to Codecov

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
731 workflow runs
731 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Refactor random.jl in generator/formula.jl and generator/random.jl Upload coverage reports to Codecov #933: Pull request #31 synchronize by mauro-milella
October 16, 2024 18:07 2m 39s mauro-milella:dev
mauro-milella:dev
October 16, 2024 18:07 2m 39s
Refactor random.jl in generator/formula.jl and generator/random.jl Upload coverage reports to Codecov #932: Pull request #31 synchronize by mauro-milella
October 16, 2024 17:48 2m 38s mauro-milella:dev
mauro-milella:dev
October 16, 2024 17:48 2m 38s
Refactor random.jl in generator/formula.jl and generator/random.jl Upload coverage reports to Codecov #931: Pull request #31 synchronize by mauro-milella
October 16, 2024 17:45 2m 51s mauro-milella:dev
mauro-milella:dev
October 16, 2024 17:45 2m 51s
Refactor random.jl in generator/formula.jl and generator/random.jl Upload coverage reports to Codecov #930: Pull request #31 synchronize by mauro-milella
October 16, 2024 17:42 2m 59s mauro-milella:dev
mauro-milella:dev
October 16, 2024 17:42 2m 59s
Refactor random.jl in generator/formula.jl and generator/random.jl Upload coverage reports to Codecov #929: Pull request #31 synchronize by mauro-milella
October 16, 2024 17:37 2m 56s mauro-milella:dev
mauro-milella:dev
October 16, 2024 17:37 2m 56s
Refactor random.jl in generator/formula.jl and generator/random.jl Upload coverage reports to Codecov #928: Pull request #31 synchronize by mauro-milella
October 16, 2024 17:25 2m 37s mauro-milella:dev
mauro-milella:dev
October 16, 2024 17:25 2m 37s
Refactor random.jl in generator/formula.jl and generator/random.jl Upload coverage reports to Codecov #927: Pull request #31 synchronize by mauro-milella
October 16, 2024 17:24 2m 42s mauro-milella:dev
mauro-milella:dev
October 16, 2024 17:24 2m 42s
+ utils/syntactical.jl & removed <:AbstractAlphabet from utils/syntac… Upload coverage reports to Codecov #926: Pull request #34 opened by edo-007
October 16, 2024 15:45 1m 9s edo-007:dev
edo-007:dev
October 16, 2024 15:45 1m 9s
Added documentation and minor fixes to propositional-logic.jl Upload coverage reports to Codecov #925: Pull request #33 opened by Michele21
October 16, 2024 13:40 3m 5s Michele21:dev
Michele21:dev
October 16, 2024 13:40 3m 5s
Refactor random.jl in generator/formula.jl and generator/random.jl Upload coverage reports to Codecov #924: Pull request #31 synchronize by mauro-milella
October 16, 2024 13:28 3m 3s mauro-milella:dev
mauro-milella:dev
October 16, 2024 13:28 3m 3s
Refactor random.jl in generator/formula.jl and generator/random.jl Upload coverage reports to Codecov #923: Pull request #31 synchronize by mauro-milella
October 16, 2024 13:02 2m 55s mauro-milella:dev
mauro-milella:dev
October 16, 2024 13:02 2m 55s
Refactor random.jl in generator/formula.jl and generator/random.jl Upload coverage reports to Codecov #922: Pull request #31 synchronize by mauro-milella
October 15, 2024 21:04 2m 59s mauro-milella:dev
mauro-milella:dev
October 15, 2024 21:04 2m 59s
Refactor random.jl in generator/formula.jl and generator/random.jl Upload coverage reports to Codecov #921: Pull request #31 synchronize by mauro-milella
October 15, 2024 18:46 1m 25s mauro-milella:dev
mauro-milella:dev
October 15, 2024 18:46 1m 25s
Refactor random.jl in generator/formula.jl and generator/random.jl Upload coverage reports to Codecov #920: Pull request #31 synchronize by mauro-milella
October 15, 2024 18:32 2m 59s mauro-milella:dev
mauro-milella:dev
October 15, 2024 18:32 2m 59s
Refactor random.jl in generator/formula.jl and generator/random.jl Upload coverage reports to Codecov #919: Pull request #31 synchronize by mauro-milella
October 15, 2024 18:29 2m 30s mauro-milella:dev
mauro-milella:dev
October 15, 2024 18:29 2m 30s
Refactor random.jl in generator/formula.jl and generator/random.jl Upload coverage reports to Codecov #918: Pull request #31 synchronize by mauro-milella
October 15, 2024 18:27 3m 6s mauro-milella:dev
mauro-milella:dev
October 15, 2024 18:27 3m 6s
Refactor random.jl in generator/formula.jl and generator/random.jl Upload coverage reports to Codecov #917: Pull request #31 synchronize by mauro-milella
October 15, 2024 18:21 2m 57s mauro-milella:dev
mauro-milella:dev
October 15, 2024 18:21 2m 57s
Paso_utils.jl Upload coverage reports to Codecov #916: Pull request #32 opened by PasoStudio73
October 15, 2024 16:36 1m 52s PasoStudio73:dev
PasoStudio73:dev
October 15, 2024 16:36 1m 52s
Separate interpretation sets Upload coverage reports to Codecov #915: Pull request #30 synchronize by giopaglia
October 15, 2024 14:29 2m 49s giopaglia:dev
giopaglia:dev
October 15, 2024 14:29 2m 49s
Refactor random.jl in generator/formula.jl and generator/random.jl Upload coverage reports to Codecov #914: Pull request #31 opened by mauro-milella
October 15, 2024 12:21 1m 19s mauro-milella:dev
mauro-milella:dev
October 15, 2024 12:21 1m 19s
Separate interpretation sets Upload coverage reports to Codecov #913: Pull request #30 synchronize by giopaglia
October 14, 2024 14:26 3m 9s giopaglia:dev
giopaglia:dev
October 14, 2024 14:26 3m 9s
Separate interpretation sets Upload coverage reports to Codecov #912: Pull request #30 synchronize by giopaglia
October 14, 2024 13:57 2m 43s giopaglia:dev
giopaglia:dev
October 14, 2024 13:57 2m 43s
Separate interpretation sets Upload coverage reports to Codecov #911: Pull request #30 synchronize by giopaglia
October 14, 2024 13:54 1m 20s giopaglia:dev
giopaglia:dev
October 14, 2024 13:54 1m 20s
Separate interpretation sets Upload coverage reports to Codecov #910: Pull request #30 synchronize by giopaglia
October 14, 2024 13:39 2m 57s giopaglia:dev
giopaglia:dev
October 14, 2024 13:39 2m 57s
Separate interpretation sets Upload coverage reports to Codecov #909: Pull request #30 synchronize by giopaglia
October 14, 2024 13:34 2m 39s giopaglia:dev
giopaglia:dev
October 14, 2024 13:34 2m 39s