Skip to content

Commit

Permalink
tests
Browse files Browse the repository at this point in the history
  • Loading branch information
fc1943s committed Jan 23, 2025
1 parent 29c8c72 commit 3460312
Show file tree
Hide file tree
Showing 5 changed files with 37,428 additions and 122,219 deletions.
2 changes: 1 addition & 1 deletion .devcontainer/Dockerfile
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
FROM mcr.microsoft.com/vscode/devcontainers/universal
FROM mcr.microsoft.com/vscode/devcontainers/universal:dev

USER root

Expand Down
4 changes: 2 additions & 2 deletions lib/fsharp/common.py
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@

q: str = "\""

def _expr201() -> TypeInfo:
def _expr254() -> TypeInfo:
return union_type("Polyglot.Common.TraceLevel", [], TraceLevel, lambda: [[], [], [], [], []])


Expand All @@ -25,7 +25,7 @@ def cases() -> list[str]:
return ["Verbose", "Debug", "Info", "Warning", "Critical"]


TraceLevel_reflection = _expr201
TraceLevel_reflection = _expr254

def to_trace_level(_arg: TraceLevel) -> US0:
if _arg.tag == 1:
Expand Down
4 changes: 2 additions & 2 deletions scripts/build.dib
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@

#!pwsh

{ pwsh ../deps/spiral/apps/spiral/build.ps1 -SkipFsx 1 } | Invoke-Block
{ pwsh ../deps/spiral/apps/spiral/build.ps1 -fast 1 -SkipFsx 1 } | Invoke-Block

#!pwsh

Expand All @@ -29,7 +29,7 @@

#!pwsh

{ pwsh ../deps/spiral/apps/wasm/build.ps1 -fast 1 } | Invoke-Block
{ pwsh ../deps/spiral/apps/wasm/build.ps1 -SkipFsx 1 } | Invoke-Block

#!pwsh

Expand Down
Loading

0 comments on commit 3460312

Please sign in to comment.