Skip to content

Actions: purescript-contrib/purescript-book

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
141 workflow runs
141 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

scripts: merge removeAnchors.sh and resetSolutions.sh Build Book #253: Pull request #457 synchronize by milesfrain
September 6, 2023 03:14 18s softmoth:issue403
softmoth:issue403
September 6, 2023 03:14 18s
scripts: merge removeAnchors.sh and resetSolutions.sh Run PR Tests #247: Pull request #457 opened by softmoth
August 31, 2023 23:10 1m 22s softmoth:issue403
softmoth:issue403
August 31, 2023 23:10 1m 22s
scripts: merge removeAnchors.sh and resetSolutions.sh Build Book #252: Pull request #457 opened by softmoth
August 31, 2023 23:10 24s softmoth:issue403
softmoth:issue403
August 31, 2023 23:10 24s
pages build and deployment pages-build-deployment #29: by github-pages bot
August 31, 2023 14:58 35s
August 31, 2023 14:58 35s
Add publish date on CI (#456) Build Book #251: Commit 4edad29 pushed by Zelenya
August 31, 2023 14:57 27s master
master
August 31, 2023 14:57 27s
Add publish date on CI (#456) Run PR Tests #246: Commit 4edad29 pushed by Zelenya
August 31, 2023 14:57 2m 21s master
master
August 31, 2023 14:57 2m 21s
pages build and deployment pages-build-deployment #28: by github-pages bot
August 28, 2023 05:34 30s
August 28, 2023 05:34 30s
Add link to Japanese translation (#455) Build Book #250: Commit 2229cb8 pushed by milesfrain
August 28, 2023 05:34 16s master
master
August 28, 2023 05:34 16s
Add link to Japanese translation (#455) Run PR Tests #245: Commit 2229cb8 pushed by milesfrain
August 28, 2023 05:34 2m 13s master
master
August 28, 2023 05:34 2m 13s
pages build and deployment pages-build-deployment #27: by github-pages bot
August 28, 2023 05:30 36s
August 28, 2023 05:30 36s
Use math expressions (#453) Run PR Tests #244: Commit f1b8d40 pushed by milesfrain
August 28, 2023 05:30 3m 1s master
master
August 28, 2023 05:30 3m 1s
Use math expressions (#453) Build Book #249: Commit f1b8d40 pushed by milesfrain
August 28, 2023 05:30 14s master
master
August 28, 2023 05:30 14s
Add publish date on CI Build Book #248: Pull request #456 synchronize by andys8
August 26, 2023 20:06 16s andys8:publish-date
andys8:publish-date
August 26, 2023 20:06 16s
Add publish date on CI Run PR Tests #243: Pull request #456 synchronize by andys8
August 26, 2023 20:06 2m 13s andys8:publish-date
andys8:publish-date
August 26, 2023 20:06 2m 13s
Add publish date on CI Run PR Tests #242: Pull request #456 synchronize by andys8
August 26, 2023 18:24 2m 16s andys8:publish-date
andys8:publish-date
August 26, 2023 18:24 2m 16s
Add publish date on CI Build Book #247: Pull request #456 synchronize by andys8
August 26, 2023 18:24 15s andys8:publish-date
andys8:publish-date
August 26, 2023 18:24 15s
Add publish date on CI Run PR Tests #239: Pull request #456 synchronize by andys8
August 26, 2023 17:48 2m 14s andys8:publish-date
andys8:publish-date
August 26, 2023 17:48 2m 14s
Add publish date on CI Build Book #244: Pull request #456 synchronize by andys8
August 26, 2023 17:48 18s andys8:publish-date
andys8:publish-date
August 26, 2023 17:48 18s
pages build and deployment pages-build-deployment #26: by github-pages bot
August 26, 2023 17:42 37s
August 26, 2023 17:42 37s
Fix minor issues (#454) Build Book #243: Commit 402d5af pushed by Zelenya
August 26, 2023 17:41 13s master
master
August 26, 2023 17:41 13s
Fix minor issues (#454) Run PR Tests #238: Commit 402d5af pushed by Zelenya
August 26, 2023 17:41 2m 15s master
master
August 26, 2023 17:41 2m 15s
Fix minor issues Build Book #242: Pull request #454 synchronize by Zelenya
August 26, 2023 17:33 16s gemmaro:fix-case
gemmaro:fix-case
August 26, 2023 17:33 16s
Fix minor issues Run PR Tests #237: Pull request #454 synchronize by Zelenya
August 26, 2023 17:33 2m 14s gemmaro:fix-case
gemmaro:fix-case
August 26, 2023 17:33 2m 14s
Add publish date on CI Build Book #241: Pull request #456 synchronize by andys8
August 26, 2023 17:12 15s andys8:publish-date
andys8:publish-date
August 26, 2023 17:12 15s
Add publish date on CI Run PR Tests #236: Pull request #456 synchronize by andys8
August 26, 2023 17:12 2m 40s andys8:publish-date
andys8:publish-date
August 26, 2023 17:12 2m 40s