Skip to content

Actions: luifrancgom/halmos_naive_set_theory_quarto

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
150 workflow runs
150 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #63: by github-pages bot
21s gh-pages
gh-pages
21s
adding files related to references Quarto Publish #62: Commit 7daf163 pushed by luifrancgom
1m 53s main
main
1m 53s
pages build and deployment pages-build-deployment #62: by github-pages bot
24s gh-pages
gh-pages
24s
Addinng licence and credits Quarto Publish #61: Commit 8246635 pushed by luifrancgom
1m 45s main
main
1m 45s
pages build and deployment pages-build-deployment #61: by github-pages bot
33s gh-pages
gh-pages
33s
Add CC BY-SA 4.0 license Quarto Publish #60: Commit dfd51a6 pushed by luifrancgom
1m 46s main
main
1m 46s
pages build and deployment pages-build-deployment #60: by github-pages bot
33s gh-pages
gh-pages
33s
pages build and deployment pages-build-deployment #59: by github-pages bot
26s gh-pages
gh-pages
26s
adding comment options to access .tex and .md intermediate files Quarto Publish #59: Commit f35bcfc pushed by luifrancgom
2m 41s main
main
2m 41s
update readme with information about the project Quarto Publish #58: Commit 0fe28a4 pushed by luifrancgom
2m 1s main
main
2m 1s
pages build and deployment pages-build-deployment #58: by github-pages bot
28s gh-pages
gh-pages
28s
adding missing term mathematical induction in index Quarto Publish #57: Commit d975b9e pushed by luifrancgom
1m 54s main
main
1m 54s
pages build and deployment pages-build-deployment #57: by github-pages bot
26s gh-pages
gh-pages
26s
adding and fixing typos chapter 25 Quarto Publish #56: Commit 9fae59f pushed by luifrancgom
2m 6s main
main
2m 6s
pages build and deployment pages-build-deployment #56: by github-pages bot
25s gh-pages
gh-pages
25s
adding missing \text{cad } Quarto Publish #55: Commit a1ed143 pushed by luifrancgom
2m 10s main
main
2m 10s
pages build and deployment pages-build-deployment #55: by github-pages bot
28s gh-pages
gh-pages
28s
adding consistency notation of ordinal and cardinal Quarto Publish #54: Commit e852627 pushed by luifrancgom
1m 50s main
main
1m 50s
pages build and deployment pages-build-deployment #54: by github-pages bot
24s gh-pages
gh-pages
24s
fixing typos and adding chapter 24 Quarto Publish #53: Commit d7c5b30 pushed by luifrancgom
1m 48s main
main
1m 48s
pages build and deployment pages-build-deployment #53: by github-pages bot
24s gh-pages
gh-pages
24s
using more native quarto notation for equations Quarto Publish #52: Commit 6ea8e6a pushed by luifrancgom
1m 48s main
main
1m 48s
pages build and deployment pages-build-deployment #52: by github-pages bot
24s gh-pages
gh-pages
24s
adding and fixing typos chapter 23, adding reference chapter 15 Quarto Publish #51: Commit 25fda27 pushed by luifrancgom
1m 49s main
main
1m 49s
pages build and deployment pages-build-deployment #51: by github-pages bot
26s gh-pages
gh-pages
26s