Skip to content

Actions: pgf-tikz/pgf

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
272 workflow runs
272 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix conflicting bbox setting between pgfsys-dvisvgm and dvisvgm command;
Manual #193: Pull request #1276 opened by agrahn
September 12, 2023 15:00 19m 30s agrahn:dvisvgm-bbox
September 12, 2023 15:00 19m 30s
fix conflicting bbox setting between pgfsys-dvisvgm and dvisvgm command;
Test suite #193: Pull request #1276 opened by agrahn
September 12, 2023 15:00 3m 41s agrahn:dvisvgm-bbox
September 12, 2023 15:00 3m 41s
pages build and deployment
pages-build-deployment #36: by github-pages bot
September 11, 2023 13:04 53s
September 11, 2023 13:04 53s
chore(deps): bump actions/checkout from 3 to 4
Test suite #192: Commit 6e5fd71 pushed by hmenke
September 11, 2023 12:47 3m 19s master
September 11, 2023 12:47 3m 19s
chore(deps): bump actions/checkout from 3 to 4
Manual #192: Commit 6e5fd71 pushed by hmenke
September 11, 2023 12:47 17m 12s master
September 11, 2023 12:47 17m 12s
pages build and deployment
pages-build-deployment #35: by github-pages bot
September 3, 2023 22:52 50s
September 3, 2023 22:52 50s
test: update testfile
Test suite #189: Commit 945df97 pushed by muzimuzhi
September 3, 2023 22:36 3m 27s master
September 3, 2023 22:36 3m 27s
test: update testfile
Manual #189: Commit 945df97 pushed by muzimuzhi
September 3, 2023 22:36 16m 38s master
September 3, 2023 22:36 16m 38s
pages build and deployment
pages-build-deployment #34: by github-pages bot
September 3, 2023 16:44 47s
September 3, 2023 16:44 47s
fix: typo in animations #1273
Test suite #188: Commit bde020e pushed by hmenke
September 3, 2023 16:24 3m 23s master
September 3, 2023 16:24 3m 23s
fix: typo in animations #1273
Manual #188: Commit bde020e pushed by hmenke
September 3, 2023 16:24 19m 57s master
September 3, 2023 16:24 19m 57s
Adapt short verb usages
Test suite #187: Pull request #1269 opened by muzimuzhi
July 26, 2023 15:37 2m 23s muzimuzhi:short-verb
July 26, 2023 15:37 2m 23s
Adapt short verb usages
Check commits #225: Pull request #1269 opened by muzimuzhi
July 26, 2023 15:37 15s muzimuzhi:short-verb
July 26, 2023 15:37 15s
Adapt short verb usages
Manual #187: Pull request #1269 opened by muzimuzhi
July 26, 2023 15:37 24m 39s muzimuzhi:short-verb
July 26, 2023 15:37 24m 39s
pages build and deployment
pages-build-deployment #33: by github-pages bot
July 26, 2023 15:26 47s
July 26, 2023 15:26 47s
chore(git): ignore .synctex.gz files
Test suite #186: Commit 42bd29b pushed by muzimuzhi
July 26, 2023 15:01 2m 46s master
July 26, 2023 15:01 2m 46s
chore(git): ignore .synctex.gz files
Manual #186: Commit 42bd29b pushed by muzimuzhi
July 26, 2023 15:01 25m 11s master
July 26, 2023 15:01 25m 11s
ProTip! You can narrow down the results and go further in time using created:<2023-07-26 or the other filters available.