Skip to content

Commit

Permalink
Bump crucible, cryptol submodules to 0.7, 3.0 branches
Browse files Browse the repository at this point in the history
  • Loading branch information
@RyanGlScott
RyanGlScott committed Jun 27, 2023
1 parent bbf5ad2 commit f64fbe4
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion deps/crucible
Submodule crucible updated 20 files
+1 −1 .github/Dockerfile-crux-llvm
+4 −1 .github/Dockerfile-crux-mir
+1 −0 .github/cabal.project.crux-mir
+1 −1 .github/workflows/crucible-go-build.yml
+1 −1 .github/workflows/crucible-jvm-build.yml
+1 −1 .github/workflows/crucible-wasm-build.yml
+1 −1 .github/workflows/crux-llvm-build.yml
+1 −1 .github/workflows/crux-mir-build.yml
+5 −2 crucible-llvm/CHANGELOG.md
+1 −1 crucible-llvm/crucible-llvm.cabal
+10 −1 crucible-syntax/CHANGELOG.md
+1 −1 crucible-syntax/crucible-syntax.cabal
+10 −1 crucible-wasm/CHANGELOG.md
+1 −1 crucible-wasm/crucible-wasm.cabal
+1 −1 crux-llvm/CHANGELOG.md
+1 −1 crux-llvm/crux-llvm.cabal
+1 −1 crux-mir/CHANGELOG.md
+1 −1 crux-mir/crux-mir.cabal
+1 −1 uc-crux-llvm/CHANGELOG.md
+1 −1 uc-crux-llvm/uc-crux-llvm.cabal
2 changes: 1 addition & 1 deletion deps/cryptol
Submodule cryptol updated 12 files
+50 −0 .github/gen_html_context.py
+0 −12 .github/workflows/ci.yml
+178 −0 .github/workflows/docs.yml
+47 −3 CHANGES.md
+3 −1 cryptol-remote-api/CHANGELOG.md
+1 −1 cryptol-remote-api/cryptol-remote-api.cabal
+3 −1 cryptol-remote-api/python/CHANGELOG.md
+1 −1 cryptol-remote-api/python/pyproject.toml
+2 −2 cryptol-remote-api/test.Dockerfile
+2 −2 cryptol.cabal
+21 −0 docs/RefMan/_templates/versions.html
+3 −3 docs/index.html

0 comments on commit f64fbe4

Please sign in to comment.