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
601 workflow runs
601 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Strip AbstractKripkeStructure from type parameters Upload coverage reports to Codecov #462: Commit 54ec0f2 pushed by giopaglia
November 5, 2023 02:21 1m 39s mauro/type_hierarchy
mauro/type_hierarchy
November 5, 2023 02:21 1m 39s
Strip abstract types AbstractInterpretation and AbstractAssignment fr… Upload coverage reports to Codecov #461: Commit 002a616 pushed by giopaglia
November 5, 2023 02:09 1m 37s mauro/type_hierarchy
mauro/type_hierarchy
November 5, 2023 02:09 1m 37s
Add ack Upload coverage reports to Codecov #460: Commit 191ec14 pushed by giopaglia
November 5, 2023 01:00 1m 54s mauro/type_hierarchy
mauro/type_hierarchy
November 5, 2023 01:00 1m 54s
Add couple tests Upload coverage reports to Codecov #459: Commit 142585b pushed by giopaglia
November 5, 2023 00:57 1m 50s mauro/type_hierarchy
mauro/type_hierarchy
November 5, 2023 00:57 1m 50s
Add truthsupertype, adjust TruthDict Upload coverage reports to Codecov #458: Commit f60040b pushed by giopaglia
November 5, 2023 00:52 2m 15s mauro/type_hierarchy
mauro/type_hierarchy
November 5, 2023 00:52 2m 15s
minor changes Upload coverage reports to Codecov #457: Commit e42396f pushed by mauro-milella
November 4, 2023 16:07 1m 24s mauro/type_hierarchy
mauro/type_hierarchy
November 4, 2023 16:07 1m 24s
TruthDict fix Upload coverage reports to Codecov #456: Commit e702a01 pushed by mauro-milella
November 4, 2023 16:05 1m 27s mauro/type_hierarchy
mauro/type_hierarchy
November 4, 2023 16:05 1m 27s
fix Upload coverage reports to Codecov #455: Commit 1f1b4e1 pushed by mauro-milella
November 4, 2023 14:52 1m 28s mauro/type_hierarchy
mauro/type_hierarchy
November 4, 2023 14:52 1m 28s
removed piece of code (it was an ugly patch that now is not more needed) Upload coverage reports to Codecov #454: Commit 2a27f4c pushed by mauro-milella
November 4, 2023 14:15 1m 21s mauro/type_hierarchy
mauro/type_hierarchy
November 4, 2023 14:15 1m 21s
test hotfix Upload coverage reports to Codecov #453: Commit 719f2cb pushed by mauro-milella
November 4, 2023 14:07 1m 24s mauro/type_hierarchy
mauro/type_hierarchy
November 4, 2023 14:07 1m 24s
Generalized infix_op(many formulas) behavior Upload coverage reports to Codecov #452: Commit be08a69 pushed by giopaglia
November 4, 2023 11:21 2m 2s mauro/type_hierarchy
mauro/type_hierarchy
November 4, 2023 11:21 2m 2s
Fix associativity in helpers for operator(many formulas) Upload coverage reports to Codecov #451: Commit 3fedb1b pushed by giopaglia
November 4, 2023 10:54 1m 25s mauro/type_hierarchy
mauro/type_hierarchy
November 4, 2023 10:54 1m 25s
Fix AnchoredFormula, joinformulas, CONJUNCTION(many formulas...), for… Upload coverage reports to Codecov #450: Commit a1814ef pushed by giopaglia
November 4, 2023 09:58 1m 46s mauro/type_hierarchy
mauro/type_hierarchy
November 4, 2023 09:58 1m 46s
Minor Upload coverage reports to Codecov #449: Commit 0d1e799 pushed by giopaglia
November 4, 2023 03:16 1m 18s mauro/type_hierarchy
mauro/type_hierarchy
November 4, 2023 03:16 1m 18s
fix test Upload coverage reports to Codecov #448: Commit d3c43ff pushed by mauro-milella
November 3, 2023 16:49 1m 26s mauro/type_hierarchy
mauro/type_hierarchy
November 3, 2023 16:49 1m 26s
test fix Upload coverage reports to Codecov #447: Commit f33171c pushed by mauro-milella
November 3, 2023 16:40 1m 42s mauro/type_hierarchy
mauro/type_hierarchy
November 3, 2023 16:40 1m 42s
docstrings.jl cleanse Upload coverage reports to Codecov #446: Commit 363eddf pushed by mauro-milella
November 2, 2023 23:29 2m 15s mauro/type_hierarchy
mauro/type_hierarchy
November 2, 2023 23:29 2m 15s
Proper interface for SyntaxTree Upload coverage reports to Codecov #445: Commit 44a6d75 pushed by giopaglia
November 2, 2023 14:31 2m 6s mauro/type_hierarchy
mauro/type_hierarchy
November 2, 2023 14:31 2m 6s
minor change to docstring Upload coverage reports to Codecov #444: Commit 2f44e03 pushed by mauro-milella
November 1, 2023 10:15 2m 25s mauro/type_hierarchy
mauro/type_hierarchy
November 1, 2023 10:15 2m 25s
comment Upload coverage reports to Codecov #443: Commit 3a3c06d pushed by mauro-milella
November 1, 2023 00:15 2m 7s mauro/type_hierarchy
mauro/type_hierarchy
November 1, 2023 00:15 2m 7s
core.jl huge restyling Upload coverage reports to Codecov #442: Commit 945d3f1 pushed by mauro-milella
November 1, 2023 00:00 2m 0s mauro/type_hierarchy
mauro/type_hierarchy
November 1, 2023 00:00 2m 0s
test fixed Upload coverage reports to Codecov #441: Commit 137db4f pushed by mauro-milella
October 31, 2023 16:36 2m 11s mauro/type_hierarchy
mauro/type_hierarchy
October 31, 2023 16:36 2m 11s
fix Upload coverage reports to Codecov #440: Commit 3147813 pushed by mauro-milella
October 31, 2023 16:34 2m 54s mauro/type_hierarchy
mauro/type_hierarchy
October 31, 2023 16:34 2m 54s
t::SyntaxLeaf -> l::SyntaxLeaf Upload coverage reports to Codecov #439: Commit 02e34b8 pushed by mauro-milella
October 31, 2023 16:32 4m 18s mauro/type_hierarchy
mauro/type_hierarchy
October 31, 2023 16:32 4m 18s
minor changes Upload coverage reports to Codecov #438: Commit 7f23d52 pushed by mauro-milella
October 31, 2023 10:54 1m 49s mauro/type_hierarchy
mauro/type_hierarchy
October 31, 2023 10:54 1m 49s
ProTip! You can narrow down the results and go further in time using created:<2023-10-31 or the other filters available.