Skip to content

Actions: Bubobubobubobubo/topos

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
29 workflow run results
29 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #310: by github-pages bot
October 29, 2023 22:11 35s gh-pages
gh-pages
October 29, 2023 22:11 35s
Merge pull request #78 from Bubobubobubobubo/autocompletion Deploy #375: Commit 06d958b pushed by Bubobubobubobubo
October 29, 2023 22:10 59s main
main
October 29, 2023 22:10 59s
Merge pull request #78 from Bubobubobubobubo/autocompletion Build and Push Docker Images #46: Commit 06d958b pushed by Bubobubobubobubo
October 29, 2023 22:10 1m 25s main
main
October 29, 2023 22:10 1m 25s
Push on main CodeQL #35: by Bubobubobubobubo
October 29, 2023 22:10 1m 36s main
main
October 29, 2023 22:10 1m 36s
PR #78 CodeQL #34: by Bubobubobubobubo
October 29, 2023 22:10 2m 13s autocompletion
autocompletion
October 29, 2023 22:10 2m 13s
pages build and deployment pages-build-deployment #309: by github-pages bot
October 26, 2023 10:02 34s gh-pages
gh-pages
October 26, 2023 10:02 34s
Adding JGS vectorial font Deploy #374: Commit b276516 pushed by Bubobubobubobubo
October 26, 2023 10:01 52s main
main
October 26, 2023 10:01 52s
Push on main CodeQL #33: by Bubobubobubobubo
October 26, 2023 10:01 1m 43s main
main
October 26, 2023 10:01 1m 43s
Adding JGS vectorial font Build and Push Docker Images #45: Commit b276516 pushed by Bubobubobubobubo
October 26, 2023 10:01 1m 25s main
main
October 26, 2023 10:01 1m 25s
pages build and deployment pages-build-deployment #308: by github-pages bot
October 25, 2023 23:13 36s gh-pages
gh-pages
October 25, 2023 23:13 36s
Merge branch 'main' of https://github.com/Bubobubobubobubo/Topos Build and Push Docker Images #44: Commit 140d451 pushed by amiika
October 25, 2023 23:09 1m 28s main
main
October 25, 2023 23:09 1m 28s
Push on main CodeQL #32: by amiika
October 25, 2023 23:09 2m 29s main
main
October 25, 2023 23:09 2m 29s
Merge branch 'main' of https://github.com/Bubobubobubobubo/Topos Deploy #373: Commit 140d451 pushed by amiika
October 25, 2023 23:09 3m 23s main
main
October 25, 2023 23:09 3m 23s
pages build and deployment pages-build-deployment #307: by github-pages bot
October 25, 2023 22:16 35s gh-pages
gh-pages
October 25, 2023 22:16 35s
adding yet another font Build and Push Docker Images #43: Commit 4f27d1e pushed by Bubobubobubobubo
October 25, 2023 22:15 1m 31s main
main
October 25, 2023 22:15 1m 31s
adding yet another font Deploy #372: Commit 4f27d1e pushed by Bubobubobubobubo
October 25, 2023 22:15 1m 7s main
main
October 25, 2023 22:15 1m 7s
Push on main CodeQL #31: by Bubobubobubobubo
October 25, 2023 22:15 1m 51s main
main
October 25, 2023 22:15 1m 51s
pages build and deployment pages-build-deployment #306: by github-pages bot
October 25, 2023 22:05 39s gh-pages
gh-pages
October 25, 2023 22:05 39s
Push on main CodeQL #30: by Bubobubobubobubo
October 25, 2023 22:04 2m 50s main
main
October 25, 2023 22:04 2m 50s
wip remifont Deploy #371: Commit 90c316e pushed by Bubobubobubobubo
October 25, 2023 22:04 54s main
main
October 25, 2023 22:04 54s
wip remifont Build and Push Docker Images #42: Commit 90c316e pushed by Bubobubobubobubo
October 25, 2023 22:04 1m 26s main
main
October 25, 2023 22:04 1m 26s
pages build and deployment pages-build-deployment #305: by github-pages bot
October 25, 2023 21:51 34s gh-pages
gh-pages
October 25, 2023 21:51 34s
Push on main CodeQL #29: by Bubobubobubobubo
October 25, 2023 21:50 2m 36s main
main
October 25, 2023 21:50 2m 36s
Add font credits Build and Push Docker Images #41: Commit f0f8c41 pushed by Bubobubobubobubo
October 25, 2023 21:50 1m 29s main
main
October 25, 2023 21:50 1m 29s
Add font credits Deploy #370: Commit f0f8c41 pushed by Bubobubobubobubo
October 25, 2023 21:50 1m 8s main
main
October 25, 2023 21:50 1m 8s