Skip to content

Actions: freespek/solarkraft

Actions

build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
409 workflow runs
409 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Merge pull request #39 from freespek/th/instrument-monitor build #58: Commit 564a1d9 pushed by thpani
April 30, 2024 09:39 26s main
main
April 30, 2024 09:39 26s
Programmatically instrument TLA+ monitor build #57: Pull request #39 synchronize by thpani
April 30, 2024 09:38 24s th/instrument-monitor
th/instrument-monitor
April 30, 2024 09:38 24s
Programmatically instrument TLA+ monitor build #56: Pull request #39 synchronize by thpani
April 30, 2024 09:31 22s th/instrument-monitor
th/instrument-monitor
April 30, 2024 09:31 22s
Programmatically instrument TLA+ monitor build #55: Pull request #39 synchronize by thpani
April 30, 2024 09:18 23s th/instrument-monitor
th/instrument-monitor
April 30, 2024 09:18 23s
Merge pull request #41 from freespek/th/devcont-tla build #54: Commit c4dd840 pushed by thpani
April 30, 2024 08:35 26s main
main
April 30, 2024 08:35 26s
Add tlaplus VSCode plugin to dev container build #53: Pull request #41 opened by thpani
April 29, 2024 13:56 24s th/devcont-tla
th/devcont-tla
April 29, 2024 13:56 24s
Run Apalache on instrumented monitor build #52: Pull request #40 opened by thpani
April 29, 2024 13:51 26s th/apal-instr-mon
th/apal-instr-mon
April 29, 2024 13:51 26s
Programmatically instrument TLA+ monitor build #51: Pull request #39 opened by thpani
April 29, 2024 13:35 26s th/instrument-monitor
th/instrument-monitor
April 29, 2024 13:35 26s
ITF serialization of Values build #50: Pull request #36 synchronize by Kukovec
April 23, 2024 13:41 24s jk/itf
jk/itf
April 23, 2024 13:41 24s
ITF serialization of Values build #49: Pull request #36 synchronize by Kukovec
April 23, 2024 13:36 24s jk/itf
jk/itf
April 23, 2024 13:36 24s
ITF serialization of Values build #48: Pull request #36 synchronize by Kukovec
April 23, 2024 11:49 27s jk/itf
jk/itf
April 23, 2024 11:49 27s
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
ProTip! You can narrow down the results and go further in time using created:<2024-04-18 or the other filters available.