| .. |
|
build.yml
|
22518fa15f
ci: account for APK as default on main branch
|
il y a 2 semaines |
|
check_source_branch_is_not_master.yml
|
048c39abdf
house-keeping: PR template with submission checklist
|
il y a 10 mois |
|
ci_helpers.sh
|
dc7144ffed
CI: add formal tests
|
il y a 3 ans |
|
codeql.yml
|
198a2dd20e
house-keeping: Enable Code Query Language (CodeQL) scanning
|
il y a 10 mois |
|
formal.yml
|
e557e17829
house-keeping: workflow improvements
|
il y a 9 mois |
|
jsdoc.yml
|
d88d40c24d
house-keeping: Enable jsdoc workflow to run in forks also.
|
il y a 10 mois |
Daniel Nilsson
22518fa15f
ci: account for APK as default on main branch