Code

Add CI Support#1

Code

Merged

1arie1 merged 48 commits intomainCertora/certora-solana-platform-tools:mainfrom oz/ciCertora/certora-solana-platform-tools:oz/ciCopy head branch name to clipboardDec 6, 2024

+179-2

Commits

Commits on Nov 4, 2024

• first build test

  ozcodes

  committed
  5607b3c

  Copy full SHA for 5607b3c

• install just

  ozcodes

  committed
  432ae47

  Copy full SHA for 432ae47

• try using brew

  ozcodes

  committed
  7bb40c1

  Copy full SHA for 7bb40c1

• use just all

  ozcodes

  committed
  ebc034a

  Copy full SHA for ebc034a

Commits on Nov 5, 2024

• install ninja

  ozcodes

  committed
  b81731b

  Copy full SHA for b81731b

• add cargo update

  ozcodes

  committed
  787da16

  Copy full SHA for 787da16

• print dir and upload artifact

  ozcodes

  committed
  83a06e9

  Copy full SHA for 83a06e9

• use relative path

  ozcodes

  committed
  b924dd7

  Copy full SHA for b924dd7

• separated actions

  ozcodes

  committed
  c4b327c

  Copy full SHA for c4b327c

Commits on Nov 6, 2024

• code sign llvm-objcopy

  ozcodes

  committed
  692e734

  Copy full SHA for 692e734

Commits on Nov 17, 2024

• sign multiple files

  ozcodes

  committed
  e46bdb2

  Copy full SHA for e46bdb2

• fix secrets

  ozcodes

  committed
  a034d34

  Copy full SHA for a034d34

• add linux support

  ozcodes

  committed
  44622a4

  Copy full SHA for 44622a4

• install just

  ozcodes

  committed
  a041388

  Copy full SHA for a041388

• run linux only for testing

  ozcodes

  committed
  b89ecac

  Copy full SHA for b89ecac

• try with sudo

  ozcodes

  committed
  7e7b23a

  Copy full SHA for 7e7b23a

• apt update

  ozcodes

  committed
  125037d

  Copy full SHA for 125037d

• install just with dedicated action

  ozcodes

  committed
  19b7282

  Copy full SHA for 19b7282

• install ninja

  ozcodes

  committed
  0c064bd

  Copy full SHA for 0c064bd

• fix if

  ozcodes

  committed
  d45da73

  Copy full SHA for d45da73

• update cargo

  ozcodes

  committed
  2800c8c

  Copy full SHA for 2800c8c

• fix path

  ozcodes

  committed
  075bb4e

  Copy full SHA for 075bb4e

• fix loop and sign script path

  ozcodes

  committed
  4ae9ef6

  Copy full SHA for 4ae9ef6

• sign rust lib

  ozcodes

  committed
  623984d

  Copy full SHA for 623984d

• temporary remove sign.sh

  ozcodes

  committed
  016c5fa

  Copy full SHA for 016c5fa

• restore sign.sh

  ozcodes

  committed
  620e52d

  Copy full SHA for 620e52d

• no quotation marks

  ozcodes

  committed
  9a662ba

  Copy full SHA for 9a662ba

• run both macos and linux

  ozcodes

  committed
  4975539

  Copy full SHA for 4975539

• [skip ci] remove comment

  ozcodes

  committed
  6e81e4d

  Copy full SHA for 6e81e4d

Commits on Nov 18, 2024

• create a release with artifacts

  ozcodes

  committed
  27611ed

  Copy full SHA for 27611ed

Commits on Nov 19, 2024

• disable binaries signing for macos temporary

  ozcodes

  committed
  b4a573f

  Copy full SHA for b4a573f

Commits on Nov 27, 2024

• restore signing and remove zip file from root dir

  ozcodes

  committed
  6a859cd

  Copy full SHA for 6a859cd

Commits on Nov 28, 2024

• disable signing temporary

  ozcodes

  committed
  0a0cfcd

  Copy full SHA for 0a0cfcd

• restore signing and add rust-lld

  ozcodes

  committed
  f331c71

  Copy full SHA for f331c71

Commits on Dec 3, 2024

• don't sign rustc

  ozcodes

  committed
  bfd494a

  Copy full SHA for bfd494a

• sign other rust bins

  ozcodes

  committed
  445ae4b

  Copy full SHA for 445ae4b

• remove test branch

  ozcodes

  committed
  40d8f2f

  Copy full SHA for 40d8f2f

• fix rust-lld filename

  ozcodes

  committed
  603d947

  Copy full SHA for 603d947

• test build

  ozcodes

  committed
  3e8246f

  Copy full SHA for 3e8246f

• remove test branch

  ozcodes

  committed
  7e86db6

  Copy full SHA for 7e86db6

Commits on Dec 4, 2024

• sign only when running ci and disable signing for now

  ozcodes

  committed
  e76ca45

  Copy full SHA for e76ca45

• use cargo 1.75

  ozcodes

  committed
  b373727

  Copy full SHA for b373727

• add macos intel build

  ozcodes

  committed
  bdfe783

  Copy full SHA for bdfe783

• add mac intel to release

  ozcodes

  committed
  bfd15df

  Copy full SHA for bfd15df

• add toolchain for v1.75

  ozcodes

  committed
  cf70013

  Copy full SHA for cf70013

• cahnge default toolchain

  ozcodes

  committed
  213a8cf

  Copy full SHA for 213a8cf

• use version 1.75 and fix default toolchain

  ozcodes

  committed
  ddf9b24

  Copy full SHA for ddf9b24

Commits on Dec 5, 2024

• use macos-13 for intel

  ozcodes

  committed
  993c1ff

  Copy full SHA for 993c1ff