Commits

Breadcrumbs

History for

onb21b80b

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 9, 2023

• using Haskell actions

  Ptival

  committed
  c12b581

Commits on Aug 8, 2023

• update CI and solve caching issues

  Ptival

  committed
  524d515

Commits on Apr 21, 2023

• updating deprecated CI actions

  Ptival

  committed
  5d1a9a2

• disabling long and currently irrelevant CI tasks

  Ptival

  committed
  a2f42be

Commits on Feb 17, 2023

• make GHC 9.2.6 compatible

  Ptival

  committed
  c301243

Commits on Oct 18, 2022

• Fixing CI

  simonjwinwood

  committed
  bd8b27d

Commits on Sep 22, 2021

• tweak docker hub naming (#114)

  

  Andrew Kent

  authored
  e977910

• feat: reopt eval container with examples from try-reopt (#113)

  Show description for ef56776
  

  Andrew Kent

  authored
  ef56776

Commits on Sep 15, 2021

• fix ci push to docker

  

  Andrew Kent

  committed
  eaf8626

• tweak CI secret echo

  

  Andrew Kent

  committed
  f5805e2

Commits on Aug 16, 2021

• update CI, push each tag to Docker Hub

  

  Andrew Kent

  authored
  7781396

Commits on Aug 9, 2021

• Push reopt latest

  

  Joe Hendrix

  committed
  c90d9c1

Commits on Aug 4, 2021

• Fix docker push

  

  Joe Hendrix

  committed
  390a05f

Commits on Jul 9, 2021

• add nweb integration test

  

  Andrew Kent

  committed
  7eba76f

Commits on Jul 6, 2021

• fix: actual init support for dependency debug info

  

  Andrew Kent

  committed
  8b307fd

Commits on Jun 15, 2021

• Disable reopt-explore tests for merging

  

  Joe Hendrix

  committed
  b615ce9

• Move reopt_explore_tests

  

  Joe Hendrix

  committed
  38546c9

Commits on May 21, 2021

• test: CI run reopt-explore on centos7 bin dir

  

  Andrew Kent

  committed
  0e8eeec

Commits on May 12, 2021

• fix docker tagging, include reopt-explore

  

  Andrew Kent

  committed
  40dc0de

Commits on May 4, 2021

• Update ci.yaml

  

  Andrew Kent

  authored
  49f2741

• Update ci.yaml

  

  Andrew Kent

  authored
  8246b08

Commits on Apr 28, 2021

• chore: bump reopt-vcg submodule, build reopt-vcg CI artifacts

  

  Andrew Kent

  committed
  f36e91f

Commits on Apr 22, 2021

• Add vscode to CI

  

  Joe Hendrix

  committed
  df130f8

• Docker push only on master

  

  Joe Hendrix

  committed
  237b0ae

Commits on Apr 18, 2021

• Create reopt-dev docker image; build lean.

  

  Joe Hendrix

  committed
  48ca61c

• Build on centos7 for compatibility.

  

  Joe Hendrix

  committed
  72eaa27

Commits on Jan 28, 2021

• Fix reopt-relink.

  

  Joe Hendrix

  committed
  9fb53b3

• Remove reopt-vcg prototype.

  

  Joe Hendrix

  committed
  897967c

Commits on Oct 15, 2020

• Replace deprecated GitHub Actions functions

  

  Lisanna Dettwyler

  committed
  f653fff

Commits on May 30, 2020

• Fix freeze process

  

  Joe Hendrix

  committed
  ecb0a21

Commits on Mar 27, 2020

• Add github action

  

  Joe Hendrix

  committed
  0886843

Loading