0b39274ed5
refactor(certora): extract `allowedRequestStateChanges` rule into own
...
file
Closes #192
2024-10-21 15:36:29 +02:00
50e90b6816
chore(CI): update certora-cli to 7.10.2
...
This should fix the bug of certora-cli not properly completing with non
zero exit codes on errors, which ultimately results in CI tasks to give
false positives.
2024-08-27 15:08:52 +02:00
0f596e639a
chore(ci): update certora-cli version in CI tasks
...
This updates `certora-cli` to the latest version (at the time of the
commit, this was 7.10.1).
2024-08-06 11:01:24 +02:00
8b3761c1a7
ci: add ci job concurrency ( #136 )
...
* ci: add ci job concurrency
* ci: update actions to the latest major versions
2024-08-01 07:51:52 +03:00
688a8ed929
Set up certora and implement first rules ( #122 )
...
Co-authored-by: 0xb337r007 <0xe4e5@proton.me>
Co-authored-by: Adam Uhlíř <adam@uhlir.dev>
2024-07-24 18:50:18 +02:00
924d192de1
ci: update actions to the latest major versions ( #120 )
2024-06-14 13:53:18 +02:00
d4c7057fff
ci: check formatting
2024-01-25 13:16:49 +01:00
b396f13359
[fuzzing] Fix CI
2023-06-19 14:58:47 +02:00
25f52c72b1
[ci] Run fuzzing in CI
2023-06-19 14:58:47 +02:00
ee70b64b15
Add Docker builds ( #56 )
2023-05-25 22:00:56 +03:00
4e11549a54
[build] Update to NodeJS 18.13.0 (latest LTS)
2023-01-09 12:04:23 +01:00
01e18ee494
Add continuous integration
2021-10-14 14:56:06 +02:00
r4bbit
Slava
Adam Uhlíř
Mark Spanbroek