Skip to content

Actions: texmacs/notes

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
78 workflow runs
78 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #43: by github-pages bot
January 4, 2025 00:36 52s gh-pages
gh-pages
January 4, 2025 00:36 52s
Fix abstract continuous deployment for gh-pages (with texmacs-cd image) #23: Commit 6729def pushed by mgubi
January 4, 2025 00:35 50s main
main
January 4, 2025 00:35 50s
pages build and deployment pages-build-deployment #42: by github-pages bot
January 3, 2025 23:35 41s gh-pages
gh-pages
January 3, 2025 23:35 41s
Fix abstract continuous deployment for gh-pages (with texmacs-cd image) #22: Commit 30043d7 pushed by mgubi
January 3, 2025 23:35 54s main
main
January 3, 2025 23:35 54s
pages build and deployment pages-build-deployment #41: by github-pages bot
January 3, 2025 18:36 40s gh-pages
gh-pages
January 3, 2025 18:36 40s
Some small fixes continuous deployment for gh-pages (with texmacs-cd image) #21: Commit 246ff4b pushed by mgubi
January 3, 2025 18:35 52s main
main
January 3, 2025 18:35 52s
pages build and deployment pages-build-deployment #40: by github-pages bot
January 3, 2025 14:27 49s gh-pages
gh-pages
January 3, 2025 14:27 49s
Fix typos continuous deployment for gh-pages (with texmacs-cd image) #20: Commit c10b8a9 pushed by mgubi
January 3, 2025 14:26 1m 50s main
main
January 3, 2025 14:26 1m 50s
pages build and deployment pages-build-deployment #39: by github-pages bot
January 3, 2025 01:06 44s gh-pages
gh-pages
January 3, 2025 01:06 44s
fix figures continuous deployment for gh-pages (with texmacs-cd image) #19: Commit d16120d pushed by mgubi
January 3, 2025 01:05 1m 3s main
main
January 3, 2025 01:05 1m 3s
pages build and deployment pages-build-deployment #38: by github-pages bot
January 3, 2025 00:53 41s gh-pages
gh-pages
January 3, 2025 00:53 41s
Small change continuous deployment for gh-pages (with texmacs-cd image) #18: Commit 027a7ba pushed by mgubi
January 3, 2025 00:52 1m 45s main
main
January 3, 2025 00:52 1m 45s
pages build and deployment pages-build-deployment #37: by github-pages bot
January 3, 2025 00:50 45s gh-pages
gh-pages
January 3, 2025 00:50 45s
Add images continuous deployment for gh-pages (with texmacs-cd image) #17: Commit a12a79b pushed by mgubi
January 3, 2025 00:50 47s main
main
January 3, 2025 00:50 47s
pages build and deployment pages-build-deployment #36: by github-pages bot
January 3, 2025 00:24 39s gh-pages
gh-pages
January 3, 2025 00:24 39s
test continuous deployment for gh-pages (with texmacs-cd image) #16: Commit 6ef41b1 pushed by mgubi
January 3, 2025 00:23 1m 27s main
main
January 3, 2025 00:23 1m 27s
pages build and deployment pages-build-deployment #35: by github-pages bot
January 3, 2025 00:08 40s gh-pages
gh-pages
January 3, 2025 00:08 40s
Add some figures continuous deployment for gh-pages (with texmacs-cd image) #15: Commit ded4cc0 pushed by mgubi
January 3, 2025 00:07 54s main
main
January 3, 2025 00:07 54s
pages build and deployment pages-build-deployment #34: by github-pages bot
January 3, 2025 00:00 54s gh-pages
gh-pages
January 3, 2025 00:00 54s
Add version & author continuous deployment for gh-pages (with texmacs-cd image) #14: Commit 8170deb pushed by mgubi
January 2, 2025 23:59 54s main
main
January 2, 2025 23:59 54s
pages build and deployment pages-build-deployment #33: by github-pages bot
January 2, 2025 23:55 45s gh-pages
gh-pages
January 2, 2025 23:55 45s
Add font mechanics continuous deployment for gh-pages (with texmacs-cd image) #13: Commit 8b43742 pushed by mgubi
January 2, 2025 23:53 1m 47s main
main
January 2, 2025 23:53 1m 47s
pages build and deployment pages-build-deployment #32: by github-pages bot
December 30, 2024 00:36 43s gh-pages
gh-pages
December 30, 2024 00:36 43s
Add "Bibliographies" category (#62) continuous deployment for gh-pages (with texmacs-cd image) #12: Commit 2d694ac pushed by mgubi
December 30, 2024 00:35 50s main
main
December 30, 2024 00:35 50s
pages build and deployment pages-build-deployment #31: by github-pages bot
December 8, 2024 00:33 44s gh-pages
gh-pages
December 8, 2024 00:33 44s