Skip to content

Actions: kalmarek/KnuthBendix.jl

Actions

Documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
documentation.yml
54 workflow runs
54 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #79 from kalmarek/mk/precompile Documentation #54: Commit bcd7788 pushed by kalmarek
October 24, 2024 00:20 1m 39s master
master
October 24, 2024 00:20 1m 39s
add precompile workload Documentation #53: Pull request #79 synchronize by kalmarek
October 23, 2024 23:47 1m 34s mk/precompile
mk/precompile
October 23, 2024 23:47 1m 34s
add precompile workload Documentation #52: Pull request #79 opened by kalmarek
October 23, 2024 21:54 1m 37s mk/precompile
mk/precompile
October 23, 2024 21:54 1m 37s
Merge pull request #77 from kalmarek/mk/add_benchmarks Documentation #51: Commit 82129d9 pushed by kalmarek
August 20, 2024 14:28 1m 43s master
master
August 20, 2024 14:28 1m 43s
add benchmarks Documentation #50: Pull request #77 opened by kalmarek
August 20, 2024 14:02 1m 35s mk/add_benchmarks
mk/add_benchmarks
August 20, 2024 14:02 1m 35s
Merge pull request #76 from kalmarek/mk/prefix_automaton_new Documentation #49: Commit 5f036c3 pushed by kalmarek
August 19, 2024 09:27 1m 37s master
master
August 19, 2024 09:27 1m 37s
Add PrefixAutomaton Documentation #48: Pull request #76 synchronize by kalmarek
August 19, 2024 08:57 1m 41s mk/prefix_automaton_new
mk/prefix_automaton_new
August 19, 2024 08:57 1m 41s
Add PrefixAutomaton Documentation #47: Pull request #76 synchronize by kalmarek
August 15, 2024 12:06 1m 36s mk/prefix_automaton_new
mk/prefix_automaton_new
August 15, 2024 12:06 1m 36s
Add PrefixAutomaton Documentation #46: Pull request #76 synchronize by kalmarek
August 14, 2024 15:27 1m 29s mk/prefix_automaton_new
mk/prefix_automaton_new
August 14, 2024 15:27 1m 29s
Add PrefixAutomaton Documentation #45: Pull request #76 synchronize by kalmarek
August 14, 2024 13:49 1m 29s mk/prefix_automaton_new
mk/prefix_automaton_new
August 14, 2024 13:49 1m 29s
Add PrefixAutomaton Documentation #44: Pull request #76 synchronize by kalmarek
August 9, 2024 22:57 1m 23s mk/prefix_automaton_new
mk/prefix_automaton_new
August 9, 2024 22:57 1m 23s
Add PrefixAutomaton Documentation #43: Pull request #76 synchronize by kalmarek
August 9, 2024 22:24 1m 20s mk/prefix_automaton_new
mk/prefix_automaton_new
August 9, 2024 22:24 1m 20s
Add PrefixAutomaton Documentation #42: Pull request #76 synchronize by kalmarek
August 6, 2024 15:53 1m 21s mk/prefix_automaton_new
mk/prefix_automaton_new
August 6, 2024 15:53 1m 21s
Add PrefixAutomaton Documentation #41: Pull request #76 synchronize by kalmarek
August 6, 2024 15:49 1m 26s mk/prefix_automaton_new
mk/prefix_automaton_new
August 6, 2024 15:49 1m 26s
Add PrefixAutomaton Documentation #40: Pull request #76 synchronize by kalmarek
August 5, 2024 20:34 1m 35s mk/prefix_automaton_new
mk/prefix_automaton_new
August 5, 2024 20:34 1m 35s
Add PrefixAutomaton Documentation #39: Pull request #76 opened by kalmarek
July 31, 2024 15:43 1m 33s mk/prefix_automaton_new
mk/prefix_automaton_new
July 31, 2024 15:43 1m 33s
Prefix automaton -- julia bug? Documentation #38: Pull request #75 synchronize by kalmarek
July 31, 2024 15:11 1m 33s mk/prefix_automaton
mk/prefix_automaton
July 31, 2024 15:11 1m 33s
Prefix automaton -- julia bug? Documentation #37: Pull request #75 synchronize by kalmarek
July 31, 2024 15:08 1m 35s mk/prefix_automaton
mk/prefix_automaton
July 31, 2024 15:08 1m 35s
Prefix automaton -- julia bug? Documentation #36: Pull request #75 opened by kalmarek
July 30, 2024 10:30 1m 36s mk/prefix_automaton
mk/prefix_automaton
July 30, 2024 10:30 1m 36s
Merge pull request #74 from kalmarek/mk/filter_rules Documentation #35: Commit 690cfa8 pushed by kalmarek
July 29, 2024 12:07 1m 32s master
master
July 29, 2024 12:07 1m 32s
Enable filtering of added rules via knobs in Settings Documentation #34: Pull request #74 synchronize by kalmarek
July 29, 2024 11:46 1m 32s mk/filter_rules
mk/filter_rules
July 29, 2024 11:46 1m 32s
Enable filtering of added rules via knobs in Settings Documentation #33: Pull request #74 opened by kalmarek
July 25, 2024 13:15 1m 34s mk/filter_rules
mk/filter_rules
July 25, 2024 13:15 1m 34s
Merge pull request #73 from kalmarek/mk/rename_index_at_terminals Documentation #32: Commit f8e65d9 pushed by kalmarek
July 22, 2024 12:13 1m 33s master
master
July 22, 2024 12:13 1m 33s
rename index automaton terminals Documentation #31: Pull request #73 synchronize by kalmarek
July 22, 2024 11:53 1m 32s mk/rename_index_at_terminals
mk/rename_index_at_terminals
July 22, 2024 11:53 1m 32s
rename index automaton terminals Documentation #30: Pull request #73 opened by kalmarek
July 22, 2024 11:45 1m 34s mk/rename_index_at_terminals
mk/rename_index_at_terminals
July 22, 2024 11:45 1m 34s