Skip to content

Workflows

All workflows

Event

Filter by event

Status

Filter by status

Branch

Filter by branch

Actor

Filter by actor

README: add deploy badge Deploy #60: Commit a3b4d6b pushed by MarcoIeni
Feb 27, 2020
3m 42s
Run duration

This is the workflow execution time which may be different than the billed time.

Learn more

master
Feb 27, 2020
3m 42s
Run duration

This is the workflow execution time which may be different than the billed time.

Learn more

README: added doc-org link Deploy #59: Commit 8322baf pushed by MarcoIeni
Feb 27, 2020
4m 52s
Run duration

This is the workflow execution time which may be different than the billed time.

Learn more

master
Feb 27, 2020
4m 52s
Run duration

This is the workflow execution time which may be different than the billed time.

Learn more

graph: changed section name Deploy #58: Commit ce4a53a pushed by MarcoIeni
Feb 26, 2020
4m 5s
Run duration

This is the workflow execution time which may be different than the billed time.

Learn more

master
Feb 26, 2020
4m 5s
Run duration

This is the workflow execution time which may be different than the billed time.

Learn more

deploy: correctly iterate over each file in dir Deploy #57: Commit 27ea0d5 pushed by MarcoIeni
Feb 26, 2020
4m 4s
Run duration

This is the workflow execution time which may be different than the billed time.

Learn more

master
Feb 26, 2020
4m 4s
Run duration

This is the workflow execution time which may be different than the billed time.

Learn more

deploy: handle pdf names with spaces Deploy #56: Commit 221945d pushed by MarcoIeni
Feb 26, 2020
3m 56s
Run duration

This is the workflow execution time which may be different than the billed time.

Learn more

master
Feb 26, 2020
3m 56s
Run duration

This is the workflow execution time which may be different than the billed time.

Learn more

deploy: fix build path Deploy #55: Commit 79e9962 pushed by MarcoIeni
Feb 26, 2020
3m 41s
Run duration

This is the workflow execution time which may be different than the billed time.

Learn more

master
Feb 26, 2020
3m 41s
Run duration

This is the workflow execution time which may be different than the billed time.

Learn more

deploy: do not cd into each example dir Deploy #54: Commit 2ed502c pushed by MarcoIeni
Feb 25, 2020
4m 48s
Run duration

This is the workflow execution time which may be different than the billed time.

Learn more

master
Feb 25, 2020
4m 48s
Run duration

This is the workflow execution time which may be different than the billed time.

Learn more

full: add caption below table and link to item Deploy #53: Commit 5d1688d pushed by MarcoIeni
Feb 20, 2020
3m 52s
Run duration

This is the workflow execution time which may be different than the billed time.

Learn more

master
Feb 20, 2020
3m 52s
Run duration

This is the workflow execution time which may be different than the billed time.

Learn more

full: add missing image Deploy #52: Commit bdd9da4 pushed by MarcoIeni
Feb 20, 2020
3m 47s
Run duration

This is the workflow execution time which may be different than the billed time.

Learn more

master
Feb 20, 2020
3m 47s
Run duration

This is the workflow execution time which may be different than the billed time.

Learn more

add source_code_minted example It uses minted package Deploy #51: Commit db44af7 pushed by MarcoIeni
Feb 19, 2020
5m 5s
Run duration

This is the workflow execution time which may be different than the billed time.

Learn more

master
Feb 19, 2020
5m 5s
Run duration

This is the workflow execution time which may be different than the billed time.

Learn more

rename org-only example to org_only Deploy #50: Commit fcdb457 pushed by MarcoIeni
Feb 17, 2020
3m 58s
Run duration

This is the workflow execution time which may be different than the billed time.

Learn more

master
Feb 17, 2020
3m 58s
Run duration

This is the workflow execution time which may be different than the billed time.

Learn more

added source code example Deploy #49: Commit d1ff662 pushed by MarcoIeni
Feb 17, 2020
5m 23s
Run duration

This is the workflow execution time which may be different than the billed time.

Learn more

master
Feb 17, 2020
5m 23s
Run duration

This is the workflow execution time which may be different than the billed time.

Learn more

org-only: add code Deploy #48: Commit e65d5d3 pushed by MarcoIeni
Feb 17, 2020
3m 40s
Run duration

