This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| package sbt | |
| package internal | |
| package fix | |
| import scalafix.v1._ | |
| import scala.meta._ | |
| class Sbt0_13BuildSyntax extends SyntacticRule("Sbt0_13BuildSyntax") { | |
| override def fix(implicit doc: SyntacticDocument): Patch = { | |
| doc.tree.collect { |
This file has been truncated, but you can view the full file.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| 2020-11-29T04:25:32.8012589Z ##[section]Starting: Request a runner to run this job | |
| 2020-11-29T04:25:33.0329868Z Can't find any online and idle self-hosted runner in current repository that matches the required labels: 'ubuntu-latest' | |
| 2020-11-29T04:25:33.0329951Z Can't find any online and idle self-hosted runner in current repository's account/organization that matches the required labels: 'ubuntu-latest' | |
| 2020-11-29T04:25:33.0330369Z Found online and idle hosted runner in current repository's account/organization that matches the required labels: 'ubuntu-latest' | |
| 2020-11-29T04:25:33.1742434Z ##[section]Finishing: Request a runner to run this job | |
| 2020-11-29T04:25:39.8331451Z Current runner version: '2.274.2' | |
| 2020-11-29T04:25:39.8360764Z ##[group]Operating System | |
| 2020-11-29T04:25:39.8361833Z Ubuntu | |
| 2020-11-29T04:25:39.8362296Z 18.04.5 | |
| 2020-11-29T04:25:39.8362846Z LTS |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: CI | |
| on: | |
| pull_request: | |
| push: | |
| jobs: | |
| test: | |
| strategy: | |
| fail-fast: false | |
| matrix: |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| [info] [info] Updated file /private/var/folders/hg/2602nfrs2958vnshglyl3srw0000gn/T/sbt_1d00f8ca/project/build.properties: set sbt.version to 1.4.1-SNAPSHOT | |
| [info] [info] welcome to sbt 1.4.1-SNAPSHOT (AdoptOpenJDK Java 1.8.0_232) | |
| [info] [info] loading settings for project sbt_1d00f8ca-build from plugins.sbt ... | |
| [info] [info] loading project definition from /private/var/folders/hg/2602nfrs2958vnshglyl3srw0000gn/T/sbt_1d00f8ca/project | |
| [info] compiling 1 Scala source to /private/var/folders/hg/2602nfrs2958vnshglyl3srw0000gn/T/sbt_1d00f8ca/project/target/scala-2.12/sbt-1.0/classes ... | |
| TREE: scala.Predef.identity[sbt.librarymanagement.UpdateReport](($q$macro$1: sbt.librarymanagement.UpdateReport)) | |
| TREE: (scala.Predef.identity[sbt.librarymanagement.UpdateReport](($q$macro$1: sbt.librarymanagement.UpdateReport)): sbt.librarymanagement.UpdateReport) | |
| TREE: { | |
| [info] (scala.Predef.identity[sbt.librarymanagement.UpdateReport](($q$macro$1: sbt.librarymanagement.UpdateReport)): sbt.librarymanagement.UpdateReport); | |
| [info |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| sbt:sbtRoot> utilScripted/clean | |
| sbt:sbtRoot> utilScripted/compile | |
| ... | |
| sbt:sbtRoot> utilScripted/compile | |
| [debug] Other repositories: | |
| [debug] Default repositories: | |
| [debug] Using inline dependencies specified in Scala. | |
| [debug] not up to date. inChanged = true, force = false | |
| [debug] Updating utilInterface... |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| [debug] Reading incremental options from map | |
| [info] Running source-dependencies/subproject-pipelining | |
| [debug] Reading incremental options from map | |
| [debug] PIPELINING value was read. | |
| [debug] Reading incremental options from map | |
| [debug] PIPELINING value was read. | |
| [debug] [zinc] IncrementalCompile ----------- | |
| [debug] IncrementalCompile.incrementalCompile | |
| [debug] previous = Stamps for: 0 products, 0 sources, 0 libraries Map() | |
| [debug] current source = Set(${BASE}/dep/A.scala) |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| /* | |
| * sbt | |
| * Licensed under Apache License 2.0 (see LICENSE) | |
| */ | |
| package org.scalasbt.sbtw; | |
| import java.io.IOException; | |
| import java.io.OutputStream; | |
| import java.io.InputStream; |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Homebrew build logs for sbt on macOS 10.14.3 | |
| Build date: 2020-01-15 01:26:06 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Homebrew build logs for sbt on macOS 10.14.3 | |
| Build date: 2020-01-15 01:26:06 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| sealed abstract class Bool | |
| case class True() extends Bool | |
| case class False() extends Bool | |
| sealed abstract class Nat | |
| case class Zero() extends Nat | |
| case class Succ (rec_x1:Nat) extends Nat | |
| sealed abstract class Int | |
| case class Pos (rec_x1:Nat) extends Int |