Skip to content

Actions: winitzki/sofp

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
26 workflow runs
26 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
Continue revising part 2 of the book (#106)
Build PDF #200: Commit 6d0c698 pushed by winitzki
August 15, 2024 21:01 3m 44s master
August 15, 2024 21:01 3m 44s
reformatting and corrections in part 2 (#105)
Build PDF #199: Commit 23ba84e pushed by winitzki
August 9, 2024 20:08 3m 32s master
August 9, 2024 20:08 3m 32s
Continue reformatting the book (#101)
Build PDF #198: Commit 3f7c22f pushed by winitzki
July 15, 2024 13:21 3m 34s master
July 15, 2024 13:21 3m 34s
add build script
Build PDF #197: Commit e0e1a38 pushed by winitzki
May 7, 2024 08:24 3m 21s master
May 7, 2024 08:24 3m 21s
Point to new location for script that was moved (#100)
Build PDF #196: Commit 1bba71e pushed by winitzki
May 7, 2024 08:14 1m 30s master
May 7, 2024 08:14 1m 30s
fix spine title (#98)
Build PDF #195: Commit 35ba0d9 pushed by winitzki
May 4, 2024 19:17 1m 45s master
May 4, 2024 19:17 1m 45s
fix cover link
Build PDF #194: Commit 2f7def7 pushed by winitzki
April 26, 2024 16:04 2m 9s master
April 26, 2024 16:04 2m 9s
corrections in part 1 (#96)
Build PDF #193: Commit f00d2ee pushed by winitzki
April 16, 2024 09:25 1m 43s master
April 16, 2024 09:25 1m 43s
non-disjunctive is not identically void
Build PDF #192: Commit 66cc810 pushed by winitzki
April 3, 2024 14:58 1m 54s master
April 3, 2024 14:58 1m 54s
fix (#95)
Build PDF #191: Commit fb129f5 pushed by winitzki
March 30, 2024 13:57 1m 30s master
March 30, 2024 13:57 1m 30s
Feature/refactor build (#94)
Build PDF #190: Commit 551651e pushed by winitzki
March 30, 2024 13:16 1m 30s master
March 30, 2024 13:16 1m 30s
fix margins (#93)
Build PDF #189: Commit dbb82af pushed by winitzki
March 29, 2024 18:10 3m 45s master
March 29, 2024 18:10 3m 45s
minor fix (#92)
Build PDF #188: Commit fe671df pushed by winitzki
March 29, 2024 18:02 3m 50s master
March 29, 2024 18:02 3m 50s
Feature/reformat part2 (#91)
Build PDF #187: Commit d2dce7f pushed by winitzki
March 29, 2024 17:16 3m 53s master
March 29, 2024 17:16 3m 53s
Feature/format part3 (#90)
Build PDF #186: Commit c6a36c5 pushed by winitzki
March 10, 2024 11:14 3m 43s master
March 10, 2024 11:14 3m 43s
wip formatting part 2 (#89)
Build PDF #185: Commit e6e130a pushed by winitzki
February 17, 2024 08:56 3m 56s master
February 17, 2024 08:56 3m 56s
wip
Build PDF #184: Commit f955603 pushed by winitzki
January 26, 2024 22:41 4m 11s master
January 26, 2024 22:41 4m 11s
add script for 10-point pdf
Build PDF #183: Commit f23c397 pushed by winitzki
January 22, 2024 20:59 3m 46s master
January 22, 2024 20:59 3m 46s
fix build
Build PDF #182: Commit acba95d pushed by winitzki
January 22, 2024 20:33 3m 39s master
January 22, 2024 20:33 3m 39s
Continue working on chapter 13 (#69)
Build PDF #181: Commit 52a14a2 pushed by winitzki
January 22, 2024 19:45 1s master
January 22, 2024 19:45 1s
#86, Example 2.2.5.2 readability minor issue, fixed (#87)
Build PDF #180: Commit 45aeabf pushed by winitzki
January 16, 2024 18:36 3m 28s master
January 16, 2024 18:36 3m 28s
#80, Exercise 1.6.2.2 readability minor issue, fixed (#81)
Build PDF #179: Commit 731fa3a pushed by winitzki
January 7, 2024 12:17 3m 13s master
January 7, 2024 12:17 3m 13s
#78, Exercise 1.6.2.2 enhance readability, fixed (#79)
Build PDF #178: Commit 9190015 pushed by winitzki
January 5, 2024 16:54 3m 37s master
January 5, 2024 16:54 3m 37s
#76, Solution for Example 1.4.1.1 fails, fixed (#77)
Build PDF #177: Commit 6fd84d9 pushed by winitzki
January 4, 2024 18:15 4m 4s master
January 4, 2024 18:15 4m 4s
wip
Build PDF #176: Commit 3e8031f pushed by winitzki
November 23, 2023 08:35 3m 41s master
November 23, 2023 08:35 3m 41s