Skip to content

Actions: kalmarek/KnuthBendix.jl

TagBot

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
23 workflow runs
23 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

TagBot trigger issue
TagBot #295: Issue comment #44 (comment) created by JuliaTagBot
November 24, 2024 23:09 48s
November 24, 2024 23:09 48s
Bump peter-evans/find-comment from 2 to 3
TagBot #294: Issue comment #82 (comment) created by codecov-commenter
November 20, 2024 18:03 1s
November 20, 2024 18:03 1s
Bump julia-actions/cache from 1 to 2
TagBot #293: Issue comment #81 (comment) created by codecov-commenter
November 20, 2024 18:03 2s
November 20, 2024 18:03 2s
Bump peter-evans/create-or-update-comment from 3 to 4
TagBot #292: Issue comment #86 (comment) created by dependabot bot
November 20, 2024 11:43 2s
November 20, 2024 11:43 2s
Bump codecov/codecov-action from 4 to 5
TagBot #291: Issue comment #85 (comment) created by dependabot bot
November 20, 2024 11:43 3s
November 20, 2024 11:43 3s
Bump actions/checkout from 2 to 4
TagBot #290: Issue comment #84 (comment) created by dependabot bot
November 20, 2024 11:43 4s
November 20, 2024 11:43 4s
Bump julia-actions/setup-julia from 1 to 2
TagBot #289: Issue comment #83 (comment) created by dependabot bot
November 20, 2024 11:43 4s
November 20, 2024 11:43 4s
Bump peter-evans/find-comment from 2 to 3
TagBot #288: Issue comment #82 (comment) created by dependabot bot
November 20, 2024 11:43 3s
November 20, 2024 11:43 3s
Bump julia-actions/cache from 1 to 2
TagBot #287: Issue comment #81 (comment) created by dependabot bot
November 20, 2024 11:43 3s
November 20, 2024 11:43 3s
add example implementation of Monoids
TagBot #286: Issue comment #80 (comment) created by codecov-commenter
November 18, 2024 17:34 3s
November 18, 2024 17:34 3s
add precompile workload
TagBot #285: Issue comment #79 (comment) created by codecov-commenter
October 23, 2024 21:57 2s
October 23, 2024 21:57 2s
Benchmarking example
TagBot #284: Issue comment #78 (comment) created by kalmarek
September 3, 2024 15:24 2s
September 3, 2024 15:24 2s
add benchmarks
TagBot #283: Issue comment #77 (comment) created by codecov-commenter
August 20, 2024 14:04 3s
August 20, 2024 14:04 3s
Add PrefixAutomaton
TagBot #282: Issue comment #76 (comment) created by codecov-commenter
July 31, 2024 15:47 2s
July 31, 2024 15:47 2s
Prefix automaton -- julia bug?
TagBot #281: Issue comment #75 (comment) created by codecov-commenter
July 31, 2024 15:16 2s
July 31, 2024 15:16 2s
Enable filtering of added rules via knobs in Settings
TagBot #280: Issue comment #74 (comment) created by codecov-commenter
July 25, 2024 13:16 2s
July 25, 2024 13:16 2s
rename index automaton terminals
TagBot #279: Issue comment #73 (comment) created by codecov-commenter
July 22, 2024 11:45 1s
July 22, 2024 11:45 1s
general cleanup
TagBot #278: Issue comment #72 (comment) created by codecov-commenter
July 19, 2024 13:23 3s
July 19, 2024 13:23 3s
rename completion algs
TagBot #277: Issue comment #71 (comment) created by codecov-commenter
July 8, 2024 20:14 2s
July 8, 2024 20:14 2s
Enumerate normal forms from a given RewritingSystem/Automaton
TagBot #276: Issue comment #35 (comment) created by kalmarek
October 8, 2023 19:49 2s
October 8, 2023 19:49 2s
rewrite rewrite docs
TagBot #275: Issue comment #69 (comment) created by codecov-commenter
October 2, 2023 13:24 3s
October 2, 2023 13:24 3s
Enumerate normal forms from a given RewritingSystem/Automaton
TagBot #274: Issue comment #35 (comment) created by kalmarek
October 2, 2023 12:57 3s
October 2, 2023 12:57 3s
docs docs docs
TagBot #273: Issue comment #68 (comment) created by codecov-commenter
October 1, 2023 15:46 3s
October 1, 2023 15:46 3s