Skip to content

Actions: oliver-butterley/formalisation

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
51 workflow runs
51 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

practical info 🎨 Deploy site to server #53: Commit 55ee2e9 pushed by oliver-butterley
January 9, 2024 11:54 32s main
main
January 9, 2024 11:54 32s
🐛 Deploy site to server #52: Commit 350e46d pushed by oliver-butterley
January 9, 2024 11:52 32s main
main
January 9, 2024 11:52 32s
practical info added Deploy site to server #51: Commit 8386c75 pushed by oliver-butterley
January 9, 2024 11:50 34s main
main
January 9, 2024 11:50 34s
Talk styling Deploy site to server #50: Commit 59ee373 pushed by oliver-butterley
January 8, 2024 17:49 28s main
main
January 8, 2024 17:49 28s
add two talk titles Deploy site to server #49: Commit 8059d02 pushed by fpvandoorn
January 6, 2024 18:00 24s main
main
January 6, 2024 18:00 24s
improved random Deploy site to server #48: Commit 602e6f6 pushed by oliver-butterley
January 6, 2024 09:39 26s main
main
January 6, 2024 09:39 26s
Registration comment Deploy site to server #47: Commit ee45e77 pushed by oliver-butterley
January 6, 2024 09:36 36s main
main
January 6, 2024 09:36 36s
Improved random Deploy site to server #46: Commit 1b5da2b pushed by oliver-butterley
January 6, 2024 09:22 32s main
main
January 6, 2024 09:22 32s
added Filippo's colloquium title Deploy site to server #45: Commit 99e24e4 pushed by faenuccio
December 18, 2023 22:53 35s main
main
December 18, 2023 22:53 35s
four talks in index Deploy site to server #44: Commit e504b95 pushed by faenuccio
December 16, 2023 13:24 35s main
main
December 16, 2023 13:24 35s
🐛 four colloquium Deploy site to server #43: Commit 9cc373f pushed by oliver-butterley
December 16, 2023 12:22 31s main
main
December 16, 2023 12:22 31s
workshop suggested speakers Deploy site to server #42: Commit 24d1235 pushed by fpvandoorn
December 4, 2023 11:04 28s main
main
December 4, 2023 11:04 28s
Merge branch 'main' of github.com:oliver-butterley/formalisation Deploy site to server #41: Commit 7aafdaf pushed by oliver-butterley
November 23, 2023 21:18 36s main
main
November 23, 2023 21:18 36s
random Deploy site to server #40: Commit 2842601 pushed by oliver-butterley
November 23, 2023 01:00 29s main
main
November 23, 2023 01:00 29s
location Deploy site to server #39: Commit 18b9b1c pushed by oliver-butterley
November 15, 2023 18:55 28s main
main
November 15, 2023 18:55 28s
🎨 Deploy site to server #38: Commit 38230ae pushed by oliver-butterley
November 11, 2023 15:29 41s main
main
November 11, 2023 15:29 41s
random list Deploy site to server #37: Commit b1662a4 pushed by oliver-butterley
November 8, 2023 22:33 46s main
main
November 8, 2023 22:33 46s
Merge pull request #2 from oliver-butterley:random Deploy site to server #36: Commit 0d42711 pushed by oliver-butterley
November 1, 2023 17:43 50s main
main
November 1, 2023 17:43 50s
🎨 Deploy site to server #35: Commit 8d7f487 pushed by oliver-butterley
October 28, 2023 20:42 32s main
main
October 28, 2023 20:42 32s
action Deploy site to server #34: Commit dfcb8cb pushed by oliver-butterley
October 28, 2023 20:41 28s main
main
October 28, 2023 20:41 28s
rand Deploy site to server #33: Commit 9dc5e9c pushed by oliver-butterley
October 28, 2023 20:39 19s main
main
October 28, 2023 20:39 19s
random Deploy site to server #32: Commit e732bc2 pushed by oliver-butterley
October 28, 2023 20:18 42s main
main
October 28, 2023 20:18 42s
updated form Deploy site to server #31: Commit 9fc25d0 pushed by oliver-butterley
October 20, 2023 10:14 46s main
main
October 20, 2023 10:14 46s
🎨 Deploy site to server #30: Commit 234d0d0 pushed by oliver-butterley
September 23, 2023 19:16 32s main
main
September 23, 2023 19:16 32s
web page Deploy site to server #29: Commit f5f6a75 pushed by oliver-butterley
September 23, 2023 12:47 36s main
main
September 23, 2023 12:47 36s