Skip to content

Actions: aclai-lab/SoleLogics.jl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,707 workflow runs
1,707 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'merging/mauro' of github.com:aclai-lab/SoleLogics.jl in… Upload coverage reports to Codecov #263: Commit 0d220a3 pushed by mauro-milella
July 23, 2023 01:24 4m 46s merging/mauro
merging/mauro
July 23, 2023 01:24 4m 46s
Bump version Upload coverage reports to Codecov #262: Commit 80e44e3 pushed by giopaglia
July 22, 2023 23:30 4m 8s merging/mauro
merging/mauro
July 22, 2023 23:30 4m 8s
debug print removal Upload coverage reports to Codecov #261: Commit cef04d3 pushed by mauro-milella
July 22, 2023 10:32 4m 3s merging/mauro
merging/mauro
July 22, 2023 10:32 4m 3s
_binary_infix_syntaxstring and testing Upload coverage reports to Codecov #260: Commit f9c72f1 pushed by mauro-milella
July 22, 2023 10:29 4m 16s merging/mauro
merging/mauro
July 22, 2023 10:29 4m 16s
CompatHelper CompatHelper #480: Scheduled
July 22, 2023 01:35 4m 13s main
main
July 22, 2023 01:35 4m 13s
syntaxstring messy but working example Upload coverage reports to Codecov #259: Commit 0d8e79b pushed by mauro-milella
July 22, 2023 00:26 3m 13s merging/mauro
merging/mauro
July 22, 2023 00:26 3m 13s
pages build and deployment pages-build-deployment #58: by github-pages bot
July 22, 2023 00:13 50s
July 22, 2023 00:13 50s
global_diamond, global_box Documenter #21: Commit 2774094 pushed by giopaglia
July 22, 2023 00:11 2m 22s v0.4.3
v0.4.3
July 22, 2023 00:11 2m 22s
global_diamond, global_box Upload coverage reports to Codecov #258: Commit 2774094 pushed by giopaglia
July 22, 2023 00:11 5m 20s v0.4.3
v0.4.3
July 22, 2023 00:11 5m 20s
TagBot trigger issue TagBot #40: Issue comment #20 (comment) created by JuliaTagBot
July 22, 2023 00:07 3m 51s
July 22, 2023 00:07 3m 51s
TagBot trigger issue TagBot #39: Issue comment #20 (comment) created by JuliaTagBot
July 21, 2023 20:06 4m 23s
July 21, 2023 20:06 4m 23s
TagBot trigger issue TagBot #38: Issue comment #20 (comment) created by JuliaTagBot
July 21, 2023 16:05 5m 13s
July 21, 2023 16:05 5m 13s
TagBot trigger issue TagBot #37: Issue comment #20 (comment) created by JuliaTagBot
July 21, 2023 12:05 5m 11s
July 21, 2023 12:05 5m 11s
pages build and deployment pages-build-deployment #57: by github-pages bot
July 21, 2023 04:44 48s
July 21, 2023 04:44 48s
Add parentheses_at_propositions Upload coverage reports to Codecov #257: Commit b525ba3 pushed by giopaglia
July 21, 2023 04:41 5m 6s main
main
July 21, 2023 04:41 5m 6s
Add parentheses_at_propositions Documenter #20: Commit b525ba3 pushed by giopaglia
July 21, 2023 04:41 2m 20s main
main
July 21, 2023 04:41 2m 20s
TagBot trigger issue TagBot #36: Issue comment #20 (comment) created by JuliaTagBot
July 21, 2023 03:57 4m 48s
July 21, 2023 03:57 4m 48s
Issue for JuliaRegistrator TagBot #35: Issue comment #14 (comment) created by JuliaRegistrator
July 21, 2023 03:36 2s
July 21, 2023 03:36 2s
Issue for JuliaRegistrator TagBot #34: Issue comment #14 (comment) created by giopaglia
July 21, 2023 03:36 3s
July 21, 2023 03:36 3s
pages build and deployment pages-build-deployment #56: by github-pages bot
July 21, 2023 03:31 51s
July 21, 2023 03:31 51s
global_diamond, global_box Upload coverage reports to Codecov #256: Commit 2774094 pushed by giopaglia
July 21, 2023 03:27 5m 4s main
main
July 21, 2023 03:27 5m 4s
global_diamond, global_box Documenter #19: Commit 2774094 pushed by giopaglia
July 21, 2023 03:27 3m 13s main
main
July 21, 2023 03:27 3m 13s
pages build and deployment pages-build-deployment #55: by github-pages bot
July 21, 2023 03:19 1m 13s
July 21, 2023 03:19 1m 13s
fix Upload coverage reports to Codecov #255: Commit 647a7a4 pushed by giopaglia
July 21, 2023 03:16 4m 55s main
main
July 21, 2023 03:16 4m 55s
fix Documenter #18: Commit 647a7a4 pushed by giopaglia
July 21, 2023 03:16 2m 42s main
main
July 21, 2023 03:16 2m 42s
ProTip! You can narrow down the results and go further in time using created:<2023-07-21 or the other filters available.