Skip to content
Jenkins
log in
Dashboard
All
mettalog
#151
Changes since last success
Status
Changes
Console Output
View Build Information
Polling Log
Metadata
Timings
Git Build Data
Changes since last success
Compare environment
Previous Build
Next Build
build #151
: Changes
fixed line ending issue that was messing with didChange, and an escaped character in string issue (
details
/
githubweb
)
syntax highlighting (
details
/
githubweb
)
improved syntax highlighting (
details
/
githubweb
)
build #150
: Changes
update docs for Minimal MeTTa functions (
details
/
githubweb
)
tests for Minimal MeTTa (
details
/
githubweb
)
build #149
: Changes
add comments (
details
/
githubweb
)
add comments (
details
/
githubweb
)
add comments (
details
/
githubweb
)
build #148
: Changes
begining of codeActions (
details
/
githubweb
)
Pre worker pool (
details
/
githubweb
)
lsp_worker_threads(0) (
details
/
githubweb
)
anonymous QueueId (
details
/
githubweb
)
@doc for Bool (
details
/
githubweb
)
Group declarations by type (
details
/
githubweb
)
build #147
: Changes
run recompile from debug server by jsut pressing enter (
details
/
githubweb
)
Export clause_with_arity_in_file_at_position/4 in LSP Server (
details
/
githubweb
)
hacky threading system as well as refernces/definition provers etc (
details
/
githubweb
)
build #146
: Changes
add comments (
details
/
githubweb
)
add comments (
details
/
githubweb
)
build #145
: Changes
set default src_indents to false (
details
/
githubweb
)
build #144
: Changes
add comments (
details
/
githubweb
)
add comments (
details
/
githubweb
)
add comments (
details
/
githubweb
)
build #143
: Changes
allow for late definition to be evaluated (
details
/
githubweb
)
build #142
: Changes
update doc on setup-call-cleanup! (
details
/
githubweb
)
additional test for setup-call-cleanup (
details
/
githubweb
)
docs/tests for hyperpose, sequential, and do (
details
/
githubweb
)