GroupRings.jl/.github/workflows
kalmarek 6515bc373a
add ci+tagbot through gh actions
2020-10-14 23:05:57 +02:00
..
TagBot.yml add ci+tagbot through gh actions 2020-10-14 23:05:57 +02:00
runtests.yml add ci+tagbot through gh actions 2020-10-14 23:05:57 +02:00