Skip to content

Actions: kalmarek/KnuthBendix.jl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
330 workflow runs
330 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

rewrite rewrite docs CI #317: Pull request #69 opened by kalmarek
October 2, 2023 13:21 12m 16s mk/rewrite_rewrite_docs
mk/rewrite_rewrite_docs
October 2, 2023 13:21 12m 16s
rewrite rewrite docs :D CI #316: Commit 6f71e53 pushed by kalmarek
October 2, 2023 13:21 12m 23s mk/rewrite_rewrite_docs
mk/rewrite_rewrite_docs
October 2, 2023 13:21 12m 23s
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
pages build and deployment pages-build-deployment #1: by kalmarek
October 2, 2023 11:26 57s gh-pages
gh-pages
October 2, 2023 11:26 57s
Merge pull request #68 from kalmarek/mk/docs_docs_docs Documentation #8: Commit c9590de pushed by kalmarek
October 2, 2023 10:33 1m 52s master
master
October 2, 2023 10:33 1m 52s
Merge pull request #68 from kalmarek/mk/docs_docs_docs CI #315: Commit c9590de pushed by kalmarek
October 2, 2023 10:33 10m 2s master
master
October 2, 2023 10:33 10m 2s
docs docs docs CI #314: Pull request #68 synchronize by kalmarek
October 2, 2023 10:11 14m 6s mk/docs_docs_docs
mk/docs_docs_docs
October 2, 2023 10:11 14m 6s
docs docs docs Documentation #7: Pull request #68 synchronize by kalmarek
October 2, 2023 10:11 1m 53s mk/docs_docs_docs
mk/docs_docs_docs
October 2, 2023 10:11 1m 53s
add test for default reduce!(::RewritingSystem) CI #313: Commit 10ccd50 pushed by kalmarek
October 2, 2023 10:11 7m 55s mk/docs_docs_docs
mk/docs_docs_docs
October 2, 2023 10:11 7m 55s
docs docs docs CI #312: Pull request #68 synchronize by kalmarek
October 2, 2023 10:09 12m 31s mk/docs_docs_docs
mk/docs_docs_docs
October 2, 2023 10:09 12m 31s
docs docs docs Documentation #6: Pull request #68 synchronize by kalmarek
October 2, 2023 10:09 1m 49s mk/docs_docs_docs
mk/docs_docs_docs
October 2, 2023 10:09 1m 49s
simplify user interface for kbmag files parsing CI #311: Commit 6f77edd pushed by kalmarek
October 2, 2023 10:09 13m 18s mk/docs_docs_docs
mk/docs_docs_docs
October 2, 2023 10:09 13m 18s
docs docs docs Documentation #5: Pull request #68 synchronize by kalmarek
October 1, 2023 23:41 1m 42s mk/docs_docs_docs
mk/docs_docs_docs
October 1, 2023 23:41 1m 42s
docs docs docs CI #310: Pull request #68 synchronize by kalmarek
October 1, 2023 23:41 11m 10s mk/docs_docs_docs
mk/docs_docs_docs
October 1, 2023 23:41 11m 10s
run doctests in runtests CI #309: Commit c2870cd pushed by kalmarek
October 1, 2023 23:41 9m 23s mk/docs_docs_docs
mk/docs_docs_docs
October 1, 2023 23:41 9m 23s
docs docs docs Documentation #4: Pull request #68 synchronize by kalmarek
October 1, 2023 23:26 1m 27s mk/docs_docs_docs
mk/docs_docs_docs
October 1, 2023 23:26 1m 27s
docs docs docs CI #308: Pull request #68 synchronize by kalmarek
October 1, 2023 23:26 5m 37s mk/docs_docs_docs
mk/docs_docs_docs
October 1, 2023 23:26 5m 37s
fixes to jldoctest CI #307: Commit da78e8e pushed by kalmarek
October 1, 2023 23:26 5m 37s mk/docs_docs_docs
mk/docs_docs_docs
October 1, 2023 23:26 5m 37s
docs docs docs Documentation #3: Pull request #68 synchronize by kalmarek
October 1, 2023 21:13 1m 28s mk/docs_docs_docs
mk/docs_docs_docs
October 1, 2023 21:13 1m 28s
docs docs docs CI #306: Pull request #68 synchronize by kalmarek
October 1, 2023 21:13 9m 49s mk/docs_docs_docs
mk/docs_docs_docs
October 1, 2023 21:13 9m 49s
fixes to jldoctest CI #305: Commit f6c11e4 pushed by kalmarek
October 1, 2023 21:13 9m 58s mk/docs_docs_docs
mk/docs_docs_docs
October 1, 2023 21:13 9m 58s
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
docs docs docs CI #304: Pull request #68 synchronize by kalmarek
October 1, 2023 15:43 6m 29s mk/docs_docs_docs
mk/docs_docs_docs
October 1, 2023 15:43 6m 29s
docs docs docs Documentation #2: Pull request #68 synchronize by kalmarek
October 1, 2023 15:43 1m 50s mk/docs_docs_docs
mk/docs_docs_docs
October 1, 2023 15:43 1m 50s
update tests for changes to KbmagRWS CI #303: Commit a413dd8 pushed by kalmarek
October 1, 2023 15:43 13m 38s mk/docs_docs_docs
mk/docs_docs_docs
October 1, 2023 15:43 13m 38s
ProTip! You can narrow down the results and go further in time using created:<2023-10-01 or the other filters available.