Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 14, 2024

• fix: refactor build commands in release.yml

  MathieuSoysal

  authored
  f2f71b8

• feat: #5 feature add release ci (#9)

  Show description for adb8dd0
  MathieuSoysal

  authored
  adb8dd0

• fix : Update commitlint configuration

  MathieuSoysal

  authored
  95815df

• fix(ci) : Update commitlint.config.js

  MathieuSoysal

  authored
  0ca1a48

• fix(ci) : Add commitlint.config.js configuration file

  MathieuSoysal

  authored
  3e9b876

• fix(ci): Update dependencies installation in commit-lint workflow

  MathieuSoysal

  authored
  85e9ecd

• fix(ci): Add permissions and environment variables to commit-lint workflow

  MathieuSoysal

  authored
  6c5d288

• fix: Remove cargo_deadblock job from security-audit.yml

  MathieuSoysal

  authored
  3b9544a

Commits on Mar 13, 2024

• fix(ci) : security deadblock

  MathieuSoysal

  authored
  5bfc1ae

Commits on Mar 9, 2024

• fix: code coverage generation by setting LD_LIBRARY_PATH

  MathieuSoysal

  authored
  ea6375f

Commits on Mar 7, 2024

• fix: Add Rust nightly installation step to security audit workflow

  MathieuSoysal

  authored
  16c3038

Commits on Mar 5, 2024

• fix: Remove cargo_prusti static analysis workflow

  MathieuSoysal

  authored
  4927a48

• fix(prusti): Add #[trusted] attribute to play_game functions

  MathieuSoysal

  authored
  ddc9f72

• feat: Update dependencies and add contract annotation

  MathieuSoysal

  authored
  935463d

• fix: Remove unused token in security-audit.yml workflow

  MathieuSoysal

  authored
  9863c96

• feat: Add Cargo lockbud check for deadlocks

  MathieuSoysal

  authored
  3f55d85

Commits on Mar 3, 2024

• fix: Update cargo-udeps installation command

  MathieuSoysal

  authored
  8accdea

• fix: Add Java feature for Prusti

  MathieuSoysal

  authored
  2e3db33

• feat: Add prusti-contracts dependency

  MathieuSoysal

  authored
  d4a1bee

• fix: Add write permission for pull requests in security audit workflow

  MathieuSoysal

  authored
  d6a64c6

• fix: Add token parameter to Prusti action

  MathieuSoysal

  authored
  7a934b1

• fix: Update security-audit.yml: Add cargo-binstall step

  MathieuSoysal

  authored
  220b357

• feat: Improve cargo-udeps installation command

  MathieuSoysal

  authored
  15fef2d

• fix: Add checkout step for Rudra workflow

  MathieuSoysal

  authored
  5353fbd

Commits on Mar 1, 2024

• Merge branch 'main' into 5-feature-add-release-ci

  MathieuSoysal

  authored
  23d8b5b

• docs: fix typos

  MathieuSoysal

  authored
  2019b04

Commits on Feb 27, 2024

• Merge pull request #7 from MathieuSoysal/dependabot/github_actions/actions/upload-artifact-4

  Show description for af5faa7
  MathieuSoysal

  authored
  af5faa7

• Merge pull request #8 from MathieuSoysal/dependabot/github_actions/actions/labeler-5

  Show description for 7ebb974
  MathieuSoysal

  authored
  7ebb974

Commits on Feb 26, 2024

• Add commit-lint workflow

  Show description for 33c5786
  MathieuSoysal

  authored
  33c5786

• 📝 Add branch labels to labeler.yml

  MathieuSoysal

  authored
  5f05f24

• 📝 Add labeler.yml

  MathieuSoysal

  authored
  a4c6298

• Bump actions/labeler from 4 to 5

  Show description for 19b102e
  dependabot[bot]

  authored
  19b102e

• Bump actions/upload-artifact from 2 to 4

  Show description for 18e840e
  dependabot[bot]

  authored
  18e840e

• 📝 Add link to Crate prusti

  MathieuSoysal

  authored
  d7a3800

• 👷 Add security audit workflow

  MathieuSoysal

  authored
  ce7635a

Pagination

PreviousNext