Skip to content

Actions: viperproject/gobra-book

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
50 workflow runs
50 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Chapter 1 edits CI #51: Pull request #26 opened by gottschali
January 16, 2025 17:52 18s chapter-1-edits
chapter-1-edits
January 16, 2025 17:52 18s
Update book.toml (#25) CI #50: Commit 77207aa pushed by jcp19
January 8, 2025 21:28 27s main
main
January 8, 2025 21:28 27s
Add "alpha" to the title CI #49: Pull request #25 opened by jcp19
January 8, 2025 21:27 23s jcp19-patch-1
jcp19-patch-1
January 8, 2025 21:27 23s
Rewrite basicspecs (#24) CI #48: Commit f765d7e pushed by gottschali
January 3, 2025 08:38 42s main
main
January 3, 2025 08:38 42s
Rewrite basicspecs CI #47: Pull request #24 synchronize by gottschali
December 19, 2024 18:55 19s rewrite-basicspecs
rewrite-basicspecs
December 19, 2024 18:55 19s
Rewrite basicspecs CI #46: Pull request #24 opened by gottschali
December 19, 2024 18:54 24s rewrite-basicspecs
rewrite-basicspecs
December 19, 2024 18:54 24s
Chapter 1 termination (#22) CI #45: Commit c5b5c34 pushed by jcp19
December 15, 2024 09:45 27s main
main
December 15, 2024 09:45 27s
Chapter 1 termination CI #44: Pull request #22 synchronize by jcp19
December 14, 2024 13:22 18s chapter-1-termination
chapter-1-termination
December 14, 2024 13:22 18s
Chapter 2: Memory, Permissions CI #43: Pull request #23 opened by gottschali
December 14, 2024 10:24 19s chapter-2-combined
chapter-2-combined
December 14, 2024 10:24 19s
Chapter 1 termination CI #42: Pull request #22 opened by gottschali
December 14, 2024 10:22 18s chapter-1-termination
chapter-1-termination
December 14, 2024 10:22 18s
Update overview.md (#21) CI #41: Commit cf1c351 pushed by jcp19
December 13, 2024 11:23 18s main
main
December 13, 2024 11:23 18s
Update overview.md CI #40: Pull request #21 opened by jcp19
December 13, 2024 11:23 17s chore-minor-changes-overview
chore-minor-changes-overview
December 13, 2024 11:23 17s
Fix index, disable empty entries (#20) CI #39: Commit bfe6c3a pushed by jcp19
December 13, 2024 11:17 26s main
main
December 13, 2024 11:17 26s
Fix index, disable empty entries in SUMMARY.md CI #38: Pull request #20 opened by jcp19
December 13, 2024 11:15 20s fix-summarymd
fix-summarymd
December 13, 2024 11:15 20s
Chapter 1: Basics Pure and Ghost (#16) CI #37: Commit 8e65a86 pushed by jcp19
December 13, 2024 10:53 25s main
main
December 13, 2024 10:53 25s
Chapter 1: Basics Pure and Ghost CI #36: Pull request #16 synchronize by jcp19
December 13, 2024 10:53 20s chapter-1-pure-ghost
chapter-1-pure-ghost
December 13, 2024 10:53 20s
chore: add section on array basics (#15) CI #35: Commit 5eb429a pushed by jcp19
December 13, 2024 10:52 18s main
main
December 13, 2024 10:52 18s
Chapter 1: basic arrays CI #34: Pull request #15 synchronize by jcp19
December 13, 2024 10:52 25s chapter-1-array
chapter-1-array
December 13, 2024 10:52 25s
Chapter 1: overflow (#14) CI #33: Commit 1b66227 pushed by jcp19
December 13, 2024 10:51 33s main
main
December 13, 2024 10:51 33s
Chapter 1: overflow CI #32: Pull request #14 synchronize by jcp19
December 13, 2024 10:51 19s chapter-1-overflow
chapter-1-overflow
December 13, 2024 10:51 19s
Chapter 1 - Loops (#12) CI #31: Commit 1debf58 pushed by jcp19
December 13, 2024 10:50 21s main
main
December 13, 2024 10:50 21s
Chapter 1 - Loops CI #30: Pull request #12 synchronize by jcp19
December 13, 2024 10:50 24s chapter-1-loops
chapter-1-loops
December 13, 2024 10:50 24s
Chapter 1 Basic Specifications (#13) CI #29: Commit f416eb0 pushed by jcp19
December 13, 2024 10:49 20s main
main
December 13, 2024 10:49 20s
Chapter 1 Basic Specifications CI #28: Pull request #13 synchronize by jcp19
December 13, 2024 10:49 22s chapter-1-basicspecs
chapter-1-basicspecs
December 13, 2024 10:49 22s
Chapter 1 - Loops CI #27: Pull request #12 synchronize by gottschali
December 6, 2024 14:01 20s chapter-1-loops
chapter-1-loops
December 6, 2024 14:01 20s