Skip to content

Actions: kalmarek/KnuthBendix.jl

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
140 workflow runs
140 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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 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 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 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 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
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
docs docs docs CI #302: Pull request #68 opened by kalmarek
October 1, 2023 15:38 7m 23s mk/docs_docs_docs
mk/docs_docs_docs
October 1, 2023 15:38 7m 23s
small fixes in docs CI #301: Commit 1507000 pushed by kalmarek
October 1, 2023 15:35 8m 56s mk/docs_docs_docs
mk/docs_docs_docs
October 1, 2023 15:35 8m 56s
add normal form for nc_groebner basis example CI #300: Commit 081d21f pushed by kalmarek
October 1, 2023 15:16 12m 40s mk/docs_docs_docs
mk/docs_docs_docs
October 1, 2023 15:16 12m 40s