r4bbit
|
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 |
Slava
|
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 |
|
r4bbit
|
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 |
|
Slava
|
924d192de1
|
ci: update actions to the latest major versions (#120)
|
2024-06-14 13:53:18 +02:00 |
Adam Uhlíř
|
d4c7057fff
|
ci: check formatting
|
2024-01-25 13:16:49 +01:00 |
|
Slava
|
12b595b8d9
|
Add reusable workflow for Docker (codex-storage/cs-codex-dist-tests/issues/42) (#67)
|
2023-08-17 06:05:52 +03:00 |
|
Slava
|
b4e4897a37
|
Add Docker builds for Dist-Tests (#63)
https://github.com/codex-storage/cs-codex-dist-tests/issues/34
|
2023-07-21 11:08:29 +03:00 |
|
Slava
|
d082dc71be
|
Update Docker workflow (#62)
|
2023-07-11 19:36:21 +03:00 |
Mark Spanbroek
|
b396f13359
|
[fuzzing] Fix CI
|
2023-06-19 14:58:47 +02:00 |
|
Mark Spanbroek
|
25f52c72b1
|
[ci] Run fuzzing in CI
|
2023-06-19 14:58:47 +02:00 |
|
Slava
|
ee70b64b15
|
Add Docker builds (#56)
|
2023-05-25 22:00:56 +03:00 |
|
Mark Spanbroek
|
4e11549a54
|
[build] Update to NodeJS 18.13.0 (latest LTS)
|
2023-01-09 12:04:23 +01:00 |
|
Mark Spanbroek
|
01e18ee494
|
Add continuous integration
|
2021-10-14 14:56:06 +02:00 |