This is the workflow execution time which may be different than the billed time.

Learn more

master
Feb 17, 2020
3m 40s
Run duration

This is the workflow execution time which may be different than the billed time.

Learn more

full: add required package Deploy #47: Commit d6475cd pushed by MarcoIeni
Feb 16, 2020
3m 40s
Run duration

This is the workflow execution time which may be different than the billed time.

Learn more

master
Feb 16, 2020
3m 40s
Run duration

This is the workflow execution time which may be different than the billed time.

Learn more

full: better example description, add image support Deploy #46: Commit 3e20d34 pushed by MarcoIeni
Feb 16, 2020
3m 40s
Run duration

This is the workflow execution time which may be different than the billed time.

Learn more

master
Feb 16, 2020
3m 40s
Run duration

This is the workflow execution time which may be different than the billed time.

Learn more

add images example Deploy #45: Commit 0f8ba55 pushed by MarcoIeni
Feb 16, 2020
3m 39s
Run duration

This is the workflow execution time which may be different than the billed time.

Learn more

master
Feb 16, 2020
3m 39s
Run duration

This is the workflow execution time which may be different than the billed time.

Learn more

renamed demo1 example to full Deploy #44: Commit a4c7e3c pushed by MarcoIeni
Feb 16, 2020
3m 47s
Run duration

This is the workflow execution time which may be different than the billed time.

Learn more

master
Feb 16, 2020
3m 47s
Run duration

This is the workflow execution time which may be different than the billed time.

Learn more

minimal: explain how to make references clickable Deploy #43: Commit 9eae30b pushed by MarcoIeni
Feb 16, 2020
3m 36s
Run duration

This is the workflow execution time which may be different than the billed time.

Learn more

master
Feb 16, 2020
3m 36s
Run duration

This is the workflow execution time which may be different than the billed time.

Learn more

renamed references example to links Deploy #42: Commit 7bc8f2a pushed by MarcoIeni
Feb 16, 2020
3m 41s
Run duration

This is the workflow execution time which may be different than the billed time.

Learn more

master
Feb 16, 2020
3m 41s
Run duration

This is the workflow execution time which may be different than the billed time.

Learn more

minimal: remove links because they are not supported Deploy #41: Commit f7551eb pushed by MarcoIeni
Feb 16, 2020
3m 43s
Run duration

This is the workflow execution time which may be different than the billed time.

Learn more

master
Feb 16, 2020
3m 43s
Run duration

This is the workflow execution time which may be different than the billed time.

Learn more

add example graph_tikz Deploy #40: Commit 68a013e pushed by MarcoIeni
Feb 16, 2020
3m 42s
Run duration

This is the workflow execution time which may be different than the billed time.

Learn more

master
Feb 16, 2020
3m 42s
Run duration

This is the workflow execution time which may be different than the billed time.

Learn more

graph: enable shell_escape Deploy #39: Commit 8d753d6 pushed by MarcoIeni
Feb 16, 2020
3m 40s
Run duration

This is the workflow execution time which may be different than the billed time.

Learn more

master
Feb 16, 2020
3m 40s
Run duration

This is the workflow execution time which may be different than the billed time.

Learn more

graph: fix latex export Deploy #38: Commit 4f059d2 pushed by MarcoIeni
Feb 16, 2020
3m 41s
Run duration

This is the workflow execution time which may be different than the billed time.

Learn more

master
Feb 16, 2020
3m 41s
Run duration

This is the workflow execution time which may be different than the billed time.

Learn more

graph: fix state machine Deploy #37: Commit f396b2b pushed by MarcoIeni
Feb 15, 2020
3m 34s
Run duration

This is the workflow execution time which may be different than the billed time.

Learn more

master
Feb 15, 2020
3m 34s
Run duration

This is the workflow execution time which may be different than the billed time.

Learn more

minimal: fix code references Deploy #36: Commit d5835c0 pushed by MarcoIeni
Feb 15, 2020
3m 41s
Run duration

This is the workflow execution time which may be different than the billed time.

Learn more

master
Feb 15, 2020
3m 41s
Run duration

This is the workflow execution time which may be different than the billed time.

Learn more

You can’t perform that action at this time.