Skip to content

Actions: mcraveiro/mcraveiro.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
59 workflow runs
59 workflow runs

Filter by Workflow

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

angola: fix portuguese accents
Build and deploy product website #41: Commit 1c12d36 pushed by mcraveiro
1m 7s main
dogen/docs: add Domain Architecture chapter from thesis
Build and deploy product website #40: Commit f52556b pushed by mcraveiro
1m 3s main
build: remove citeproc package install
Build and deploy product website #39: Commit 33f6d16 pushed by mcraveiro
1m 5s main
dogen/docs: escape & in bibliography field values
Build and deploy product website #37: Commit d8c5805 pushed by mcraveiro
1m 5s main
dogen/docs: fix dangling figure links in MRI chapter
Build and deploy product website #33: Commit ea595b0 pushed by mcraveiro
1m 0s main
ore_studio: add Demos table with Sprint 17 demo
Build and deploy product website #31: Commit 38fc8d2 pushed by mcraveiro
58s main
Update backlinks
Build and deploy product website #30: Commit 3588898 pushed by mcraveiro
5m 36s main
ci: enable GitHub Actions Pages mode via configure-pages
Build and deploy product website #29: Commit 45591f9 pushed by mcraveiro
2m 43s main
Build and deploy product website
Build and deploy product website #28: Manually run by mcraveiro
1m 51s main
index: remove redundant Introduction heading
Build and deploy product website #27: Commit 32aa46a pushed by mcraveiro
1m 54s main
pages build and deployment
pages-build-deployment #30: by mcraveiro
3m 27s main
3m 27s
site: enable TOC on all non-index content pages
Build and deploy product website #26: Commit 1ef927e pushed by mcraveiro
1m 9s main
pages build and deployment
pages-build-deployment #29: by mcraveiro
46s main
46s
pages build and deployment
pages-build-deployment #28: by mcraveiro
1m 7s main
1m 7s
site: rename serve to serve.sh; update about.org
Build and deploy product website #24: Commit f867b0b pushed by mcraveiro
1m 8s main
pages build and deployment
pages-build-deployment #27: by mcraveiro
45s main
45s
angola: add top-level Angola index page
Build and deploy product website #23: Commit b8461ef pushed by mcraveiro
1m 10s main
pages build and deployment
pages-build-deployment #26: by mcraveiro
39s main
39s