Skip to content

Actions: freespek/solarkraft

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
572 workflow runs
572 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ITF serialization of Values build #47: Pull request #36 synchronize by Kukovec
April 22, 2024 15:52 19s jk/itf
jk/itf
April 22, 2024 15:52 19s
ITF serialization of Values build #46: Pull request #36 opened by Kukovec
April 22, 2024 15:47 16s jk/itf
jk/itf
April 22, 2024 15:47 16s
Merge pull request #32 from freespek/th/launch-apalache build #45: Commit 343d6ff pushed by thpani
April 19, 2024 12:52 29s main
main
April 19, 2024 12:52 29s
Launch Apalache on monitor files build #44: Pull request #32 synchronize by thpani
April 19, 2024 12:51 26s th/launch-apalache
th/launch-apalache
April 19, 2024 12:51 26s
Launch Apalache on monitor files build #43: Pull request #32 synchronize by thpani
April 19, 2024 12:49 27s th/launch-apalache
th/launch-apalache
April 19, 2024 12:49 27s
Set devcontainer platform to linux/amd64 (#33) build #42: Commit 401f25f pushed by thpani
April 19, 2024 12:45 29s main
main
April 19, 2024 12:45 29s
Pin devcontainer platform to linux/amd64 build #41: Pull request #33 opened by thpani
April 19, 2024 10:58 20s th/devcontainer-platform-amd64
th/devcontainer-platform-amd64
April 19, 2024 10:58 20s
Launch Apalache on monitor files build #40: Pull request #32 opened by thpani
April 19, 2024 10:55 25s th/launch-apalache
th/launch-apalache
April 19, 2024 10:55 25s
Merge pull request #30 from freespek/jk/values2 build #39: Commit 3da2db2 pushed by Kukovec
April 18, 2024 15:21 25s main
main
April 18, 2024 15:21 25s
Values for collections build #38: Pull request #30 synchronize by Kukovec
April 18, 2024 15:19 28s jk/values2
jk/values2
April 18, 2024 15:19 28s
Split dev container (#31) build #37: Commit 24e7def pushed by thpani
April 18, 2024 14:30 25s main
main
April 18, 2024 14:30 25s
Split dev container build #36: Pull request #31 synchronize by thpani
April 18, 2024 14:30 24s th/split-devcontainer
th/split-devcontainer
April 18, 2024 14:30 24s
Split dev container build #35: Pull request #31 synchronize by thpani
April 18, 2024 14:17 21s th/split-devcontainer
th/split-devcontainer
April 18, 2024 14:17 21s
Merge pull request #29 from freespek/igor/cli-ux build #34: Commit a4a065b pushed by konnov
April 18, 2024 14:15 30s main
main
April 18, 2024 14:15 30s
Split dev container build #33: Pull request #31 opened by thpani
April 18, 2024 14:04 22s th/split-devcontainer
th/split-devcontainer
April 18, 2024 14:04 22s
Values for collections build #32: Pull request #30 opened by Kukovec
April 18, 2024 13:40 20s jk/values2
jk/values2
April 18, 2024 13:40 20s
Add mock CLI commands build #31: Pull request #29 opened by konnov
April 18, 2024 10:09 22s igor/cli-ux
igor/cli-ux
April 18, 2024 10:09 22s
Merge pull request #26 from freespek/jk/values build #30: Commit fdb5cc3 pushed by Kukovec
April 18, 2024 09:48 19s main
main
April 18, 2024 09:48 19s
HOWTO: Set Up a Testnet and Deploy Custom Contracts build #29: Pull request #10 synchronize by Kukovec
April 18, 2024 09:36 21s jk/howto2
jk/howto2
April 18, 2024 09:36 21s
Basic values and tests build #28: Pull request #26 synchronize by Kukovec
April 18, 2024 09:13 25s jk/values
jk/values
April 18, 2024 09:13 25s
Merge pull request #28 from freespek/igor/cli25 build #27: Commit ff1ffbb pushed by konnov
April 16, 2024 16:01 24s main
main
April 16, 2024 16:01 24s
Basic values and tests build #26: Pull request #26 synchronize by Kukovec
April 16, 2024 14:56 21s jk/values
jk/values
April 16, 2024 14:56 21s
add a simple CLI mock build #25: Pull request #28 opened by konnov
April 16, 2024 14:33 24s igor/cli25
igor/cli25
April 16, 2024 14:33 24s
Merge pull request #24 from freespek/igor/husky build #24: Commit 08e7089 pushed by konnov
April 16, 2024 12:50 24s main
main
April 16, 2024 12:50 24s
add preliminary contributing instructions build #23: Commit c717cdc pushed by github-merge-queue bot
April 16, 2024 12:40 22s main
main
April 16, 2024 12:40 22s
ProTip! You can narrow down the results and go further in time using created:<2024-04-16 or the other filters available.