Skip to content

Actions: thomasWeise/latexgit_tex

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
32 workflow runs
32 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
pages build and deployment pages-build-deployment #12: by github-pages bot
December 5, 2023 00:51 33s
December 5, 2023 00:51 33s
improved documentation make build #20: Commit bb7d92b pushed by thomasWeise
December 5, 2023 00:48 2m 33s 0.8.1
0.8.1
December 5, 2023 00:48 2m 33s
pages build and deployment pages-build-deployment #11: by github-pages bot
December 5, 2023 00:46 43s
December 5, 2023 00:46 43s
improved documentation make build #19: Commit bb7d92b pushed by thomasWeise
December 5, 2023 00:43 2m 53s main
main
December 5, 2023 00:43 2m 53s
pages build and deployment pages-build-deployment #10: by github-pages bot
December 4, 2023 06:29 36s
December 4, 2023 06:29 36s
fixed typo in example urls make build #18: Commit f7cf8ef pushed by thomasWeise
December 4, 2023 06:26 3m 5s main
main
December 4, 2023 06:26 3m 5s
pages build and deployment pages-build-deployment #9: by github-pages bot
December 4, 2023 06:24 33s
December 4, 2023 06:24 33s
pages build and deployment pages-build-deployment #8: by github-pages bot
December 4, 2023 06:21 28s
December 4, 2023 06:21 28s
fixed typo in email make build #17: Commit a0ebf02 pushed by thomasWeise
December 4, 2023 06:21 2m 40s main
main
December 4, 2023 06:21 2m 40s
better description make build #16: Commit 724cd98 pushed by thomasWeise
December 4, 2023 06:19 2m 43s 0.8.0
0.8.0
December 4, 2023 06:19 2m 43s
pages build and deployment pages-build-deployment #7: by github-pages bot
December 4, 2023 06:16 35s
December 4, 2023 06:16 35s
pages build and deployment pages-build-deployment #6: by github-pages bot
December 4, 2023 06:14 41s
December 4, 2023 06:14 41s
better description make build #15: Commit 724cd98 pushed by thomasWeise
December 4, 2023 06:13 2m 47s main
main
December 4, 2023 06:13 2m 47s
fixed broken enumeration make build #14: Commit 844839b pushed by thomasWeise
December 4, 2023 06:11 3m 3s main
main
December 4, 2023 06:11 3m 3s
pages build and deployment pages-build-deployment #5: by github-pages bot
December 4, 2023 06:09 45s
December 4, 2023 06:09 45s
further improved documentation make build #13: Commit c9a7f70 pushed by thomasWeise
December 4, 2023 06:06 2m 39s main
main
December 4, 2023 06:06 2m 39s
pages build and deployment pages-build-deployment #4: by github-pages bot
December 4, 2023 03:40 32s
December 4, 2023 03:40 32s
fixed broken links, better <code> style make build #12: Commit a3393d2 pushed by thomasWeise
December 4, 2023 03:38 2m 37s main
main
December 4, 2023 03:38 2m 37s
pages build and deployment pages-build-deployment #3: by github-pages bot
December 4, 2023 02:58 29s
December 4, 2023 02:58 29s
fixed missing zip package make build #11: Commit 7f8cbc8 pushed by thomasWeise
December 4, 2023 02:56 2m 34s main
main
December 4, 2023 02:56 2m 34s
several improvements to documentation and website building and added … make build #10: Commit afc77d8 pushed by thomasWeise
December 4, 2023 02:24 3m 4s main
main
December 4, 2023 02:24 3m 4s
pages build and deployment pages-build-deployment #2: by github-pages bot
December 3, 2023 08:46 37s
December 3, 2023 08:46 37s
next next attempt to make pygments work make build #9: Commit df0291b pushed by thomasWeise
December 3, 2023 08:43 2m 38s main
main
December 3, 2023 08:43 2m 38s
next attempt to make pygments work make build #8: Commit 780dfac pushed by thomasWeise
December 3, 2023 08:36 1m 37s main
main
December 3, 2023 08:36 1m 37s
attempt to make pygments work make build #7: Commit ef9427d pushed by thomasWeise
December 3, 2023 08:28 1m 30s main
main
December 3, 2023 08:28 1m 30s