Skip to content

Actions: AlgebraicJulia/GATlab.jl

Actions

TagBot

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
TagBot.yml
113 workflow runs
113 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Wrapper struct for models of a theory TagBot #200: Issue comment #180 (comment) created by codecov bot
December 10, 2024 03:31 3s
December 10, 2024 03:31 3s
Default model TagBot #199: Issue comment #166 (comment) created by kris-brown
December 9, 2024 02:47 2s
December 9, 2024 02:47 2s
Explicit Dispatch model type and @default_model macro TagBot #198: Issue comment #177 (comment) created by codecov bot
December 9, 2024 02:45 3s
December 9, 2024 02:45 3s
Checking if a model implements a theory leads to MethodNotFound error TagBot #197: Issue comment #174 (comment) created by kris-brown
December 9, 2024 00:48 3s
December 9, 2024 00:48 3s
Allow checking if a model does NOT implement a given theory TagBot #196: Issue comment #175 (comment) created by codecov bot
December 9, 2024 00:41 2s
December 9, 2024 00:41 2s
Remove the Model abstract type, simplify model migration code. TagBot #195: Issue comment #172 (comment) created by codecov bot
December 8, 2024 04:01 2s
December 8, 2024 04:01 2s
Fix logic of @import TagBot #194: Issue comment #168 (comment) created by codecov bot
December 8, 2024 03:36 2s
December 8, 2024 03:36 2s
Fix docstring error TagBot #193: Issue comment #171 (comment) created by codecov bot
December 8, 2024 03:21 2s
December 8, 2024 03:21 2s
Allow WithModel dispatch to accept subtypes TagBot #192: Issue comment #170 (comment) created by codecov bot
December 7, 2024 04:14 2s
December 7, 2024 04:14 2s
Adding a method with a theory extension breaks @instance TagBot #191: Issue comment #167 (comment) created by kris-brown
December 6, 2024 22:02 2s
December 6, 2024 22:02 2s
CompatHelper: bump compat for Colors to 0.13, (keep existing compat) TagBot #190: Issue comment #165 (comment) created by codecov bot
October 23, 2024 01:25 2s
October 23, 2024 01:25 2s
Bad docstrings on theories in Julia v1.11 TagBot #189: Issue comment #163 (comment) created by epatters
October 18, 2024 17:52 3s
October 18, 2024 17:52 3s
Bad docstrings on theories in Julia v1.11 TagBot #188: Issue comment #163 (comment) created by lukem12345
October 18, 2024 17:31 2s
October 18, 2024 17:31 2s
Sugar for models with union types TagBot #187: Issue comment #164 (comment) created by kris-brown
October 15, 2024 23:53 3s
October 15, 2024 23:53 3s
Precompile Errors on Julia 1.11.0 TagBot #186: Issue comment #162 (comment) created by epatters
October 10, 2024 18:52 2s
October 10, 2024 18:52 2s
Precompile Errors on Julia 1.11.0 TagBot #185: Issue comment #162 (comment) created by lukem12345
October 10, 2024 18:51 3s
October 10, 2024 18:51 3s
Roe cleanup TagBot #184: Issue comment #161 (comment) created by KevinDCarlson
July 29, 2024 18:23 2s
July 29, 2024 18:23 2s
Roe cleanup TagBot #183: Issue comment #161 (comment) created by jpfairbanks
July 29, 2024 13:47 3s
July 29, 2024 13:47 3s
Compute graphs TagBot #182: Issue comment #160 (comment) created by codecov bot
July 8, 2024 21:16 2s
July 8, 2024 21:16 2s
Refactor of AlgTerm/AlgType to use good sumtypes TagBot #181: Issue comment #158 (comment) created by codecov bot
July 8, 2024 20:28 2s
July 8, 2024 20:28 2s
Use TypeCheck.jl to sort-check instances TagBot #180: Issue comment #159 (comment) created by olynch
July 5, 2024 23:10 1s
July 5, 2024 23:10 1s
Use TypeCheck.jl to sort-check instances TagBot #179: Issue comment #159 (comment) created by olynch
July 5, 2024 23:10 3s
July 5, 2024 23:10 3s
Use TypeCheck.jl to sort-check instances TagBot #178: Issue comment #159 (comment) created by olynch
July 5, 2024 23:09 2s
July 5, 2024 23:09 2s
Good sumtypes TagBot #177: Issue comment #157 (comment) created by codecov bot
July 3, 2024 06:56 2s
July 3, 2024 06:56 2s
Directories and Symbolic Resource Sharers TagBot #176: Issue comment #156 (comment) created by codecov bot
July 3, 2024 01:32 2s
July 3, 2024 01:32 2s