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

[EXPORT] FilteredRelation Upload coverage reports to Codecov #1012: Commit e4039e3 pushed by mauro-milella
November 28, 2024 16:44 27s dev-mauro
dev-mauro
November 28, 2024 16:44 27s
[EXPORT] WorldFilter, FunctionalWorldFilter, IntervalLengthFilter Upload coverage reports to Codecov #1011: Commit f186b92 pushed by mauro-milella
November 28, 2024 16:36 32s dev-mauro
dev-mauro
November 28, 2024 16:36 32s
Bump Upload coverage reports to Codecov #1010: Commit 880a1a4 pushed by mauro-milella
November 28, 2024 16:33 28s dev-mauro
dev-mauro
November 28, 2024 16:33 28s
Add filtered frameÇ Upload coverage reports to Codecov #1009: Commit 54f54a0 pushed by giopaglia
November 28, 2024 16:22 2m 21s gio/refractoring
gio/refractoring
November 28, 2024 16:22 2m 21s
extend syntaxstring for leftmost's Upload coverage reports to Codecov #1008: Commit 882112e pushed by giopaglia
November 28, 2024 16:17 4m 5s gio/refractoring
gio/refractoring
November 28, 2024 16:17 4m 5s
Minor Upload coverage reports to Codecov #1007: Commit 2c3d066 pushed by giopaglia
November 25, 2024 20:56 4m 19s gio/refractoring
gio/refractoring
November 25, 2024 20:56 4m 19s
Minor Upload coverage reports to Codecov #1006: Commit 6db91fe pushed by giopaglia
November 25, 2024 20:54 4m 3s gio/refractoring
gio/refractoring
November 25, 2024 20:54 4m 3s
allow_empty Upload coverage reports to Codecov #1005: Commit c94f543 pushed by giopaglia
November 25, 2024 20:51 3m 44s gio/refractoring
gio/refractoring
November 25, 2024 20:51 3m 44s
Bump Upload coverage reports to Codecov #1004: Commit 880a1a4 pushed by giopaglia
November 25, 2024 13:36 29s dev
dev
November 25, 2024 13:36 29s
Merge branch 'gio/refractoring' into dev-merge Upload coverage reports to Codecov #1003: Commit c88eba9 pushed by giopaglia
November 25, 2024 12:35 4m 8s gio/refractoring
gio/refractoring
November 25, 2024 12:35 4m 8s
Fix relative worlds Upload coverage reports to Codecov #1002: Commit 05d1124 pushed by giopaglia
November 25, 2024 11:20 3m 52s dev-autologiset
dev-autologiset
November 25, 2024 11:20 3m 52s
Add relative worlds. Their accessible's are missing. Upload coverage reports to Codecov #1001: Commit 9bc87a3 pushed by giopaglia
November 25, 2024 11:15 4m 3s dev-autologiset
dev-autologiset
November 25, 2024 11:15 4m 3s
[FIX] broken test (sample into randformula) Upload coverage reports to Codecov #1000: Commit f5fa382 pushed by mauro-milella
November 20, 2024 21:06 4m 4s dev
dev
November 20, 2024 21:06 4m 4s
Added simplify for mixed Finite(Index)Truth and BooleanTruth tuples; … Upload coverage reports to Codecov #999: Pull request #40 opened by alberto-paparella
November 20, 2024 02:37 3m 53s alberto-paparella:gio/refractoring
alberto-paparella:gio/refractoring
November 20, 2024 02:37 3m 53s
Fix test Upload coverage reports to Codecov #998: Commit e569108 pushed by giopaglia
November 19, 2024 16:22 4m 0s gio/refractoring
gio/refractoring
November 19, 2024 16:22 4m 0s
minor fix normal form Upload coverage reports to Codecov #997: Commit 7a9cf46 pushed by giopaglia
November 19, 2024 16:14 3m 49s gio/refractoring
gio/refractoring
November 19, 2024 16:14 3m 49s
Merge branch 'tmp' into gio/refractoring Upload coverage reports to Codecov #996: Commit 5b04205 pushed by giopaglia
November 18, 2024 18:20 4m 2s gio/refractoring
gio/refractoring
November 18, 2024 18:20 4m 2s
Fix Upload coverage reports to Codecov #995: Commit a1ddb3a pushed by giopaglia
November 15, 2024 17:14 3m 53s dev
dev
November 15, 2024 17:14 3m 53s
Fix Upload coverage reports to Codecov #994: Commit d28f2f1 pushed by giopaglia
November 15, 2024 17:12 3m 36s dev
dev
November 15, 2024 17:12 3m 36s
Improve dimensional frame Upload coverage reports to Codecov #993: Commit fd24eda pushed by giopaglia
November 15, 2024 16:55 3m 56s dev
dev
November 15, 2024 16:55 3m 56s
Fix FullDimensionalFrame Upload coverage reports to Codecov #992: Commit bbe0c6a pushed by giopaglia
November 14, 2024 13:47 3m 53s dev
dev
November 14, 2024 13:47 3m 53s
Fix nparameters Upload coverage reports to Codecov #991: Commit 928c1b0 pushed by giopaglia
November 13, 2024 14:45 3m 50s dev
dev
November 13, 2024 14:45 3m 50s
Add nparameters trait Upload coverage reports to Codecov #990: Commit 0a842f1 pushed by giopaglia
November 13, 2024 14:36 4m 1s dev
dev
November 13, 2024 14:36 4m 1s
Fix test Upload coverage reports to Codecov #989: Commit c502b52 pushed by giopaglia
November 11, 2024 14:10 3m 57s dev
dev
November 11, 2024 14:10 3m 57s
Merge branch 'dev' into many-valued-logics Upload coverage reports to Codecov #988: Commit aed3651 pushed by giopaglia
November 11, 2024 14:02 3m 54s dev
dev
November 11, 2024 14:02 3m 54s