Skip to content

Actions: cosmos/interchain-security

Actions

Check Markdown links

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
950 workflow run results
950 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Added some basic checks Check Markdown links #1639: Commit 8bf03ab pushed by bermuell
October 3, 2023 09:51 1m 18s bernd/1214-splitConsumerGenesis
bernd/1214-splitConsumerGenesis
October 3, 2023 09:51 1m 18s
update changelog Check Markdown links #1638: Commit 35b4a5c pushed by yaruwangway
October 2, 2023 16:38 1m 11s feat/refactor-key-assignment
feat/refactor-key-assignment
October 2, 2023 16:38 1m 11s
feat: update GetAllValidatorsByConsumerAddr for fast find consensus k… Check Markdown links #1637: Commit 9fb3871 pushed by yaruwangway
October 2, 2023 16:23 1m 26s feat/refactor-key-assignment
feat/refactor-key-assignment
October 2, 2023 16:23 1m 26s
update ValidatorConsensusKeyInUse Check Markdown links #1636: Commit 70b5f0d pushed by yaruwangway
October 2, 2023 15:56 1m 8s update-ValidatorConsensusKeyInUse
update-ValidatorConsensusKeyInUse
October 2, 2023 15:56 1m 8s
fix test Check Markdown links #1635: Commit 3a3e157 pushed by yaruwangway
October 2, 2023 15:19 1m 13s feat/refactor-key-assignment
feat/refactor-key-assignment
October 2, 2023 15:19 1m 13s
feat!: store proposed chainID before voting finishes (#1289) Check Markdown links #1634: Commit 67ec715 pushed by yaruwangway
October 2, 2023 15:09 1m 22s feat/refactor-key-assignment
feat/refactor-key-assignment
October 2, 2023 15:09 1m 22s
Merge branch 'feat/refactor-key-assignment' into chain-in-proposal Check Markdown links #1633: Commit 834a2af pushed by yaruwangway
October 2, 2023 15:08 1m 11s chain-in-proposal
chain-in-proposal
October 2, 2023 15:08 1m 11s
Remove unused field from test data Check Markdown links #1632: Commit fae4e3e pushed by bermuell
October 2, 2023 14:59 1m 27s bernd/1214-splitConsumerGenesis
bernd/1214-splitConsumerGenesis
October 2, 2023 14:59 1m 27s
Add genesis transformation command to interchain-security-cd Check Markdown links #1631: Commit 13d3f61 pushed by bermuell
October 2, 2023 14:58 1m 21s bernd/1214-splitConsumerGenesis
bernd/1214-splitConsumerGenesis
October 2, 2023 14:58 1m 21s
Fix bluespec definitions Check Markdown links #1630: Commit a80ce70 pushed by p-offtermatt
October 2, 2023 12:05 1m 5s ph/quint-model-v2
ph/quint-model-v2
October 2, 2023 12:05 1m 5s
Try fixed bluespec Check Markdown links #1629: Commit ca50ee2 pushed by p-offtermatt
October 2, 2023 12:04 1m 8s ph/quint-model-v2
ph/quint-model-v2
October 2, 2023 12:04 1m 8s
Add bluespec Check Markdown links #1628: Commit 9e4f9c4 pushed by p-offtermatt
October 2, 2023 12:02 1m 16s ph/quint-model-v2
ph/quint-model-v2
October 2, 2023 12:02 1m 16s
Add model checking to README Check Markdown links #1627: Commit 1bc4610 pushed by p-offtermatt
October 2, 2023 11:46 1m 2s ph/quint-model-v2
ph/quint-model-v2
October 2, 2023 11:46 1m 2s
Remove trace Check Markdown links #1626: Commit 99744ff pushed by p-offtermatt
October 2, 2023 11:45 59s ph/quint-model-v2
ph/quint-model-v2
October 2, 2023 11:45 59s
Fix model and randomly run invariant checks Check Markdown links #1625: Commit 4fdc2ff pushed by p-offtermatt
October 2, 2023 11:45 1m 10s ph/quint-model-v2
ph/quint-model-v2
October 2, 2023 11:45 1m 10s
fix err Check Markdown links #1624: Commit 533ea06 pushed by yaruwangway
October 2, 2023 11:36 1m 20s chain-in-proposal
chain-in-proposal
October 2, 2023 11:36 1m 20s
fix lint Check Markdown links #1623: Commit d31f4c8 pushed by yaruwangway
October 2, 2023 11:15 1m 6s chain-in-proposal
chain-in-proposal
October 2, 2023 11:15 1m 6s
lint Check Markdown links #1622: Commit 5ee3116 pushed by yaruwangway
October 2, 2023 11:07 1m 27s chain-in-proposal
chain-in-proposal
October 2, 2023 11:07 1m 27s
test: add unit test Check Markdown links #1621: Commit dc7371b pushed by yaruwangway
October 2, 2023 10:55 1m 13s chain-in-proposal
chain-in-proposal
October 2, 2023 10:55 1m 13s
refactor: RepresentativePowers to StakedTokens (#1333) Check Markdown links #1620: Commit 3cbf9c8 pushed by yaruwangway
October 2, 2023 09:16 1m 13s feat/refactor-key-assignment
feat/refactor-key-assignment
October 2, 2023 09:16 1m 13s
Update model for bug reporting] Check Markdown links #1619: Commit 289ccad pushed by p-offtermatt
October 2, 2023 08:46 59s ph/quint-model-v2
ph/quint-model-v2
October 2, 2023 08:46 59s
Update model Check Markdown links #1618: Commit e494a09 pushed by p-offtermatt
October 2, 2023 08:19 1m 17s ph/quint-model-v2
ph/quint-model-v2
October 2, 2023 08:19 1m 17s
refactor: remove equivocation proposal (#1294) Check Markdown links #1617: Commit 517cdb4 pushed by sainoe
September 29, 2023 15:27 1m 14s feat/ics-misbehaviour-handling
feat/ics-misbehaviour-handling
September 29, 2023 15:27 1m 14s
Add invariants Check Markdown links #1616: Commit f28d074 pushed by p-offtermatt
September 29, 2023 14:07 1m 25s ph/quint-model-v2
ph/quint-model-v2
September 29, 2023 14:07 1m 25s
Make time module upper case Check Markdown links #1615: Commit 633f8bb pushed by p-offtermatt
September 29, 2023 13:33 1m 19s ph/quint-model-v2
ph/quint-model-v2
September 29, 2023 13:33 1m 19s