Skip to content

Actions: oliver-butterley/formalisation

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

Update team and tidy page Deploy site to server #28: Commit ab0945c pushed by oliver-butterley
September 23, 2023 11:57 42s main
main
September 23, 2023 11:57 42s
add chapter numbers Deploy site to server #27: Commit 26deec2 pushed by fpvandoorn
September 13, 2023 17:37 37s main
main
September 13, 2023 17:37 37s
comments break the table, apparently Deploy site to server #26: Commit 26ac8b8 pushed by fpvandoorn
September 13, 2023 17:34 30s main
main
September 13, 2023 17:34 30s
remove the pre and post in schedule Deploy site to server #25: Commit e98fbd5 pushed by fpvandoorn
September 13, 2023 17:34 31s main
main
September 13, 2023 17:34 31s
proposal: more realistic schedule Deploy site to server #24: Commit d15c2ad pushed by fpvandoorn
September 13, 2023 17:32 38s main
main
September 13, 2023 17:32 38s
💻 Deploy site to server #23: Commit c6d0430 pushed by oliver-butterley
August 30, 2023 15:18 37s main
main
August 30, 2023 15:18 37s
➕ Deploy site to server #22: Commit f156032 pushed by oliver-butterley
August 22, 2023 08:34 44s main
main
August 22, 2023 08:34 44s
🧹 readme Deploy site to server #21: Commit 5585e08 pushed by oliver-butterley
August 6, 2023 07:45 32s main
main
August 6, 2023 07:45 32s
😱 Deploy site to server #20: Commit a09e4ed pushed by oliver-butterley
August 4, 2023 16:19 27s main
main
August 4, 2023 16:19 27s
favicon Deploy site to server #19: Commit a2af909 pushed by oliver-butterley
August 4, 2023 16:17 27s main
main
August 4, 2023 16:17 27s
🍕 Deploy site to server #18: Commit c8bafcf pushed by oliver-butterley
August 4, 2023 16:08 27s main
main
August 4, 2023 16:08 27s
Team page Deploy site to server #17: Commit 9029ecd pushed by oliver-butterley
August 4, 2023 15:42 40s main
main
August 4, 2023 15:42 40s
name Deploy site to server #16: Commit 413b23c pushed by oliver-butterley
August 2, 2023 14:43 34s main
main
August 2, 2023 14:43 34s
robots do maths Deploy site to server #15: Commit 21ed345 pushed by oliver-butterley
August 2, 2023 12:42 38s main
main
August 2, 2023 12:42 38s
open schedule, dates Deploy site to server #14: Commit f56af2b pushed by oliver-butterley
August 2, 2023 10:14 32s main
main
August 2, 2023 10:14 32s
find out more Deploy site to server #13: Commit 0bea45f pushed by oliver-butterley
August 1, 2023 05:08 36s main
main
August 1, 2023 05:08 36s
🎨 Deploy site to server #12: Commit c816793 pushed by oliver-butterley
July 31, 2023 15:54 33s main
main
July 31, 2023 15:54 33s
Funding statement on info.md Deploy site to server #11: Commit 4b3de51 pushed by RafaelGreenblatt
July 31, 2023 13:35 43s main
main
July 31, 2023 13:35 43s
Update index.md Deploy site to server #10: Commit 676ed9d pushed by RafaelGreenblatt
July 31, 2023 13:30 26s main
main
July 31, 2023 13:30 26s
Update info.md with new intro text Deploy site to server #9: Commit e745013 pushed by RafaelGreenblatt
July 31, 2023 13:26 32s main
main
July 31, 2023 13:26 32s
Update index.md with new intro statement Deploy site to server #8: Commit ce55828 pushed by RafaelGreenblatt
July 31, 2023 13:23 1m 57s main
main
July 31, 2023 13:23 1m 57s
Update index.md Deploy site to server #7: Commit 171c3b9 pushed by oliver-butterley
July 31, 2023 13:04 32s main
main
July 31, 2023 13:04 32s
github edit links Deploy site to server #6: Commit a37be42 pushed by oliver-butterley
July 31, 2023 12:28 31s main
main
July 31, 2023 12:28 31s
😱 Deploy site to server #5: Commit 45b7543 pushed by oliver-butterley
July 31, 2023 12:17 31s main
main
July 31, 2023 12:17 31s
🖼️ Deploy site to server #4: Commit d8417b4 pushed by oliver-butterley
July 31, 2023 12:06 32s main
main
July 31, 2023 12:06 32s