Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 29, 2024

• CI: automatically handle system dependency changes

  tahina-pro

  committedJul 29, 2024
  ff33753

Commits on Jun 4, 2024

• Revert "Fix CI?"

  tahina-pro

  committedJun 4, 2024
  4ff08b8

• Merge branch 'master' of github.com:FStarLang/karamel into _taramana_ci

  tahina-pro

  committedJun 4, 2024
  a0707b9

• use opam package z3.4.8.5-1

  tahina-pro

  committedJun 4, 2024
  8842709

• CI: upgrade standalone image to Ubuntu 23.10

  tahina-pro

  committedJun 4, 2024
  935b5ee

Commits on Jun 3, 2024

• CI: decommission dzomo's everbld email address

  tahina-pro

  committedJun 3, 2024
  c2bdd77

• Fix CI?

  msprotz

  committedJun 3, 2024
  12d008a

Commits on May 24, 2024

• CI for user manual: install pytz

  tahina-pro

  committedMay 24, 2024
  051a947

Commits on May 1, 2024

• try

  msprotz

  committedMay 1, 2024
  320fd21

• ci

  msprotz

  committedMay 1, 2024
  ce87a36

Commits on Feb 14, 2024

• Merge remote-tracking branch 'origin/master' into afromher_rust

  msprotz

  committedFeb 14, 2024
  05a5ef0

Commits on Jan 29, 2024

• fix ci

  msprotz

  committedJan 29, 2024
  3f6ec6e

Commits on Jan 23, 2024

• Install rust for CI

  msprotz

  committedJan 23, 2024
  88eed54

Commits on Jan 17, 2024

• Attempt to fix the build per @tahina-pro's suggestions (thanks)

  msprotz

  committedJan 17, 2024
  e0efdbf

Commits on Nov 27, 2023

• ci: standalone.Dockerfile: add missing dependencies

  mtzguido

  committedNov 27, 2023
  4e89c64

Commits on May 16, 2023

• install-other-deps.sh: stricter regex to only remove fstar dependency

  mtzguido

  committedMay 16, 2023
  6bb0cf7

Commits on May 3, 2023

• Revert "(TEMP) use F* branch taramana_no_steel"

  tahina-pro

  committedMay 3, 2023
  7d4d919

• allow overriding FSTAR_BRANCH

  tahina-pro

  committedMay 3, 2023
  0daa8ae

Commits on Apr 18, 2023

• Merge branch 'master' of github.com:FStarLang/kremlin into taramana_no_steel

  tahina-pro

  committedApr 18, 2023
  a07f3f0

• CI security

  tahina-pro

  committedApr 18, 2023
  94700e7

Commits on Apr 16, 2023

• install-other-deps.sh should cd to the KRML_HOME directory

  tahina-pro

  committedApr 16, 2023
  a1a3ff9

• (TEMP) use F* branch taramana_no_steel

  tahina-pro

  committedApr 16, 2023
  27347d0

Commits on Jul 21, 2022

• Remove query stats, it makes the build log hella too long

  msprotz

  committedJul 21, 2022
  4d722f2

Commits on Jun 30, 2022

• Continue build on error

  msprotz

  committedJun 30, 2022
  a98dc86

Commits on Jun 8, 2022

• output log into a build artifact

  tahina-pro

  committedJun 8, 2022
  b4f1857

• tidy standalone Dockerfile

  tahina-pro

  committedJun 8, 2022
  90b79f7

• retarget standalone CI to Ubuntu

  tahina-pro

  committedJun 8, 2022
  c66432b

Commits on May 1, 2022

• Revert "(TEMP) test refresh_tutorial with this branch"

  tahina-pro

  committedMay 1, 2022
  16abbff

• refresh Low* tutorial

  tahina-pro

  committedMay 1, 2022
  d666e7d

Commits on Apr 29, 2022

• read branch name

  tahina-pro

  committedApr 29, 2022
  7ffaac6

• (TEMP) test refresh_tutorial with this branch

  tahina-pro

  committedApr 29, 2022
  ff56dfc

Commits on Apr 27, 2022

• Revert "use F* branch taramana_github_actions"

  tahina-pro

  committedApr 27, 2022
  6a8135c

• use F* branch taramana_github_actions

  tahina-pro

  committedApr 27, 2022
  0d8436e

• Revert "use F* branch taramana_github_actions"

  tahina-pro

  committedApr 27, 2022
  6db197a

• standalone CI: install jq (to identify F* branch)

  tahina-pro

  committedApr 27, 2022
  44410be

Pagination

PreviousNext