fix: Reference helper composite action with full path, fix broken CI #133
robin-awsmain.yml
on: pull_request
Matrix: Install Dafny
Run tests
16s
all-required
4s
Annotations
56 errors and 7 warnings
|
Install Dafny (ubuntu-latest, nightly-2023-02-28-80a0e49)
/home/runner/work/setup-dafny-action/setup-dafny-action/./action.yml (Line: 37, Col: 11): Expected format {org}/{repo}[/path]@ref. Actual 'dafny-lang/setup-dafny-action/build_dafny_from_source'
|
|
Install Dafny (ubuntu-latest, nightly-2023-02-28-80a0e49)
System.FormatException: Input string was not in a correct format. Failure to parse near offset 107. Expected an ASCII digit.
at System.Text.ValueStringBuilder.AppendFormatHelper(IFormatProvider provider, String format, ReadOnlySpan`1 args)
at System.String.FormatHelper(IFormatProvider provider, String format, ReadOnlySpan`1 args)
at System.String.Format(IFormatProvider provider, String format, Object[] args)
at GitHub.Runner.Worker.TemplateTraceWriter.Error(String format, Object[] args)
at GitHub.DistributedTask.ObjectTemplating.TemplateContext.Error(Nullable`1 fileId, Nullable`1 line, Nullable`1 column, String message)
at GitHub.DistributedTask.ObjectTemplating.TemplateContext.Error(TemplateToken value, String message)
at GitHub.DistributedTask.Pipelines.ObjectTemplating.PipelineTemplateConverter.ConvertToStep(TemplateContext context, TemplateToken stepsItem, ReferenceNameBuilder nameBuilder)
at GitHub.DistributedTask.Pipelines.ObjectTemplating.PipelineTemplateConverter.ConvertToSteps(TemplateContext context, TemplateToken steps)
at GitHub.Runner.Worker.ActionManifestManager.ConvertRuns(IExecutionContext executionContext, TemplateContext templateContext, TemplateToken inputsToken, String fileRelativePath, MappingToken outputs)
at GitHub.Runner.Worker.ActionManifestManager.Load(IExecutionContext executionContext, String manifestFile)
|
|
Install Dafny (ubuntu-latest, nightly-2023-02-28-80a0e49)
Failed to load /home/runner/work/setup-dafny-action/setup-dafny-action/./action.yml
|
|
Install Dafny (ubuntu-latest, 3.13.1)
/home/runner/work/setup-dafny-action/setup-dafny-action/./action.yml (Line: 37, Col: 11): Expected format {org}/{repo}[/path]@ref. Actual 'dafny-lang/setup-dafny-action/build_dafny_from_source'
|
|
Install Dafny (ubuntu-latest, 3.13.1)
System.FormatException: Input string was not in a correct format. Failure to parse near offset 107. Expected an ASCII digit.
at System.Text.ValueStringBuilder.AppendFormatHelper(IFormatProvider provider, String format, ReadOnlySpan`1 args)
at System.String.FormatHelper(IFormatProvider provider, String format, ReadOnlySpan`1 args)
at System.String.Format(IFormatProvider provider, String format, Object[] args)
at GitHub.Runner.Worker.TemplateTraceWriter.Error(String format, Object[] args)
at GitHub.DistributedTask.ObjectTemplating.TemplateContext.Error(Nullable`1 fileId, Nullable`1 line, Nullable`1 column, String message)
at GitHub.DistributedTask.ObjectTemplating.TemplateContext.Error(TemplateToken value, String message)
at GitHub.DistributedTask.Pipelines.ObjectTemplating.PipelineTemplateConverter.ConvertToStep(TemplateContext context, TemplateToken stepsItem, ReferenceNameBuilder nameBuilder)
at GitHub.DistributedTask.Pipelines.ObjectTemplating.PipelineTemplateConverter.ConvertToSteps(TemplateContext context, TemplateToken steps)
at GitHub.Runner.Worker.ActionManifestManager.ConvertRuns(IExecutionContext executionContext, TemplateContext templateContext, TemplateToken inputsToken, String fileRelativePath, MappingToken outputs)
at GitHub.Runner.Worker.ActionManifestManager.Load(IExecutionContext executionContext, String manifestFile)
|
|
Install Dafny (ubuntu-latest, 3.13.1)
Failed to load /home/runner/work/setup-dafny-action/setup-dafny-action/./action.yml
|
|
Install Dafny (macos-latest, 4.0.0)
/Users/runner/work/setup-dafny-action/setup-dafny-action/./action.yml (Line: 37, Col: 11): Expected format {org}/{repo}[/path]@ref. Actual 'dafny-lang/setup-dafny-action/build_dafny_from_source'
|
|
Install Dafny (macos-latest, 4.0.0)
System.FormatException: Input string was not in a correct format. Failure to parse near offset 108. Expected an ASCII digit.
at System.Text.ValueStringBuilder.AppendFormatHelper(IFormatProvider provider, String format, ReadOnlySpan`1 args)
at System.String.FormatHelper(IFormatProvider provider, String format, ReadOnlySpan`1 args)
at System.String.Format(IFormatProvider provider, String format, Object[] args)
at GitHub.Runner.Worker.TemplateTraceWriter.Error(String format, Object[] args)
at GitHub.DistributedTask.ObjectTemplating.TemplateContext.Error(Nullable`1 fileId, Nullable`1 line, Nullable`1 column, String message)
at GitHub.DistributedTask.ObjectTemplating.TemplateContext.Error(TemplateToken value, String message)
at GitHub.DistributedTask.Pipelines.ObjectTemplating.PipelineTemplateConverter.ConvertToStep(TemplateContext context, TemplateToken stepsItem, ReferenceNameBuilder nameBuilder)
at GitHub.DistributedTask.Pipelines.ObjectTemplating.PipelineTemplateConverter.ConvertToSteps(TemplateContext context, TemplateToken steps)
at GitHub.Runner.Worker.ActionManifestManager.ConvertRuns(IExecutionContext executionContext, TemplateContext templateContext, TemplateToken inputsToken, String fileRelativePath, MappingToken outputs)
at GitHub.Runner.Worker.ActionManifestManager.Load(IExecutionContext executionContext, String manifestFile)
|
|
Install Dafny (macos-latest, 4.0.0)
Failed to load /Users/runner/work/setup-dafny-action/setup-dafny-action/./action.yml
|
|
Install Dafny (macos-latest, 3.13.1)
/Users/runner/work/setup-dafny-action/setup-dafny-action/./action.yml (Line: 37, Col: 11): Expected format {org}/{repo}[/path]@ref. Actual 'dafny-lang/setup-dafny-action/build_dafny_from_source'
|
|
Install Dafny (macos-latest, 3.13.1)
System.FormatException: Input string was not in a correct format. Failure to parse near offset 108. Expected an ASCII digit.
at System.Text.ValueStringBuilder.AppendFormatHelper(IFormatProvider provider, String format, ReadOnlySpan`1 args)
at System.String.FormatHelper(IFormatProvider provider, String format, ReadOnlySpan`1 args)
at System.String.Format(IFormatProvider provider, String format, Object[] args)
at GitHub.Runner.Worker.TemplateTraceWriter.Error(String format, Object[] args)
at GitHub.DistributedTask.ObjectTemplating.TemplateContext.Error(Nullable`1 fileId, Nullable`1 line, Nullable`1 column, String message)
at GitHub.DistributedTask.ObjectTemplating.TemplateContext.Error(TemplateToken value, String message)
at GitHub.DistributedTask.Pipelines.ObjectTemplating.PipelineTemplateConverter.ConvertToStep(TemplateContext context, TemplateToken stepsItem, ReferenceNameBuilder nameBuilder)
at GitHub.DistributedTask.Pipelines.ObjectTemplating.PipelineTemplateConverter.ConvertToSteps(TemplateContext context, TemplateToken steps)
at GitHub.Runner.Worker.ActionManifestManager.ConvertRuns(IExecutionContext executionContext, TemplateContext templateContext, TemplateToken inputsToken, String fileRelativePath, MappingToken outputs)
at GitHub.Runner.Worker.ActionManifestManager.Load(IExecutionContext executionContext, String manifestFile)
|
|
Install Dafny (macos-latest, 3.13.1)
Failed to load /Users/runner/work/setup-dafny-action/setup-dafny-action/./action.yml
|
|
Install Dafny (macos-latest, nightly-2023-02-28-80a0e49)
/Users/runner/work/setup-dafny-action/setup-dafny-action/./action.yml (Line: 37, Col: 11): Expected format {org}/{repo}[/path]@ref. Actual 'dafny-lang/setup-dafny-action/build_dafny_from_source'
|
|
Install Dafny (macos-latest, nightly-2023-02-28-80a0e49)
System.FormatException: Input string was not in a correct format. Failure to parse near offset 108. Expected an ASCII digit.
at System.Text.ValueStringBuilder.AppendFormatHelper(IFormatProvider provider, String format, ReadOnlySpan`1 args)
at System.String.FormatHelper(IFormatProvider provider, String format, ReadOnlySpan`1 args)
at System.String.Format(IFormatProvider provider, String format, Object[] args)
at GitHub.Runner.Worker.TemplateTraceWriter.Error(String format, Object[] args)
at GitHub.DistributedTask.ObjectTemplating.TemplateContext.Error(Nullable`1 fileId, Nullable`1 line, Nullable`1 column, String message)
at GitHub.DistributedTask.ObjectTemplating.TemplateContext.Error(TemplateToken value, String message)
at GitHub.DistributedTask.Pipelines.ObjectTemplating.PipelineTemplateConverter.ConvertToStep(TemplateContext context, TemplateToken stepsItem, ReferenceNameBuilder nameBuilder)
at GitHub.DistributedTask.Pipelines.ObjectTemplating.PipelineTemplateConverter.ConvertToSteps(TemplateContext context, TemplateToken steps)
at GitHub.Runner.Worker.ActionManifestManager.ConvertRuns(IExecutionContext executionContext, TemplateContext templateContext, TemplateToken inputsToken, String fileRelativePath, MappingToken outputs)
at GitHub.Runner.Worker.ActionManifestManager.Load(IExecutionContext executionContext, String manifestFile)
|
|
Install Dafny (macos-latest, nightly-2023-02-28-80a0e49)
Failed to load /Users/runner/work/setup-dafny-action/setup-dafny-action/./action.yml
|
|
Install Dafny (macos-latest, 3.8.1)
/Users/runner/work/setup-dafny-action/setup-dafny-action/./action.yml (Line: 37, Col: 11): Expected format {org}/{repo}[/path]@ref. Actual 'dafny-lang/setup-dafny-action/build_dafny_from_source'
|
|
Install Dafny (macos-latest, 3.8.1)
System.FormatException: Input string was not in a correct format. Failure to parse near offset 108. Expected an ASCII digit.
at System.Text.ValueStringBuilder.AppendFormatHelper(IFormatProvider provider, String format, ReadOnlySpan`1 args)
at System.String.FormatHelper(IFormatProvider provider, String format, ReadOnlySpan`1 args)
at System.String.Format(IFormatProvider provider, String format, Object[] args)
at GitHub.Runner.Worker.TemplateTraceWriter.Error(String format, Object[] args)
at GitHub.DistributedTask.ObjectTemplating.TemplateContext.Error(Nullable`1 fileId, Nullable`1 line, Nullable`1 column, String message)
at GitHub.DistributedTask.ObjectTemplating.TemplateContext.Error(TemplateToken value, String message)
at GitHub.DistributedTask.Pipelines.ObjectTemplating.PipelineTemplateConverter.ConvertToStep(TemplateContext context, TemplateToken stepsItem, ReferenceNameBuilder nameBuilder)
at GitHub.DistributedTask.Pipelines.ObjectTemplating.PipelineTemplateConverter.ConvertToSteps(TemplateContext context, TemplateToken steps)
at GitHub.Runner.Worker.ActionManifestManager.ConvertRuns(IExecutionContext executionContext, TemplateContext templateContext, TemplateToken inputsToken, String fileRelativePath, MappingToken outputs)
at GitHub.Runner.Worker.ActionManifestManager.Load(IExecutionContext executionContext, String manifestFile)
|
|
Install Dafny (macos-latest, 3.8.1)
Failed to load /Users/runner/work/setup-dafny-action/setup-dafny-action/./action.yml
|
|
Install Dafny (macos-latest, 4.9.0)
/Users/runner/work/setup-dafny-action/setup-dafny-action/./action.yml (Line: 37, Col: 11): Expected format {org}/{repo}[/path]@ref. Actual 'dafny-lang/setup-dafny-action/build_dafny_from_source'
|
|
Install Dafny (macos-latest, 4.9.0)
System.FormatException: Input string was not in a correct format. Failure to parse near offset 108. Expected an ASCII digit.
at System.Text.ValueStringBuilder.AppendFormatHelper(IFormatProvider provider, String format, ReadOnlySpan`1 args)
at System.String.FormatHelper(IFormatProvider provider, String format, ReadOnlySpan`1 args)
at System.String.Format(IFormatProvider provider, String format, Object[] args)
at GitHub.Runner.Worker.TemplateTraceWriter.Error(String format, Object[] args)
at GitHub.DistributedTask.ObjectTemplating.TemplateContext.Error(Nullable`1 fileId, Nullable`1 line, Nullable`1 column, String message)
at GitHub.DistributedTask.ObjectTemplating.TemplateContext.Error(TemplateToken value, String message)
at GitHub.DistributedTask.Pipelines.ObjectTemplating.PipelineTemplateConverter.ConvertToStep(TemplateContext context, TemplateToken stepsItem, ReferenceNameBuilder nameBuilder)
at GitHub.DistributedTask.Pipelines.ObjectTemplating.PipelineTemplateConverter.ConvertToSteps(TemplateContext context, TemplateToken steps)
at GitHub.Runner.Worker.ActionManifestManager.ConvertRuns(IExecutionContext executionContext, TemplateContext templateContext, TemplateToken inputsToken, String fileRelativePath, MappingToken outputs)
at GitHub.Runner.Worker.ActionManifestManager.Load(IExecutionContext executionContext, String manifestFile)
|
|
Install Dafny (macos-latest, 4.9.0)
Failed to load /Users/runner/work/setup-dafny-action/setup-dafny-action/./action.yml
|
|
Install Dafny (ubuntu-latest, 4.0.0)
/home/runner/work/setup-dafny-action/setup-dafny-action/./action.yml (Line: 37, Col: 11): Expected format {org}/{repo}[/path]@ref. Actual 'dafny-lang/setup-dafny-action/build_dafny_from_source'
|
|
Install Dafny (ubuntu-latest, 4.0.0)
System.FormatException: Input string was not in a correct format. Failure to parse near offset 107. Expected an ASCII digit.
at System.Text.ValueStringBuilder.AppendFormatHelper(IFormatProvider provider, String format, ReadOnlySpan`1 args)
at System.String.FormatHelper(IFormatProvider provider, String format, ReadOnlySpan`1 args)
at System.String.Format(IFormatProvider provider, String format, Object[] args)
at GitHub.Runner.Worker.TemplateTraceWriter.Error(String format, Object[] args)
at GitHub.DistributedTask.ObjectTemplating.TemplateContext.Error(Nullable`1 fileId, Nullable`1 line, Nullable`1 column, String message)
at GitHub.DistributedTask.ObjectTemplating.TemplateContext.Error(TemplateToken value, String message)
at GitHub.DistributedTask.Pipelines.ObjectTemplating.PipelineTemplateConverter.ConvertToStep(TemplateContext context, TemplateToken stepsItem, ReferenceNameBuilder nameBuilder)
at GitHub.DistributedTask.Pipelines.ObjectTemplating.PipelineTemplateConverter.ConvertToSteps(TemplateContext context, TemplateToken steps)
at GitHub.Runner.Worker.ActionManifestManager.ConvertRuns(IExecutionContext executionContext, TemplateContext templateContext, TemplateToken inputsToken, String fileRelativePath, MappingToken outputs)
at GitHub.Runner.Worker.ActionManifestManager.Load(IExecutionContext executionContext, String manifestFile)
|
|
Install Dafny (ubuntu-latest, 4.0.0)
Failed to load /home/runner/work/setup-dafny-action/setup-dafny-action/./action.yml
|
|
Install Dafny (ubuntu-latest, nightly-latest)
/home/runner/work/setup-dafny-action/setup-dafny-action/./action.yml (Line: 37, Col: 11): Expected format {org}/{repo}[/path]@ref. Actual 'dafny-lang/setup-dafny-action/build_dafny_from_source'
|
|
Install Dafny (ubuntu-latest, nightly-latest)
System.FormatException: Input string was not in a correct format. Failure to parse near offset 107. Expected an ASCII digit.
at System.Text.ValueStringBuilder.AppendFormatHelper(IFormatProvider provider, String format, ReadOnlySpan`1 args)
at System.String.FormatHelper(IFormatProvider provider, String format, ReadOnlySpan`1 args)
at System.String.Format(IFormatProvider provider, String format, Object[] args)
at GitHub.Runner.Worker.TemplateTraceWriter.Error(String format, Object[] args)
at GitHub.DistributedTask.ObjectTemplating.TemplateContext.Error(Nullable`1 fileId, Nullable`1 line, Nullable`1 column, String message)
at GitHub.DistributedTask.ObjectTemplating.TemplateContext.Error(TemplateToken value, String message)
at GitHub.DistributedTask.Pipelines.ObjectTemplating.PipelineTemplateConverter.ConvertToStep(TemplateContext context, TemplateToken stepsItem, ReferenceNameBuilder nameBuilder)
at GitHub.DistributedTask.Pipelines.ObjectTemplating.PipelineTemplateConverter.ConvertToSteps(TemplateContext context, TemplateToken steps)
at GitHub.Runner.Worker.ActionManifestManager.ConvertRuns(IExecutionContext executionContext, TemplateContext templateContext, TemplateToken inputsToken, String fileRelativePath, MappingToken outputs)
at GitHub.Runner.Worker.ActionManifestManager.Load(IExecutionContext executionContext, String manifestFile)
|
|
Install Dafny (ubuntu-latest, nightly-latest)
Failed to load /home/runner/work/setup-dafny-action/setup-dafny-action/./action.yml
|
|
Install Dafny (ubuntu-latest, 4.9.0)
/home/runner/work/setup-dafny-action/setup-dafny-action/./action.yml (Line: 37, Col: 11): Expected format {org}/{repo}[/path]@ref. Actual 'dafny-lang/setup-dafny-action/build_dafny_from_source'
|
|
Install Dafny (ubuntu-latest, 4.9.0)
System.FormatException: Input string was not in a correct format. Failure to parse near offset 107. Expected an ASCII digit.
at System.Text.ValueStringBuilder.AppendFormatHelper(IFormatProvider provider, String format, ReadOnlySpan`1 args)
at System.String.FormatHelper(IFormatProvider provider, String format, ReadOnlySpan`1 args)
at System.String.Format(IFormatProvider provider, String format, Object[] args)
at GitHub.Runner.Worker.TemplateTraceWriter.Error(String format, Object[] args)
at GitHub.DistributedTask.ObjectTemplating.TemplateContext.Error(Nullable`1 fileId, Nullable`1 line, Nullable`1 column, String message)
at GitHub.DistributedTask.ObjectTemplating.TemplateContext.Error(TemplateToken value, String message)
at GitHub.DistributedTask.Pipelines.ObjectTemplating.PipelineTemplateConverter.ConvertToStep(TemplateContext context, TemplateToken stepsItem, ReferenceNameBuilder nameBuilder)
at GitHub.DistributedTask.Pipelines.ObjectTemplating.PipelineTemplateConverter.ConvertToSteps(TemplateContext context, TemplateToken steps)
at GitHub.Runner.Worker.ActionManifestManager.ConvertRuns(IExecutionContext executionContext, TemplateContext templateContext, TemplateToken inputsToken, String fileRelativePath, MappingToken outputs)
at GitHub.Runner.Worker.ActionManifestManager.Load(IExecutionContext executionContext, String manifestFile)
|
|
Install Dafny (ubuntu-latest, 4.9.0)
Failed to load /home/runner/work/setup-dafny-action/setup-dafny-action/./action.yml
|
|
Install Dafny (ubuntu-latest, 3.8.1)
/home/runner/work/setup-dafny-action/setup-dafny-action/./action.yml (Line: 37, Col: 11): Expected format {org}/{repo}[/path]@ref. Actual 'dafny-lang/setup-dafny-action/build_dafny_from_source'
|
|
Install Dafny (ubuntu-latest, 3.8.1)
System.FormatException: Input string was not in a correct format. Failure to parse near offset 107. Expected an ASCII digit.
at System.Text.ValueStringBuilder.AppendFormatHelper(IFormatProvider provider, String format, ReadOnlySpan`1 args)
at System.String.FormatHelper(IFormatProvider provider, String format, ReadOnlySpan`1 args)
at System.String.Format(IFormatProvider provider, String format, Object[] args)
at GitHub.Runner.Worker.TemplateTraceWriter.Error(String format, Object[] args)
at GitHub.DistributedTask.ObjectTemplating.TemplateContext.Error(Nullable`1 fileId, Nullable`1 line, Nullable`1 column, String message)
at GitHub.DistributedTask.ObjectTemplating.TemplateContext.Error(TemplateToken value, String message)
at GitHub.DistributedTask.Pipelines.ObjectTemplating.PipelineTemplateConverter.ConvertToStep(TemplateContext context, TemplateToken stepsItem, ReferenceNameBuilder nameBuilder)
at GitHub.DistributedTask.Pipelines.ObjectTemplating.PipelineTemplateConverter.ConvertToSteps(TemplateContext context, TemplateToken steps)
at GitHub.Runner.Worker.ActionManifestManager.ConvertRuns(IExecutionContext executionContext, TemplateContext templateContext, TemplateToken inputsToken, String fileRelativePath, MappingToken outputs)
at GitHub.Runner.Worker.ActionManifestManager.Load(IExecutionContext executionContext, String manifestFile)
|
|
Install Dafny (ubuntu-latest, 3.8.1)
Failed to load /home/runner/work/setup-dafny-action/setup-dafny-action/./action.yml
|
|
Install Dafny (macos-latest, nightly-latest)
/Users/runner/work/setup-dafny-action/setup-dafny-action/./action.yml (Line: 37, Col: 11): Expected format {org}/{repo}[/path]@ref. Actual 'dafny-lang/setup-dafny-action/build_dafny_from_source'
|
|
Install Dafny (macos-latest, nightly-latest)
System.FormatException: Input string was not in a correct format. Failure to parse near offset 108. Expected an ASCII digit.
at System.Text.ValueStringBuilder.AppendFormatHelper(IFormatProvider provider, String format, ReadOnlySpan`1 args)
at System.String.FormatHelper(IFormatProvider provider, String format, ReadOnlySpan`1 args)
at System.String.Format(IFormatProvider provider, String format, Object[] args)
at GitHub.Runner.Worker.TemplateTraceWriter.Error(String format, Object[] args)
at GitHub.DistributedTask.ObjectTemplating.TemplateContext.Error(Nullable`1 fileId, Nullable`1 line, Nullable`1 column, String message)
at GitHub.DistributedTask.ObjectTemplating.TemplateContext.Error(TemplateToken value, String message)
at GitHub.DistributedTask.Pipelines.ObjectTemplating.PipelineTemplateConverter.ConvertToStep(TemplateContext context, TemplateToken stepsItem, ReferenceNameBuilder nameBuilder)
at GitHub.DistributedTask.Pipelines.ObjectTemplating.PipelineTemplateConverter.ConvertToSteps(TemplateContext context, TemplateToken steps)
at GitHub.Runner.Worker.ActionManifestManager.ConvertRuns(IExecutionContext executionContext, TemplateContext templateContext, TemplateToken inputsToken, String fileRelativePath, MappingToken outputs)
at GitHub.Runner.Worker.ActionManifestManager.Load(IExecutionContext executionContext, String manifestFile)
|
|
Install Dafny (macos-latest, nightly-latest)
Failed to load /Users/runner/work/setup-dafny-action/setup-dafny-action/./action.yml
|
|
Run tests
Input required and not supplied: dafny-version
|
|
Install Dafny (windows-latest, nightly-latest)
D:\a\setup-dafny-action\setup-dafny-action\./action.yml (Line: 37, Col: 11): Expected format {org}/{repo}[/path]@ref. Actual 'dafny-lang/setup-dafny-action/build_dafny_from_source'
|
|
Install Dafny (windows-latest, nightly-latest)
System.FormatException: Input string was not in a correct format. Failure to parse near offset 94. Expected an ASCII digit.
at System.Text.ValueStringBuilder.AppendFormatHelper(IFormatProvider provider, String format, ReadOnlySpan`1 args)
at System.String.FormatHelper(IFormatProvider provider, String format, ReadOnlySpan`1 args)
at System.String.Format(IFormatProvider provider, String format, Object[] args)
at GitHub.Runner.Worker.TemplateTraceWriter.Error(String format, Object[] args)
at GitHub.DistributedTask.ObjectTemplating.TemplateContext.Error(Nullable`1 fileId, Nullable`1 line, Nullable`1 column, String message)
at GitHub.DistributedTask.ObjectTemplating.TemplateContext.Error(TemplateToken value, String message)
at GitHub.DistributedTask.Pipelines.ObjectTemplating.PipelineTemplateConverter.ConvertToStep(TemplateContext context, TemplateToken stepsItem, ReferenceNameBuilder nameBuilder)
at GitHub.DistributedTask.Pipelines.ObjectTemplating.PipelineTemplateConverter.ConvertToSteps(TemplateContext context, TemplateToken steps)
at GitHub.Runner.Worker.ActionManifestManager.ConvertRuns(IExecutionContext executionContext, TemplateContext templateContext, TemplateToken inputsToken, String fileRelativePath, MappingToken outputs)
at GitHub.Runner.Worker.ActionManifestManager.Load(IExecutionContext executionContext, String manifestFile)
|
|
Install Dafny (windows-latest, nightly-latest)
Failed to load D:\a\setup-dafny-action\setup-dafny-action\./action.yml
|
|
Install Dafny (windows-latest, 3.13.1)
D:\a\setup-dafny-action\setup-dafny-action\./action.yml (Line: 37, Col: 11): Expected format {org}/{repo}[/path]@ref. Actual 'dafny-lang/setup-dafny-action/build_dafny_from_source'
|
|
Install Dafny (windows-latest, 3.13.1)
System.FormatException: Input string was not in a correct format. Failure to parse near offset 94. Expected an ASCII digit.
at System.Text.ValueStringBuilder.AppendFormatHelper(IFormatProvider provider, String format, ReadOnlySpan`1 args)
at System.String.FormatHelper(IFormatProvider provider, String format, ReadOnlySpan`1 args)
at System.String.Format(IFormatProvider provider, String format, Object[] args)
at GitHub.Runner.Worker.TemplateTraceWriter.Error(String format, Object[] args)
at GitHub.DistributedTask.ObjectTemplating.TemplateContext.Error(Nullable`1 fileId, Nullable`1 line, Nullable`1 column, String message)
at GitHub.DistributedTask.ObjectTemplating.TemplateContext.Error(TemplateToken value, String message)
at GitHub.DistributedTask.Pipelines.ObjectTemplating.PipelineTemplateConverter.ConvertToStep(TemplateContext context, TemplateToken stepsItem, ReferenceNameBuilder nameBuilder)
at GitHub.DistributedTask.Pipelines.ObjectTemplating.PipelineTemplateConverter.ConvertToSteps(TemplateContext context, TemplateToken steps)
at GitHub.Runner.Worker.ActionManifestManager.ConvertRuns(IExecutionContext executionContext, TemplateContext templateContext, TemplateToken inputsToken, String fileRelativePath, MappingToken outputs)
at GitHub.Runner.Worker.ActionManifestManager.Load(IExecutionContext executionContext, String manifestFile)
|
|
Install Dafny (windows-latest, 3.13.1)
Failed to load D:\a\setup-dafny-action\setup-dafny-action\./action.yml
|
|
Install Dafny (windows-latest, nightly-2023-02-28-80a0e49)
D:\a\setup-dafny-action\setup-dafny-action\./action.yml (Line: 37, Col: 11): Expected format {org}/{repo}[/path]@ref. Actual 'dafny-lang/setup-dafny-action/build_dafny_from_source'
|
|
Install Dafny (windows-latest, nightly-2023-02-28-80a0e49)
System.FormatException: Input string was not in a correct format. Failure to parse near offset 94. Expected an ASCII digit.
at System.Text.ValueStringBuilder.AppendFormatHelper(IFormatProvider provider, String format, ReadOnlySpan`1 args)
at System.String.FormatHelper(IFormatProvider provider, String format, ReadOnlySpan`1 args)
at System.String.Format(IFormatProvider provider, String format, Object[] args)
at GitHub.Runner.Worker.TemplateTraceWriter.Error(String format, Object[] args)
at GitHub.DistributedTask.ObjectTemplating.TemplateContext.Error(Nullable`1 fileId, Nullable`1 line, Nullable`1 column, String message)
at GitHub.DistributedTask.ObjectTemplating.TemplateContext.Error(TemplateToken value, String message)
at GitHub.DistributedTask.Pipelines.ObjectTemplating.PipelineTemplateConverter.ConvertToStep(TemplateContext context, TemplateToken stepsItem, ReferenceNameBuilder nameBuilder)
at GitHub.DistributedTask.Pipelines.ObjectTemplating.PipelineTemplateConverter.ConvertToSteps(TemplateContext context, TemplateToken steps)
at GitHub.Runner.Worker.ActionManifestManager.ConvertRuns(IExecutionContext executionContext, TemplateContext templateContext, TemplateToken inputsToken, String fileRelativePath, MappingToken outputs)
at GitHub.Runner.Worker.ActionManifestManager.Load(IExecutionContext executionContext, String manifestFile)
|
|
Install Dafny (windows-latest, nightly-2023-02-28-80a0e49)
Failed to load D:\a\setup-dafny-action\setup-dafny-action\./action.yml
|
|
Install Dafny (windows-latest, 4.9.0)
D:\a\setup-dafny-action\setup-dafny-action\./action.yml (Line: 37, Col: 11): Expected format {org}/{repo}[/path]@ref. Actual 'dafny-lang/setup-dafny-action/build_dafny_from_source'
|
|
Install Dafny (windows-latest, 4.9.0)
System.FormatException: Input string was not in a correct format. Failure to parse near offset 94. Expected an ASCII digit.
at System.Text.ValueStringBuilder.AppendFormatHelper(IFormatProvider provider, String format, ReadOnlySpan`1 args)
at System.String.FormatHelper(IFormatProvider provider, String format, ReadOnlySpan`1 args)
at System.String.Format(IFormatProvider provider, String format, Object[] args)
at GitHub.Runner.Worker.TemplateTraceWriter.Error(String format, Object[] args)
at GitHub.DistributedTask.ObjectTemplating.TemplateContext.Error(Nullable`1 fileId, Nullable`1 line, Nullable`1 column, String message)
at GitHub.DistributedTask.ObjectTemplating.TemplateContext.Error(TemplateToken value, String message)
at GitHub.DistributedTask.Pipelines.ObjectTemplating.PipelineTemplateConverter.ConvertToStep(TemplateContext context, TemplateToken stepsItem, ReferenceNameBuilder nameBuilder)
at GitHub.DistributedTask.Pipelines.ObjectTemplating.PipelineTemplateConverter.ConvertToSteps(TemplateContext context, TemplateToken steps)
at GitHub.Runner.Worker.ActionManifestManager.ConvertRuns(IExecutionContext executionContext, TemplateContext templateContext, TemplateToken inputsToken, String fileRelativePath, MappingToken outputs)
at GitHub.Runner.Worker.ActionManifestManager.Load(IExecutionContext executionContext, String manifestFile)
|
|
Install Dafny (windows-latest, 4.9.0)
Failed to load D:\a\setup-dafny-action\setup-dafny-action\./action.yml
|
|
Install Dafny (windows-latest, 4.0.0)
D:\a\setup-dafny-action\setup-dafny-action\./action.yml (Line: 37, Col: 11): Expected format {org}/{repo}[/path]@ref. Actual 'dafny-lang/setup-dafny-action/build_dafny_from_source'
|
|
Install Dafny (windows-latest, 4.0.0)
System.FormatException: Input string was not in a correct format. Failure to parse near offset 94. Expected an ASCII digit.
at System.Text.ValueStringBuilder.AppendFormatHelper(IFormatProvider provider, String format, ReadOnlySpan`1 args)
at System.String.FormatHelper(IFormatProvider provider, String format, ReadOnlySpan`1 args)
at System.String.Format(IFormatProvider provider, String format, Object[] args)
at GitHub.Runner.Worker.TemplateTraceWriter.Error(String format, Object[] args)
at GitHub.DistributedTask.ObjectTemplating.TemplateContext.Error(Nullable`1 fileId, Nullable`1 line, Nullable`1 column, String message)
at GitHub.DistributedTask.ObjectTemplating.TemplateContext.Error(TemplateToken value, String message)
at GitHub.DistributedTask.Pipelines.ObjectTemplating.PipelineTemplateConverter.ConvertToStep(TemplateContext context, TemplateToken stepsItem, ReferenceNameBuilder nameBuilder)
at GitHub.DistributedTask.Pipelines.ObjectTemplating.PipelineTemplateConverter.ConvertToSteps(TemplateContext context, TemplateToken steps)
at GitHub.Runner.Worker.ActionManifestManager.ConvertRuns(IExecutionContext executionContext, TemplateContext templateContext, TemplateToken inputsToken, String fileRelativePath, MappingToken outputs)
at GitHub.Runner.Worker.ActionManifestManager.Load(IExecutionContext executionContext, String manifestFile)
|
|
Install Dafny (windows-latest, 4.0.0)
Failed to load D:\a\setup-dafny-action\setup-dafny-action\./action.yml
|
|
Install Dafny (windows-latest, 3.8.1)
D:\a\setup-dafny-action\setup-dafny-action\./action.yml (Line: 37, Col: 11): Expected format {org}/{repo}[/path]@ref. Actual 'dafny-lang/setup-dafny-action/build_dafny_from_source'
|
|
Install Dafny (windows-latest, 3.8.1)
System.FormatException: Input string was not in a correct format. Failure to parse near offset 94. Expected an ASCII digit.
at System.Text.ValueStringBuilder.AppendFormatHelper(IFormatProvider provider, String format, ReadOnlySpan`1 args)
at System.String.FormatHelper(IFormatProvider provider, String format, ReadOnlySpan`1 args)
at System.String.Format(IFormatProvider provider, String format, Object[] args)
at GitHub.Runner.Worker.TemplateTraceWriter.Error(String format, Object[] args)
at GitHub.DistributedTask.ObjectTemplating.TemplateContext.Error(Nullable`1 fileId, Nullable`1 line, Nullable`1 column, String message)
at GitHub.DistributedTask.ObjectTemplating.TemplateContext.Error(TemplateToken value, String message)
at GitHub.DistributedTask.Pipelines.ObjectTemplating.PipelineTemplateConverter.ConvertToStep(TemplateContext context, TemplateToken stepsItem, ReferenceNameBuilder nameBuilder)
at GitHub.DistributedTask.Pipelines.ObjectTemplating.PipelineTemplateConverter.ConvertToSteps(TemplateContext context, TemplateToken steps)
at GitHub.Runner.Worker.ActionManifestManager.ConvertRuns(IExecutionContext executionContext, TemplateContext templateContext, TemplateToken inputsToken, String fileRelativePath, MappingToken outputs)
at GitHub.Runner.Worker.ActionManifestManager.Load(IExecutionContext executionContext, String manifestFile)
|
|
Install Dafny (windows-latest, 3.8.1)
Failed to load D:\a\setup-dafny-action\setup-dafny-action\./action.yml
|
|
all-required
Process completed with exit code 1.
|
|
Install Dafny (ubuntu-latest, nightly-2023-02-28-80a0e49)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Install Dafny (ubuntu-latest, 3.13.1)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Install Dafny (ubuntu-latest, 4.0.0)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Install Dafny (ubuntu-latest, nightly-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Install Dafny (ubuntu-latest, 4.9.0)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Install Dafny (ubuntu-latest, 3.8.1)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Run tests
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|