Skip to content

Actions: informalsystems/tendermint-rs

no_std check

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
240 workflow runs
240 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update rustc option for instrument-coverage
no_std check #818: Pull request #1377 synchronize by mzabaluev
November 9, 2023 11:45 1m 12s mikhail/fix-instrument-coverage
November 9, 2023 11:45 1m 12s
Update rustc option for instrument-coverage
no_std check #817: Pull request #1377 synchronize by mzabaluev
November 9, 2023 11:31 40s mikhail/fix-instrument-coverage
November 9, 2023 11:31 40s
fix: some typos (#1373)
no_std check #813: Commit 707d283 pushed by mzabaluev
November 6, 2023 14:40 45s main
November 6, 2023 14:40 45s
rpc: Add FromStr, Serialize and Deserialize instances to CompatMode
no_std check #812: Pull request #1367 synchronize by romac
November 1, 2023 10:08 1m 7s compatmode-fromstr
November 1, 2023 10:08 1m 7s
Avoid enabling flex-error/eyre_tracer feature (#1371)
no_std check #810: Commit 37822e5 pushed by romac
October 23, 2023 15:54 1m 2s main
October 23, 2023 15:54 1m 2s
p2p: bump chacha20poly1305 to v0.10 (#1372)
no_std check #809: Commit 64e9b33 pushed by tony-iqlusion
October 13, 2023 17:46 1m 1s main
October 13, 2023 17:46 1m 1s
p2p: bump chacha20poly1305 to v0.10
no_std check #808: Pull request #1372 synchronize by tony-iqlusion
October 13, 2023 16:03 1m 0s p2p/chacha20poly1305-v0.10
October 13, 2023 16:03 1m 0s
p2p: replace x25519-dalek with curve25519-dalek-ng (#1370)
no_std check #807: Commit 2c4f096 pushed by romac
October 13, 2023 15:58 1m 14s main
October 13, 2023 15:58 1m 14s
p2p: bump chacha20poly1305 to v0.10
no_std check #806: Pull request #1372 opened by tony-iqlusion
October 13, 2023 15:46 1m 10s p2p/chacha20poly1305-v0.10
October 13, 2023 15:46 1m 10s
Avoid enabling flex-error/eyre_tracer feature
no_std check #805: Pull request #1371 synchronize by mina86
October 13, 2023 03:49 48s mina86:a
October 13, 2023 03:49 48s
ProTip! You can narrow down the results and go further in time using created:<2023-10-11 or the other filters available.