Skip to content

Actions: mcraveiro/GeneralModelTheory

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
18 workflow runs
18 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[intro] continue to work on introduction
Build Site #18: Commit fe7ff0c pushed by mcraveiro
September 7, 2024 23:11 2m 40s main
September 7, 2024 23:11 2m 40s
[intro] fix spurious whitespace in german
Build Site #17: Commit e7ff7fd pushed by mcraveiro
September 6, 2024 23:18 2m 48s main
September 6, 2024 23:18 2m 48s
[project] move original files to its own directory
Build Site #16: Commit 05c4c76 pushed by mcraveiro
September 6, 2024 22:46 17m 18s main
September 6, 2024 22:46 17m 18s
[intro] start work on introduction
Build Site #15: Commit a2c65a1 pushed by mcraveiro
September 6, 2024 22:41 3m 17s main
September 6, 2024 22:41 3m 17s
[github] fix wildcard for pdfs
Build Site #14: Commit fd091a4 pushed by mcraveiro
September 6, 2024 22:37 2m 50s main
September 6, 2024 22:37 2m 50s
[github] build pdf for english as well
Build Site #13: Commit 1a274bc pushed by mcraveiro
September 6, 2024 22:34 Failure main
September 6, 2024 22:34 Failure
[readme] update build process and artefacts
Build Site #12: Commit ef8e0b3 pushed by mcraveiro
September 6, 2024 22:13 2m 34s main
September 6, 2024 22:13 2m 34s
[book] finish first pass on preface
Build Site #11: Commit 6403e07 pushed by mcraveiro
September 6, 2024 22:05 2m 57s main
September 6, 2024 22:05 2m 57s
[readme] add more thoughts on limitations
Build Site #10: Commit e5f5da9 pushed by mcraveiro
September 6, 2024 21:43 3m 13s main
September 6, 2024 21:43 3m 13s
[readme] add link to thesis
Build Site #9: Commit b6ca4ba pushed by mcraveiro
September 6, 2024 20:48 2m 38s main
September 6, 2024 20:48 2m 38s
[german] replace word for dedication
Build Site #8: Commit ad587d7 pushed by mcraveiro
September 6, 2024 20:40 3m 3s main
September 6, 2024 20:40 3m 3s
[readme] add link to html output from build
Build Site #7: Commit 356e040 pushed by mcraveiro
September 6, 2024 20:34 3m 13s main
September 6, 2024 20:34 3m 13s
[github] fix typo in latex extension
Build Site #6: Commit ac92b34 pushed by mcraveiro
September 6, 2024 20:21 2m 43s main
September 6, 2024 20:21 2m 43s
[github] generate latex and try to build pdf from it
Build Site #5: Commit 997995d pushed by mcraveiro
September 6, 2024 20:15 2m 54s main
September 6, 2024 20:15 2m 54s
[site] try to generate pdfs for book content
Build Site #4: Commit d5c19d1 pushed by mcraveiro
September 6, 2024 20:02 1m 26s main
September 6, 2024 20:02 1m 26s
[readme] fix badge and figure caption
Build Site #3: Commit e9e8434 pushed by mcraveiro
September 6, 2024 19:48 1m 20s main
September 6, 2024 19:48 1m 20s
[github] rename build workflow
Build Site #2: Commit 93137fd pushed by mcraveiro
September 6, 2024 19:42 1m 30s main
September 6, 2024 19:42 1m 30s
[site] add basic site setup
Build Site #1: Commit 79b72ce pushed by mcraveiro
September 6, 2024 19:22 1m 30s main
September 6, 2024 19:22 1m 30s