Workflow runs · TritonVM/tritonvm.github.io · GitHub

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

11 workflow runs

11 workflow runs

chore: Use pre-release version of mdbook-katex Build & Maybe Deploy #11: Commit 53b4e07 pushed by jan-ferdinand

2m 30s main

main

2m 30s

chore: Use pre-release version of mdbook-katex Build & Maybe Deploy #10: Commit e1888c1 pushed by jan-ferdinand

6m 0s main

main

6m 0s

Build & Maybe Deploy Build & Maybe Deploy #9: Manually run by jan-ferdinand

5m 1s main

main

5m 1s

misc: Use relative path for spec Build & Maybe Deploy #8: Commit 4acf9cd pushed by jan-ferdinand

5m 31s main

main

5m 31s

ci: Deploy on workflow dispatch trigger Build & Maybe Deploy #7: Commit 04e10dc pushed by jan-ferdinand

18s main

main

18s

ci: Deploy on workflow dispatch trigger Build & Maybe Deploy #6: Commit 85c5e90 pushed by jan-ferdinand

6m 7s main

main

6m 7s

Build & Maybe Deploy Build & Maybe Deploy #5: Manually run by jan-ferdinand

5m 40s main

main

5m 40s

ci: Add workflow to deploy website Build & Maybe Deploy #4: Commit 38807f6 pushed by jan-ferdinand

6m 9s main

main

6m 9s

Add workflow to publish website to github pages Build & Maybe Deploy #3: Pull request #2 synchronize by jan-ferdinand

12m 14s restruct

restruct

12m 14s

Add workflow to publish website to github pages Build & Maybe Deploy #2: Pull request #2 synchronize by jan-ferdinand

8m 25s restruct

restruct

8m 25s

Add workflow to publish website to github pages Build & Maybe Deploy #1: Pull request #2 opened by jan-ferdinand

5m 41s restruct

restruct

5m 41s