Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 7, 2023

• add some sudos

  vcanumalla

  committed
  ad210a6

• workflow

  vcanumalla

  committed
  82a3458

Commits on Oct 30, 2023

• Bump Bogdanp/setup-racket from 1.10 to 1.11 (emina#269)

  Show description for 63524aa
  dependabot[bot]

  authored
  63524aa

Commits on Sep 14, 2023

• Bump docker/build-push-action from 4 to 5 (emina#266)

  Show description for 2f183fd
  dependabot[bot]

  authored
  2f183fd

• Bump docker/metadata-action from 4 to 5 (emina#265)

  Show description for ad417cc
  dependabot[bot]

  authored
  ad417cc

• Bump docker/login-action from 2 to 3 (emina#264)

  Show description for b6e0ea3
  dependabot[bot]

  authored
  b6e0ea3

• Bump docker/setup-buildx-action from 2 to 3 (emina#263)

  Show description for fd38ca3
  dependabot[bot]

  authored
  fd38ca3

• Add support for Bitwuzla and CVC5 (emina#260)

  Show description for b3f792a
  gussmith23

  authored
  b3f792a

Commits on Sep 7, 2023

• Bump actions/checkout from 3 to 4

  Show description for 6096aba
  

  dependabot[bot]

  authored and

  sorawee

  committed
  6096aba

Commits on Mar 16, 2023

• Bump Bogdanp/setup-racket from 1.9 to 1.10

  Show description for 6d41d0e
  

  dependabot[bot]

  authored and

  jamesbornholt

  committed
  6d41d0e

Commits on Feb 1, 2023

• Bump docker/build-push-action from 3 to 4 (emina#251)

  Show description for 7cfd9b2
  dependabot[bot]

  authored
  7cfd9b2

Commits on Oct 15, 2022

• Bump Bogdanp/setup-racket from 1.8 to 1.9 (emina#243)

  Show description for 4c23c80
  dependabot[bot]

  authored
  4c23c80

Commits on May 6, 2022

• Bump docker/setup-buildx-action from 1 to 2

  Show description for 096430e
  

  dependabot[bot]

  authored and

  jamesbornholt

  committed
  096430e

• Bump docker/build-push-action from 2 to 3

  Show description for f1dd43b
  

  dependabot[bot]

  authored and

  jamesbornholt

  committed
  f1dd43b

• Bump docker/login-action from 1 to 2

  Show description for 117d7aa
  

  dependabot[bot]

  authored and

  jamesbornholt

  committed
  117d7aa

Commits on May 5, 2022

• Bump docker/metadata-action from 3 to 4

  Show description for 374e728
  

  dependabot[bot]

  authored and

  jamesbornholt

  committed
  374e728

Commits on May 2, 2022

• Bump Bogdanp/setup-racket from 1.7 to 1.8

  Show description for 9520c30
  

  dependabot[bot]

  authored and

  jamesbornholt

  committed
  9520c30

Commits on Mar 8, 2022

• Properly handle tags in Docker workflow

  lukenels

  committed
  1017855

• Run Docker workflow on tags

  lukenels

  committed
  eeb5e12

Commits on Mar 7, 2022

• Bump Bogdanp/setup-racket from 1.1 to 1.7

  Show description for c53aff6
  

  dependabot[bot]

  authored and

  jamesbornholt

  committed
  c53aff6

• Add Docker image and continuous deployment for it (emina#219)

  Show description for 54e1df6
  Niols

  authored
  54e1df6

Commits on Nov 18, 2021

• Bump up the required Racket version to 8.1.

  emina

  committed
  8684625

Commits on Mar 4, 2021

• Update the CI configuration.

  emina

  committed
  1defa8e

• Update the CI configuration.

  emina

  committed
  ca6fa33

Commits on Feb 22, 2021

• Update info.rkt and CI config to use Racket 8.0.

  emina

  committed
  34ff8d9

Commits on Dec 29, 2020

• Support CVC4 1.8 (emina#178)

  Show description for ce02eb4
  remysucre

  authored
  ce02eb4

Commits on Nov 3, 2020

• Add GitHub actions workflow for CI (emina#173)

  jamesbornholt

  authored
  d3dca21

Loading