GitHub - casadi/debug: to play with the CI system

Name		Name	Last commit message	Last commit date
Latest commit History 68 Commits
.github/workflows		.github/workflows
debug.gdb		debug.gdb
debug.py		debug.py
get_plugins.m		get_plugins.m
sysid_debug.m		sysid_debug.m
sysid_gauss_newton_patched.m		sysid_gauss_newton_patched.m
sysid_patched.m		sysid_patched.m
test_daqp_bug.py		test_daqp_bug.py
test_issue_4274.py		test_issue_4274.py
test_single_plugin.m		test_single_plugin.m