Skip to content

Actions: freespek/solarkraft

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
583 workflow runs
583 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fetch and instrument block timestamp build #183: Pull request #83 synchronize by thpani
May 29, 2024 18:53 1m 38s th/timestamp
th/timestamp
May 29, 2024 18:53 1m 38s
Fetch and instrument block timestamp build #182: Pull request #83 opened by thpani
May 29, 2024 15:13 1m 36s th/timestamp
th/timestamp
May 29, 2024 15:13 1m 36s
Monitor specs for Timelock using reverse reasoning build #181: Pull request #58 synchronize by andrey-kuprianov
May 29, 2024 13:42 1m 34s andrey/reverse-reasoning
andrey/reverse-reasoning
May 29, 2024 13:42 1m 34s
Merge pull request #82 from freespek/jk/methodParams build #180: Commit d98853c pushed by Kukovec
May 29, 2024 13:35 1m 38s main
main
May 29, 2024 13:35 1m 38s
Modified instrumentation build #179: Pull request #82 synchronize by Kukovec
May 29, 2024 13:28 1m 30s jk/methodParams
jk/methodParams
May 29, 2024 13:28 1m 30s
Modified instrumentation build #178: Pull request #82 synchronize by Kukovec
May 29, 2024 13:17 1m 31s jk/methodParams
jk/methodParams
May 29, 2024 13:17 1m 31s
Monitor specs for Timelock using reverse reasoning build #177: Pull request #58 synchronize by andrey-kuprianov
May 29, 2024 12:57 1m 30s andrey/reverse-reasoning
andrey/reverse-reasoning
May 29, 2024 12:57 1m 30s
Monitor specs for Timelock using reverse reasoning build #176: Pull request #58 synchronize by andrey-kuprianov
May 29, 2024 12:25 1m 27s andrey/reverse-reasoning
andrey/reverse-reasoning
May 29, 2024 12:25 1m 27s
Merge pull request #76 from freespek/th/user-types build #175: Commit 4ece275 pushed by thpani
May 29, 2024 12:03 1m 36s main
main
May 29, 2024 12:03 1m 36s
Modified instrumentation build #174: Pull request #82 opened by Kukovec
May 29, 2024 12:01 1m 56s jk/methodParams
jk/methodParams
May 29, 2024 12:01 1m 56s
Support custom types in the checker build #173: Pull request #76 synchronize by thpani
May 29, 2024 11:57 1m 34s th/user-types
th/user-types
May 29, 2024 11:57 1m 34s
Monitor specs for Timelock using reverse reasoning build #172: Pull request #58 synchronize by andrey-kuprianov
May 29, 2024 09:28 1m 27s andrey/reverse-reasoning
andrey/reverse-reasoning
May 29, 2024 09:28 1m 27s
Merge pull request #80 from freespek/jk/persist build #171: Commit 8949ed5 pushed by Kukovec
May 28, 2024 14:59 1m 31s main
main
May 28, 2024 14:59 1m 31s
Persistent verification status build #170: Pull request #80 synchronize by Kukovec
May 28, 2024 14:57 1m 27s jk/persist
jk/persist
May 28, 2024 14:57 1m 27s
Monitor specs for Timelock using reverse reasoning build #169: Pull request #58 synchronize by andrey-kuprianov
May 28, 2024 10:25 1m 40s andrey/reverse-reasoning
andrey/reverse-reasoning
May 28, 2024 10:25 1m 40s
Persistent verification status build #168: Pull request #80 synchronize by Kukovec
May 28, 2024 09:26 1m 43s jk/persist
jk/persist
May 28, 2024 09:26 1m 43s
Monitor specs for Timelock using reverse reasoning build #167: Pull request #58 synchronize by andrey-kuprianov
May 28, 2024 09:11 1m 27s andrey/reverse-reasoning
andrey/reverse-reasoning
May 28, 2024 09:11 1m 27s
Monitor specs for Timelock using reverse reasoning build #166: Pull request #58 synchronize by andrey-kuprianov
May 28, 2024 08:44 1m 34s andrey/reverse-reasoning
andrey/reverse-reasoning
May 28, 2024 08:44 1m 34s
Monitor specs for Timelock using reverse reasoning build #165: Pull request #58 synchronize by andrey-kuprianov
May 28, 2024 08:40 1m 39s andrey/reverse-reasoning
andrey/reverse-reasoning
May 28, 2024 08:40 1m 39s
Monitor specs for Timelock using reverse reasoning build #164: Pull request #58 synchronize by andrey-kuprianov
May 27, 2024 16:27 1m 30s andrey/reverse-reasoning
andrey/reverse-reasoning
May 27, 2024 16:27 1m 30s
Persistent verification status build #163: Pull request #80 synchronize by Kukovec
May 27, 2024 13:41 1m 32s jk/persist
jk/persist
May 27, 2024 13:41 1m 32s
Monitor specs for Timelock using reverse reasoning build #162: Pull request #58 synchronize by andrey-kuprianov
May 27, 2024 13:06 1m 38s andrey/reverse-reasoning
andrey/reverse-reasoning
May 27, 2024 13:06 1m 38s
Persistent verification status build #161: Pull request #80 synchronize by Kukovec
May 27, 2024 12:37 1m 36s jk/persist
jk/persist
May 27, 2024 12:37 1m 36s
Persistent verification status build #160: Pull request #80 synchronize by Kukovec
May 27, 2024 12:36 1m 29s jk/persist
jk/persist
May 27, 2024 12:36 1m 29s
Persistent verification status build #159: Pull request #80 opened by Kukovec
May 27, 2024 12:35 1m 30s jk/persist
jk/persist
May 27, 2024 12:35 1m 30s
ProTip! You can narrow down the results and go further in time using created:<2024-05-27 or the other filters available.