Skip to content

Actions: informalsystems/cosmos.nix

Actions

Check PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
341 workflow runs
341 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: update osmosis, centauri, nixpkgs, and description
Check PR #428: Pull request #163 synchronize by dzmitry-lahoda
October 11, 2023 14:14 12m 50s dzmitry-lahoda-forks:dz/11
October 11, 2023 14:14 12m 50s
chore: update osmosis, centauri, nixpkgs, and description
Check PR #427: Pull request #163 opened by dzmitry-lahoda
October 11, 2023 13:30 2h 20m 32s dzmitry-lahoda-forks:dz/11
October 11, 2023 13:30 2h 20m 32s
Update flake inputs and tidy some output packages
Check PR #426: Pull request #153 synchronize by ljoss17
October 10, 2023 15:55 3m 45s romac/update-flake
October 10, 2023 15:55 3m 45s
Update ICS to v3.0.0-pre for misbehaviour evidence handling
Check PR #421: Pull request #161 opened by romac
September 12, 2023 17:51 1h 6m 11s update-ics
September 12, 2023 17:51 1h 6m 11s
apalache: 0.24.0 -> 0.42.0, refactor
Check PR #418: Pull request #158 synchronize by lorenzleutgeb
August 31, 2023 05:34 3m 51s lorenzleutgeb:apalache
August 31, 2023 05:34 3m 51s
apalache: 0.24.0 -> 0.42.0, refactor
Check PR #417: Pull request #158 synchronize by JonathanLorimer
August 30, 2023 21:52 5h 18m 22s lorenzleutgeb:apalache
August 30, 2023 21:52 5h 18m 22s
apalache: 0.24.0 -> 0.42.0, refactor
Check PR #416: Pull request #158 opened by lorenzleutgeb
August 30, 2023 15:04 1h 36m 5s lorenzleutgeb:apalache
August 30, 2023 15:04 1h 36m 5s
Update flake inputs and tidy some output packages
Check PR #415: Pull request #153 synchronize by romac
August 25, 2023 14:52 9m 5s romac/update-flake
August 25, 2023 14:52 9m 5s
Update flake inputs and tidy some output packages
Check PR #413: Pull request #153 synchronize by romac
August 25, 2023 12:12 4h 47m 40s romac/update-flake
August 25, 2023 12:12 4h 47m 40s
Add ibc-go-sdk-50-simapp
Check PR #412: Pull request #151 synchronize by JonathanLorimer
August 24, 2023 13:44 3h 11m 4s ibc-go-sdk-50
August 24, 2023 13:44 3h 11m 4s
Fix apalache deps sha
Check PR #411: Pull request #154 opened by JonathanLorimer
August 24, 2023 13:36 2h 41m 25s jonathan/fix-apalache-deps-sha
August 24, 2023 13:36 2h 41m 25s
add release workflow
Check PR #410: Commit 9798936 pushed by JonathanLorimer
August 24, 2023 12:53 4m 16s master
August 24, 2023 12:53 4m 16s
Add branch 04-channel-upgrades of ibc-go simapp
Check PR #409: Pull request #129 synchronize by ljoss17
August 24, 2023 12:14 3m 39s ibc-go-channel-upgrade
August 24, 2023 12:14 3m 39s
Update vendorSha for channel-upgrade simapp
Check PR #408: Commit 8cdc17f pushed by ljoss17
August 24, 2023 12:14 2m 57s ibc-go-channel-upgrade
August 24, 2023 12:14 2m 57s
Add branch 04-channel-upgrades of ibc-go simapp
Check PR #407: Pull request #129 synchronize by ljoss17
August 24, 2023 11:52 4m 15s ibc-go-channel-upgrade
August 24, 2023 11:52 4m 15s
Update ibc-go commit for channel upgrade
Check PR #406: Commit b41a554 pushed by ljoss17
August 24, 2023 11:52 1h 14m 25s ibc-go-channel-upgrade
August 24, 2023 11:52 1h 14m 25s
Update flake inputs and tidy some output packages
Check PR #405: Pull request #153 opened by romac
August 23, 2023 12:21 3h 38m 18s romac/update-flake
August 23, 2023 12:21 3h 38m 18s
Add ibc-go-sdk-50-simapp
Check PR #404: Pull request #151 synchronize by romac
August 21, 2023 19:51 19s ibc-go-sdk-50
August 21, 2023 19:51 19s
ProTip! You can narrow down the results and go further in time using created:<2023-08-21 or the other filters available.