Skip to content

Actions: aclai-lab/SoleLogics.jl

TagBot

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
149 workflow runs
149 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Added documentation and minor fixes to propositional-logic.jl
TagBot #167: Issue comment #33 (comment) created by codecov bot
October 16, 2024 13:44 3s
October 16, 2024 13:44 3s
Refactor random.jl in generator/formula.jl and generator/random.jl
TagBot #166: Issue comment #31 (comment) created by codecov bot
October 15, 2024 21:08 3s
October 15, 2024 21:08 3s
Refactor random.jl in generator/formula.jl and generator/random.jl
TagBot #165: Issue comment #31 (comment) created by mauro-milella
October 15, 2024 18:35 3s
October 15, 2024 18:35 3s
Separate interpretation sets
TagBot #164: Issue comment #30 (comment) created by codecov bot
October 10, 2024 09:29 2s
October 10, 2024 09:29 2s
Dev marco
TagBot #163: Issue comment #29 (comment) created by codecov bot
October 10, 2024 09:21 2s
October 10, 2024 09:21 2s
TagBot trigger issue
TagBot #162: Issue comment #20 (comment) created by JuliaTagBot
August 12, 2024 11:59 23s
August 12, 2024 11:59 23s
Issue for JuliaRegistrator
TagBot #161: Issue comment #14 (comment) created by JuliaRegistrator
August 12, 2024 11:40 2s
August 12, 2024 11:40 2s
Issue for JuliaRegistrator
TagBot #160: Issue comment #14 (comment) created by giopaglia
August 12, 2024 11:40 1s
August 12, 2024 11:40 1s
Issue for JuliaRegistrator
TagBot #159: Issue comment #14 (comment) created by JuliaRegistrator
July 31, 2024 16:06 2s
July 31, 2024 16:06 2s
Issue for JuliaRegistrator
TagBot #158: Issue comment #14 (comment) created by giopaglia
July 31, 2024 16:05 3s
July 31, 2024 16:05 3s
CompatHelper: bump compat for Dictionaries to 0.4, (keep existing compat)
TagBot #157: Issue comment #28 (comment) created by codecov bot
July 16, 2024 01:52 2s
July 16, 2024 01:52 2s
TagBot trigger issue
TagBot #156: Issue comment #20 (comment) created by JuliaTagBot
July 12, 2024 12:29 23s
July 12, 2024 12:29 23s
Issue for JuliaRegistrator
TagBot #155: Issue comment #14 (comment) created by JuliaRegistrator
July 12, 2024 12:14 2s
July 12, 2024 12:14 2s
Issue for JuliaRegistrator
TagBot #154: Issue comment #14 (comment) created by giopaglia
July 12, 2024 12:14 2s
July 12, 2024 12:14 2s
TagBot trigger issue
TagBot #153: Issue comment #20 (comment) created by JuliaTagBot
July 6, 2024 10:21 24s
July 6, 2024 10:21 24s
Issue for JuliaRegistrator
TagBot #152: Issue comment #14 (comment) created by JuliaRegistrator
July 6, 2024 10:06 2s
July 6, 2024 10:06 2s
Issue for JuliaRegistrator
TagBot #151: Issue comment #14 (comment) created by giopaglia
July 6, 2024 10:06 2s
July 6, 2024 10:06 2s
TagBot trigger issue
TagBot #150: Issue comment #20 (comment) created by JuliaTagBot
July 4, 2024 13:39 21s
July 4, 2024 13:39 21s
Issue for JuliaRegistrator
TagBot #149: Issue comment #14 (comment) created by JuliaRegistrator
July 4, 2024 13:17 2s
July 4, 2024 13:17 2s
Issue for JuliaRegistrator
TagBot #148: Issue comment #14 (comment) created by giopaglia
July 4, 2024 13:17 3s
July 4, 2024 13:17 3s
TagBot trigger issue
TagBot #147: Issue comment #20 (comment) created by JuliaTagBot
June 10, 2024 10:23 22s
June 10, 2024 10:23 22s
Issue for JuliaRegistrator
TagBot #146: Issue comment #14 (comment) created by JuliaRegistrator
June 10, 2024 10:09 1s
June 10, 2024 10:09 1s
Issue for JuliaRegistrator
TagBot #145: Issue comment #14 (comment) created by giopaglia
June 10, 2024 10:09 3s
June 10, 2024 10:09 3s
Issue for JuliaRegistrator
TagBot #144: Issue comment #14 (comment) created by JuliaRegistrator
June 10, 2024 10:00 2s
June 10, 2024 10:00 2s
Issue for JuliaRegistrator
TagBot #143: Issue comment #14 (comment) created by giopaglia
June 10, 2024 10:00 3s
June 10, 2024 10:00 3s