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

Add a script to populate the Setter contract build #83: Pull request #52 synchronize by konnov
May 15, 2024 09:22 26s igor/setter-populate
igor/setter-populate
May 15, 2024 09:22 26s
Add a script to populate the Setter contract build #82: Pull request #52 synchronize by konnov
May 15, 2024 09:17 27s igor/setter-populate
igor/setter-populate
May 15, 2024 09:17 27s
Add a script to populate the Setter contract build #81: Pull request #52 synchronize by konnov
May 15, 2024 09:14 1m 32s igor/setter-populate
igor/setter-populate
May 15, 2024 09:14 1m 32s
Add a script to populate the Setter contract build #80: Pull request #52 opened by konnov
May 15, 2024 09:08 2m 11s igor/setter-populate
igor/setter-populate
May 15, 2024 09:08 2m 11s
Merge pull request #51 from freespek/igor/setter-contract build #79: Commit 539ab72 pushed by konnov
May 13, 2024 19:34 1m 34s main
main
May 13, 2024 19:34 1m 34s
Add the Setter contract for testing build #78: Pull request #51 synchronize by konnov
May 13, 2024 19:31 1m 38s igor/setter-contract
igor/setter-contract
May 13, 2024 19:31 1m 38s
Add the Setter contract for testing build #77: Pull request #51 synchronize by konnov
May 13, 2024 19:22 8m 49s igor/setter-contract
igor/setter-contract
May 13, 2024 19:22 8m 49s
Add the Setter contract for testing build #76: Pull request #51 synchronize by konnov
May 13, 2024 19:12 25s igor/setter-contract
igor/setter-contract
May 13, 2024 19:12 25s
Add the Setter contract for testing build #75: Pull request #51 opened by konnov
May 13, 2024 17:27 22s igor/setter-contract
igor/setter-contract
May 13, 2024 17:27 22s
Merge pull request #48 from freespek/th/multiple-monitors build #74: Commit 26f813a pushed by thpani
May 13, 2024 16:46 22s main
main
May 13, 2024 16:46 22s
Merge pull request #50 from freespek/jk/xdr build #73: Commit b3febef pushed by konnov
May 10, 2024 12:55 35s main
main
May 10, 2024 12:55 35s
Read a contract as State build #72: Pull request #50 synchronize by konnov
May 10, 2024 12:50 22s jk/xdr
jk/xdr
May 10, 2024 12:50 22s
Read a contract as State build #71: Pull request #50 synchronize by Kukovec
May 8, 2024 14:13 20s jk/xdr
jk/xdr
May 8, 2024 14:13 20s
Read a contract as State build #70: Pull request #50 synchronize by Kukovec
May 8, 2024 14:06 26s jk/xdr
jk/xdr
May 8, 2024 14:06 26s
Read a contract as State build #69: Pull request #50 opened by Kukovec
May 8, 2024 09:22 27s jk/xdr
jk/xdr
May 8, 2024 09:22 27s
Merge pull request #36 from freespek/jk/itf build #68: Commit 1406d59 pushed by Kukovec
May 7, 2024 16:59 25s main
main
May 7, 2024 16:59 25s
ITF serialization of Values build #67: Pull request #36 synchronize by Kukovec
May 7, 2024 16:54 25s jk/itf
jk/itf
May 7, 2024 16:54 25s
Check multiple monitor specs build #66: Pull request #48 opened by thpani
May 7, 2024 11:40 26s th/multiple-monitors
th/multiple-monitors
May 7, 2024 11:40 26s
Merge pull request #47 from freespek/th/instrument-only-monitor-vars build #65: Commit b0502fa pushed by thpani
May 6, 2024 14:48 32s main
main
May 6, 2024 14:48 32s
Instrument only monitor variables build #64: Pull request #47 synchronize by thpani
May 6, 2024 14:38 28s th/instrument-only-monitor-vars
th/instrument-only-monitor-vars
May 6, 2024 14:38 28s
Instrument only monitor variables build #63: Pull request #47 opened by thpani
May 6, 2024 14:22 40s th/instrument-only-monitor-vars
th/instrument-only-monitor-vars
May 6, 2024 14:22 40s
Merge pull request #45 from freespek/th/executor-read-itf build #62: Commit c64a12b pushed by thpani
May 6, 2024 13:02 22s main
main
May 6, 2024 13:02 22s
Read ITF in monitor executor build #61: Pull request #45 opened by thpani
May 6, 2024 09:29 27s th/executor-read-itf
th/executor-read-itf
May 6, 2024 09:29 27s
Run Apalache on instrumented monitor (#40) build #60: Commit 64db274 pushed by thpani
April 30, 2024 09:45 27s main
main
April 30, 2024 09:45 27s
Run Apalache on instrumented monitor build #59: Pull request #40 synchronize by thpani
April 30, 2024 09:43 26s th/apal-instr-mon
th/apal-instr-mon
April 30, 2024 09:43 26s
ProTip! You can narrow down the results and go further in time using created:<2024-04-30 or the other filters available.