Code

Support building Dafny from source#26

Code

Merged

robin-aws merged 21 commits intomaindafny-lang/setup-dafny-action:mainfrom support-building-from-sourcedafny-lang/setup-dafny-action:support-building-from-sourceCopy head branch name to clipboardJan 23, 2025

+102-9

Commits

Commits on Jan 14, 2025

• First cut

  robin-aws

  committed
  3d4d7ac

  Copy full SHA for 3d4d7ac

• Try default

  robin-aws

  committed
  7ffe5e7

  Copy full SHA for 7ffe5e7

• Doh

  robin-aws

  committed
  601a93c

  Copy full SHA for 601a93c

• Trim down matrix

  robin-aws

  committed
  892f40c

  Copy full SHA for 892f40c

• Tweak

  robin-aws

  committed
  5e0a476

  Copy full SHA for 5e0a476

• Setup Java

  robin-aws

  committed
  d57f53c

  Copy full SHA for d57f53c

• Try make exe

  robin-aws

  committed
  505865b

  Copy full SHA for 505865b

Commits on Jan 15, 2025

• Path fix

  robin-aws

  committed
  b219bc5

  Copy full SHA for b219bc5

• Try .NET 8

  robin-aws

  committed
  37e416b

  Copy full SHA for 37e416b

• Typo

  robin-aws

  committed
  f47a39c

  Copy full SHA for f47a39c

• Okay so not .NET 8

  robin-aws

  committed
  03167a0

  Copy full SHA for 03167a0

Commits on Jan 16, 2025

• Try .net 8 again

  robin-aws

  committed
  2cbd8ab

  Copy full SHA for 2cbd8ab

• Always need .NET 6 anyway

  robin-aws

  committed
  e4746c9

  Copy full SHA for e4746c9

• Drop 2.3.0 and 3.0.0 since the runners are missing dependencies now

  Show description for beffd8c
  robin-aws

  committed
  beffd8c

  Copy full SHA for beffd8c

• Try cda-tum/setup-z3

  robin-aws

  committed
  ba42dd7

  Copy full SHA for ba42dd7

• Try all combinations

  robin-aws

  committed
  af3fd06

  Copy full SHA for af3fd06

• Never mind, doesn’t pass version check without more work

  robin-aws

  committed
  868e038

  Copy full SHA for 868e038

Commits on Jan 17, 2025

• Add PATH correctly for Windows

  robin-aws

  committed
  e24b377

  Copy full SHA for e24b377

• pwsh

  robin-aws

  committed
  7b49478

  Copy full SHA for 7b49478

• Try 4.9.0

  robin-aws

  committed
  cf1a7f6

  Copy full SHA for cf1a7f6

Commits on Jan 21, 2025

• Add to README

  robin-aws

  committed
  55f190a

  Copy full SHA for 55f190a