Skip to content

Actions: freespek/solarkraft

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
554 workflow runs
554 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fixes hardcoded Apalache path build #154: Pull request #79 opened by Kukovec
May 24, 2024 13:28 1m 31s jk/apaPath
jk/apaPath
May 24, 2024 13:28 1m 31s
Merge pull request #62 from freespek/igor/fetcher-test build #153: Commit cacd123 pushed by konnov
May 23, 2024 19:44 1m 27s main
main
May 23, 2024 19:44 1m 27s
Merge pull request #77 from freespek/th/devcontainer-tla-apal-path build #152: Commit d2eba89 pushed by thpani
May 23, 2024 18:11 1m 31s main
main
May 23, 2024 18:11 1m 31s
Merge pull request #75 from freespek/jk/alertinvoke build #151: Commit bc675c9 pushed by Kukovec
May 23, 2024 10:08 1m 45s main
main
May 23, 2024 10:08 1m 45s
Adds programmatic alert contract invocation build #150: Pull request #75 synchronize by Kukovec
May 23, 2024 09:12 1m 35s jk/alertinvoke
jk/alertinvoke
May 23, 2024 09:12 1m 35s
Small devcontainer improvements build #149: Pull request #77 opened by thpani
May 22, 2024 17:58 1m 34s th/devcontainer-tla-apal-path
th/devcontainer-tla-apal-path
May 22, 2024 17:58 1m 34s
Support custom types in the checker build #148: Pull request #76 synchronize by thpani
May 22, 2024 17:50 1m 34s th/user-types
th/user-types
May 22, 2024 17:50 1m 34s
Support custom types in the checker build #147: Pull request #76 opened by thpani
May 22, 2024 17:41 1m 26s th/user-types
th/user-types
May 22, 2024 17:41 1m 26s
Adds programmatic alert contract invocation build #146: Pull request #75 synchronize by Kukovec
May 22, 2024 14:16 1m 38s jk/alertinvoke
jk/alertinvoke
May 22, 2024 14:16 1m 38s
Adds programmatic alert contract invocation build #145: Pull request #75 synchronize by Kukovec
May 22, 2024 14:12 1m 39s jk/alertinvoke
jk/alertinvoke
May 22, 2024 14:12 1m 39s
Adds programmatic alert contract invocation build #144: Pull request #75 opened by Kukovec
May 22, 2024 14:08 1m 39s jk/alertinvoke
jk/alertinvoke
May 22, 2024 14:08 1m 39s
Monitor specs for Timelock using reverse reasoning build #143: Pull request #58 synchronize by andrey-kuprianov
May 22, 2024 12:10 1m 42s andrey/reverse-reasoning
andrey/reverse-reasoning
May 22, 2024 12:10 1m 42s
Merge pull request #74 from freespek/th/composite-types build #142: Commit b4224b7 pushed by thpani
May 22, 2024 07:08 1m 25s main
main
May 22, 2024 07:08 1m 25s
Merge pull request #72 from freespek/th/primitive-types build #141: Commit b37c158 pushed by thpani
May 22, 2024 07:08 1m 28s main
main
May 22, 2024 07:08 1m 28s
Support Map and Vec build #140: Pull request #74 synchronize by thpani
May 21, 2024 18:57 1m 26s th/composite-types
th/composite-types
May 21, 2024 18:57 1m 26s
Support all Soroban primitive types build #139: Pull request #72 synchronize by thpani
May 21, 2024 18:56 1m 29s th/primitive-types
th/primitive-types
May 21, 2024 18:56 1m 29s
Support Map and Vec build #138: Pull request #74 opened by thpani
May 21, 2024 18:53 56s th/composite-types
th/composite-types
May 21, 2024 18:53 56s
Support all Soroban primitive types build #137: Pull request #72 opened by thpani
May 21, 2024 16:20 26m 57s th/primitive-types
th/primitive-types
May 21, 2024 16:20 26m 57s
Merge pull request #68 from freespek/jk/alert build #136: Commit bf8ff63 pushed by Kukovec
May 21, 2024 16:14 1m 40s main
main
May 21, 2024 16:14 1m 40s
Merge pull request #71 from freespek/revert-70-th/fix-symbol build #135: Commit 2c0a623 pushed by thpani
May 21, 2024 16:11 20m 27s main
main
May 21, 2024 16:11 20m 27s
Merge pull request #69 from freespek/th/rust-devcontainer build #134: Commit eec8ee4 pushed by thpani
May 21, 2024 16:00 1m 45s main
main
May 21, 2024 16:00 1m 45s
Revert "Fix typo in symbol" build #133: Pull request #71 opened by thpani
May 21, 2024 15:52 22m 17s revert-70-th/fix-symbol
revert-70-th/fix-symbol
May 21, 2024 15:52 22m 17s
Merge pull request #70 from freespek/th/fix-symbol build #132: Commit 36709f0 pushed by thpani
May 21, 2024 15:32 10m 20s main
main
May 21, 2024 15:32 10m 20s
Fix typo in symbol build #131: Pull request #70 opened by thpani
May 21, 2024 15:31 7m 23s th/fix-symbol
th/fix-symbol
May 21, 2024 15:31 7m 23s
Fix devcontainer build #130: Pull request #69 opened by thpani
May 21, 2024 15:30 13m 54s th/rust-devcontainer
th/rust-devcontainer
May 21, 2024 15:30 13m 54s
ProTip! You can narrow down the results and go further in time using created:<2024-05-21 or the other filters available.