Commits

Breadcrumbs

History for

ondevelop

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 12, 2024

• coq-of-solidity: upgrade to Coq 8.20

  clarus

  committed
  351b5c6

  Copy full SHA for 351b5c6

Commits on Dec 11, 2024

• coq-of-solidity: upgrade to Coq 8.19

  clarus

  committed
  a926bff

  Copy full SHA for a926bff

• coq-of-solidity: upgrade to Coq 8.18

  clarus

  committed
  3dd39d3

  Copy full SHA for 3dd39d3

• coq-of-solidity: remove the submodule for coq-evm and use copy and paste instead

  clarus

  committed
  d742293

  Copy full SHA for d742293

Commits on Nov 25, 2024

• Merge pull request #16 from formal-land/guillaume-claret@add-local-documentation

  Show description for 45668af
  

  clarus

  authored and

  Deploy from CI

  committed
  45668af

  Copy full SHA for 45668af

• doc: add Coq documentation

  clarus

  committed
  17a06b9

  Copy full SHA for 17a06b9

Commits on Nov 24, 2024

• coq-of-solidity: more work

  clarus

  committed
  0f1af39

  Copy full SHA for 0f1af39

Commits on Sep 18, 2024

• Remove 22.04 images and docker buildpack deps

  nikola-matic

  committed
  5fc7269

  Copy full SHA for 5fc7269

Commits on Sep 2, 2024

• Introduce ubuntu2404 clang docker image

  Show description for 1673c5c
  nikola-matic

  committed
  1673c5c

  Copy full SHA for 1673c5c

Commits on Aug 15, 2024

• Add ubuntu2404 docker image

  nikola-matic

  committed
  1c21f83

  Copy full SHA for 1c21f83

Commits on Mar 27, 2024

• Update actions/checkout version to v4

  r0qs

  committed
  77b8ca5

  Copy full SHA for 77b8ca5

Commits on Jul 10, 2023

• Remove token requirement from external contributor greeter

  r0qs

  committed
  9194089

  Copy full SHA for 9194089

Commits on Jun 26, 2023

• Remove triage workflow in favor of github built-in automation

  r0qs

  committed
  a477793

  Copy full SHA for a477793

Commits on May 30, 2023

• Misspelling and terms inconsistencies (ethereum#14280)

  Show description for 3eedc63
  NunoFilipeSantos

  authored
  3eedc63

  Copy full SHA for 3eedc63

Commits on Apr 26, 2023

• Enable triage issues action

  r0qs

  committed
  da7754c

  Copy full SHA for da7754c

Commits on Apr 25, 2023

• Update triage automation to use new project board and github projectV2 API

  

  r0qs

  authored and

  cameel

  committed
  a6c809f

  Copy full SHA for a6c809f

Commits on Apr 18, 2023

• Update ubuntu ossfuzz references

  r0qs

  committed
  524db30

  Copy full SHA for 524db30

Commits on Apr 17, 2023

• Removed duplicated link (ethereum#14131)

  Show description for 719cce0
  NunoFilipeSantos

  authored
  719cce0

  Copy full SHA for 719cce0

Commits on Apr 13, 2023

• Removed Issues duplications from GitHub (ethereum#14120)

  NunoFilipeSantos

  authored
  5d42bb5

  Copy full SHA for 5d42bb5

Commits on Apr 5, 2023

• bring ubuntu2004 back

  

  Leo Alt

  committed
  e6f099d

  Copy full SHA for e6f099d

Commits on Apr 4, 2023

• Merge pull request ethereum#14008 from ethereum/uniform-gh-label-naming-convention

  Show description for 9d5b34b
  cameel

  authored
  9d5b34b

  Copy full SHA for 9d5b34b

• Update issue templates (ethereum#13970)

  Show description for d9965a3
  

  NunoFilipeSantos

  and

  matheusaaguiar

  authored
  d9965a3

  Copy full SHA for d9965a3

Commits on Mar 15, 2023

• Double number of operations per run for stale action bot

  r0qs

  committed
  8c53b65

  Copy full SHA for 8c53b65

Commits on Feb 23, 2023

• Update github actions to match renamed labels (lower case, no dashes)

  cameel

  committed
  0904bb3

  Copy full SHA for 0904bb3

Commits on Feb 21, 2023

• Run triage action on all new issues

  r0qs

  committed
  9efc422

  Copy full SHA for 9efc422

Commits on Feb 11, 2023

• Update stale issues policies

  r0qs

  committed
  627bbe2

  Copy full SHA for 627bbe2

Commits on Jan 26, 2023

• Disable stale action debug mode (ethereum#13756)

  r0qs

  authored
  206e7cf

  Copy full SHA for 206e7cf

Commits on Jan 12, 2023

• Rename ubuntu dockerfiles

  r0qs

  committed
  904afd8

  Copy full SHA for 904afd8

Commits on Dec 1, 2022

• Remove exempt of draft PRs in stale action

  r0qs

  committed
  523aad1

  Copy full SHA for 523aad1

Commits on Nov 29, 2022

• Ensure that stale label is not removed from processed ancient issues

  r0qs

  committed
  35f4456

  Copy full SHA for 35f4456

• Prefer old issues/prs and only issues already labeled as stale

  Show description for e31488f
  

  r0qs

  and

  cameel

  committed
  e31488f

  Copy full SHA for e31488f

Commits on Nov 28, 2022

• Rename stale action

  r0qs

  committed
  0407ef7

  Copy full SHA for 0407ef7

• Modify stale pr action to also close old stale issues

  Show description for eb550d8
  

  r0qs

  and

  cameel

  committed
  eb550d8

  Copy full SHA for eb550d8

Commits on Nov 24, 2022

• Avoid run the action when PRs are reopened

  r0qs

  committed
  b4add1d

  Copy full SHA for b4add1d

Commits on Nov 3, 2022

• Properly query team members

  r0qs

  committed
  c0c1ab7

  Copy full SHA for c0c1ab7

Pagination

Previous

Next