Skip to content

Actions: purescript-contrib/purescript-book

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
126 workflow runs
126 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #22: by github-pages bot
July 17, 2023 22:54 31s
July 17, 2023 22:54 31s
[Chapter 3] Get rid of flip (#446) Build Book #228: Commit fc22050 pushed by Zelenya
July 17, 2023 22:53 13s master
master
July 17, 2023 22:53 13s
[Chapter 3] Get rid of flip (#446) Run PR Tests #223: Commit fc22050 pushed by Zelenya
July 17, 2023 22:53 2m 6s master
master
July 17, 2023 22:53 2m 6s
[Chapter 3] Get rid of flip Run PR Tests #222: Pull request #446 synchronize by Zelenya
July 17, 2023 22:47 2m 10s flip-the-flip
flip-the-flip
July 17, 2023 22:47 2m 10s
[Chapter 3] Get rid of flip Build Book #227: Pull request #446 synchronize by Zelenya
July 17, 2023 22:47 13s flip-the-flip
flip-the-flip
July 17, 2023 22:47 13s
pages build and deployment pages-build-deployment #21: by github-pages bot
July 17, 2023 22:14 34s
July 17, 2023 22:14 34s
[Chapter 3] Clean up indentation section (#448) Build Book #226: Commit bf8426b pushed by milesfrain
July 17, 2023 22:14 20s master
master
July 17, 2023 22:14 20s
[Chapter 3] Clean up indentation section (#448) Run PR Tests #221: Commit bf8426b pushed by milesfrain
July 17, 2023 22:14 2m 3s master
master
July 17, 2023 22:14 2m 3s
pages build and deployment pages-build-deployment #20: by github-pages bot
July 17, 2023 22:12 31s
July 17, 2023 22:12 31s
Update kind info in types (#447) Run PR Tests #220: Commit 0ef208d pushed by milesfrain
July 17, 2023 22:12 2m 4s master
master
July 17, 2023 22:12 2m 4s
Update kind info in types (#447) Build Book #225: Commit 0ef208d pushed by milesfrain
July 17, 2023 22:12 15s master
master
July 17, 2023 22:12 15s
[Chapter 3] Clean up indentation section Run PR Tests #219: Pull request #448 synchronize by Zelenya
July 16, 2023 19:42 2m 39s 397-where-is-the-right-where-indentation
397-where-is-the-right-where-indentation
July 16, 2023 19:42 2m 39s
[Chapter 3] Clean up indentation section Build Book #224: Pull request #448 synchronize by Zelenya
July 16, 2023 19:42 16s 397-where-is-the-right-where-indentation
397-where-is-the-right-where-indentation
July 16, 2023 19:42 16s
[Chapter 3] Clean up indentation section Run PR Tests #218: Pull request #448 opened by Zelenya
July 16, 2023 19:32 2m 6s 397-where-is-the-right-where-indentation
397-where-is-the-right-where-indentation
July 16, 2023 19:32 2m 6s
[Chapter 3] Clean up indentation section Build Book #223: Pull request #448 opened by Zelenya
July 16, 2023 19:32 15s 397-where-is-the-right-where-indentation
397-where-is-the-right-where-indentation
July 16, 2023 19:32 15s
Update kind info in types Run PR Tests #217: Pull request #447 opened by Zelenya
July 16, 2023 19:14 2m 4s 326-retype-types
326-retype-types
July 16, 2023 19:14 2m 4s
Update kind info in types Build Book #222: Pull request #447 opened by Zelenya
July 16, 2023 19:14 14s 326-retype-types
326-retype-types
July 16, 2023 19:14 14s
[Chapter 3] Get rid of flip Build Book #221: Pull request #446 synchronize by Zelenya
July 16, 2023 01:53 17s flip-the-flip
flip-the-flip
July 16, 2023 01:53 17s
[Chapter 3] Get rid of flip Run PR Tests #216: Pull request #446 synchronize by Zelenya
July 16, 2023 01:53 2m 15s flip-the-flip
flip-the-flip
July 16, 2023 01:53 2m 15s
[Chapter 3] Get rid of flip Run PR Tests #215: Pull request #446 opened by Zelenya
July 16, 2023 00:24 2m 52s flip-the-flip
flip-the-flip
July 16, 2023 00:24 2m 52s
[Chapter 3] Get rid of flip Build Book #220: Pull request #446 opened by Zelenya
July 16, 2023 00:24 17s flip-the-flip
flip-the-flip
July 16, 2023 00:24 17s
pages build and deployment pages-build-deployment #19: by github-pages bot
July 15, 2023 17:35 28s
July 15, 2023 17:35 28s
[Chapter] Update introduction with links Build Book #219: Commit 8bcd61e pushed by Zelenya
July 15, 2023 17:35 17s master
master
July 15, 2023 17:35 17s
[Chapter] Update introduction with links Run PR Tests #214: Commit 8bcd61e pushed by Zelenya
July 15, 2023 17:35 2m 49s master
master
July 15, 2023 17:35 2m 49s
updating introduction, mostly links, see #173 Build Book #218: Pull request #193 synchronize by Zelenya
July 15, 2023 17:24 13s update-intro
update-intro
July 15, 2023 17:24 13s