Non-empty-diff: diff --git a/rupicola b/rupicola --- a/rupicola +++ b/rupicola @@ -1 +1 @@ -Subproject commit 3691f9a57dbbf5cdc331d2107e648db2a3746b96 +Subproject commit 3691f9a57dbbf5cdc331d2107e648db2a3746b96-dirty Entering 'coqprime' Entering 'etc/coq-scripts' Entering 'rewriter' Entering 'rewriter/etc/coq-scripts' Entering 'rupicola' diff --git a/bedrock2 b/bedrock2 --- a/bedrock2 +++ b/bedrock2 @@ -1 +1 @@ -Subproject commit 8c5d2e86d84e095ef36e39d9e301381b0832e0ae +Subproject commit 8c5d2e86d84e095ef36e39d9e301381b0832e0ae-dirty Entering 'rupicola/bedrock2' diff --git a/deps/coq-record-update b/deps/coq-record-update --- a/deps/coq-record-update +++ b/deps/coq-record-update @@ -1 +1 @@ -Subproject commit 99280150f003159c7c6f955d415a7c28e91a13af +Subproject commit 99280150f003159c7c6f955d415a7c28e91a13af-dirty Entering 'rupicola/bedrock2/deps/coq-record-update' Entering 'rupicola/bedrock2/deps/coqutil' Entering 'rupicola/bedrock2/deps/coqutil/etc/coq-scripts' Entering 'rupicola/bedrock2/deps/kami' Entering 'rupicola/bedrock2/deps/riscv-coq' Entering 'coqprime' HEAD detached at d5935ca nothing to commit, working tree clean Entering 'etc/coq-scripts' HEAD detached at d3dc888 nothing to commit, working tree clean Entering 'rewriter' HEAD detached at 3e84ec2 nothing to commit, working tree clean Entering 'rewriter/etc/coq-scripts' HEAD detached at d3dc888 nothing to commit, working tree clean Entering 'rupicola' HEAD detached at 3691f9a Changes not staged for commit: (use "git add <file>..." to update what will be committed) (use "git restore <file>..." to discard changes in working directory) (commit or discard the untracked or modified content in submodules) modified: bedrock2 (untracked content) no changes added to commit (use "git add" and/or "git commit -a") Entering 'rupicola/bedrock2' HEAD detached at 8c5d2e8 Changes not staged for commit: (use "git add <file>..." to update what will be committed) (use "git restore <file>..." to discard changes in working directory) (commit or discard the untracked or modified content in submodules) modified: deps/coq-record-update (untracked content) no changes added to commit (use "git add" and/or "git commit -a") Entering 'rupicola/bedrock2/deps/coq-record-update' HEAD detached at 9928015 Untracked files: (use "git add <file>..." to include in what will be committed) src/Lens.v.timing src/RecordSet.v.timing src/RecordUpdate.v.timing nothing added to commit but untracked files present (use "git add" to track) Entering 'rupicola/bedrock2/deps/coqutil' HEAD detached at a80d8c2 nothing to commit, working tree clean Entering 'rupicola/bedrock2/deps/coqutil/etc/coq-scripts' HEAD detached at d3dc888 nothing to commit, working tree clean Entering 'rupicola/bedrock2/deps/kami' HEAD detached at c96ee95 nothing to commit, working tree clean Entering 'rupicola/bedrock2/deps/riscv-coq' HEAD detached at 3c623d8 nothing to commit, working tree clean ::remove-matcher owner=coq-problem-matcher::