Skip to content

Commit

Permalink
hopefully fix submodules
Browse files Browse the repository at this point in the history
  • Loading branch information
@Felalolf
Felalolf committed Apr 11, 2024
1 parent 158bbe8 commit 112bcf4
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion viperserver
Submodule viperserver updated 12 files
+1 −0 .github/workflows/license-check.yml
+1 −0 .github/workflows/scala.yml
+3 −5 .github/workflows/update-submodules.yml
+2 −2 README.md
+0 −8 bors.toml
+1 −1 carbon
+1 −1 silicon
+3 −3 src/main/scala/viper/server/core/AstWorker.scala
+22 −0 src/main/scala/viper/server/core/VerificationWorker.scala
+6 −7 src/main/scala/viper/server/frontends/lsp/FileManager.scala
+33 −2 src/main/scala/viper/server/utility/AstGenerator.scala
+0 −18 src/main/scala/viper/server/utility/ProgramDefinitionsProvider.scala

0 comments on commit 112bcf4

Please sign in to comment.