Skip to content

Actions: fpvandoorn/carleson

.github/workflows/push.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
272 workflow run results
272 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use capitalised clever references (#13)
.github/workflows/push.yml #47: Commit 16cdfde pushed by fpvandoorn
May 10, 2024 14:48 10m 59s master
May 10, 2024 14:48 10m 59s
fix author list, fix sc command
.github/workflows/push.yml #46: Commit a0c91d4 pushed by fpvandoorn
May 10, 2024 14:07 11m 18s master
May 10, 2024 14:07 11m 18s
fix some dependency graph bugs, attempt cache fix
.github/workflows/push.yml #45: Commit 4e0455d pushed by fpvandoorn
May 10, 2024 13:37 20m 3s master
May 10, 2024 13:37 20m 3s
does the web version work with amsbook?
.github/workflows/push.yml #44: Commit a41ddf3 pushed by fpvandoorn
May 10, 2024 13:15 23m 19s master
May 10, 2024 13:15 23m 19s
some layout improvements
.github/workflows/push.yml #43: Commit 53e6523 pushed by fpvandoorn
May 10, 2024 13:09 22m 36s master
May 10, 2024 13:09 22m 36s
arxiv version of the blueprint
.github/workflows/push.yml #42: Commit 1c8494d pushed by fpvandoorn
May 10, 2024 12:49 21m 29s master
May 10, 2024 12:49 21m 29s
fix
.github/workflows/push.yml #41: Commit e3370c2 pushed by fpvandoorn
May 9, 2024 22:25 19m 51s master
May 9, 2024 22:25 19m 51s
update blueprint
.github/workflows/push.yml #40: Commit 9d00dcb pushed by fpvandoorn
May 9, 2024 21:32 38s master
May 9, 2024 21:32 38s
Fix typos in main.tex (#11)
.github/workflows/push.yml #39: Commit f16cdbc pushed by fpvandoorn
May 8, 2024 07:40 19m 14s master
May 8, 2024 07:40 19m 14s
latest version of main.tex
.github/workflows/push.yml #38: Commit 9e06a00 pushed by fpvandoorn
May 7, 2024 13:59 21m 48s master
May 7, 2024 13:59 21m 48s
Update .gitignore (#10)
.github/workflows/push.yml #37: Commit bc04842 pushed by fpvandoorn
May 2, 2024 17:50 23m 0s master
May 2, 2024 17:50 23m 0s
more dashes
.github/workflows/push.yml #36: Commit 0fbdc55 pushed by fpvandoorn
May 2, 2024 11:47 22m 17s master
May 2, 2024 11:47 22m 17s
labels with numbers
.github/workflows/push.yml #35: Commit 292c609 pushed by fpvandoorn
May 2, 2024 10:44 20m 52s master
May 2, 2024 10:44 20m 52s
broken ref
.github/workflows/push.yml #34: Commit 6a9ae73 pushed by fpvandoorn
May 2, 2024 10:21 23m 14s master
May 2, 2024 10:21 23m 14s
undo typo
.github/workflows/push.yml #33: Commit a89997a pushed by fpvandoorn
May 2, 2024 10:14 23m 11s master
May 2, 2024 10:14 23m 11s
update blueprint, use dashes in name
.github/workflows/push.yml #32: Commit 1e2429e pushed by fpvandoorn
May 2, 2024 10:12 1m 36s master
May 2, 2024 10:12 1m 36s
Fix fontspec error (#7)
.github/workflows/push.yml #31: Commit 82e8c29 pushed by fpvandoorn
May 2, 2024 07:59 20m 47s master
May 2, 2024 07:59 20m 47s
unabbreviate prop, put commands in a box
.github/workflows/push.yml #30: Commit 667a1fe pushed by fpvandoorn
May 1, 2024 12:01 23m 0s master
May 1, 2024 12:01 23m 0s
update main.tex
.github/workflows/push.yml #29: Commit 90311b6 pushed by fpvandoorn
April 30, 2024 18:48 20m 42s master
April 30, 2024 18:48 20m 42s
Fix a few issues (#5)
.github/workflows/push.yml #28: Commit 758234f pushed by fpvandoorn
April 30, 2024 14:23 22m 39s master
April 30, 2024 14:23 22m 39s
Update .gitignore (#4)
.github/workflows/push.yml #27: Commit 1409c61 pushed by fpvandoorn
April 30, 2024 12:58 20m 36s master
April 30, 2024 12:58 20m 36s
Homogenise and tidy bibliography.bib (#3)
.github/workflows/push.yml #26: Commit 6b6de34 pushed by fpvandoorn
April 30, 2024 10:02 21m 18s master
April 30, 2024 10:02 21m 18s
add todo
.github/workflows/push.yml #25: Commit 7fdaf4c pushed by fpvandoorn
April 30, 2024 09:41 22m 27s master
April 30, 2024 09:41 22m 27s
fix color?
.github/workflows/push.yml #24: Commit 8787391 pushed by fpvandoorn
April 29, 2024 15:06 20m 12s master
April 29, 2024 15:06 20m 12s
fix preamble
.github/workflows/push.yml #23: Commit 8d40401 pushed by fpvandoorn
April 29, 2024 14:33 18m 9s master
April 29, 2024 14:33 18m 9s
ProTip! You can narrow down the results and go further in time using created:<2024-04-29 or the other filters available.