Skip to content

Actions: oliver-butterley/formalisation

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
55 workflow runs
55 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

link to slides Deploy site to server #78: Commit 39e2013 pushed by oliver-butterley
February 1, 2024 09:39 29s main
main
February 1, 2024 09:39 29s
participants Deploy site to server #77: Commit 8ec5a5b pushed by oliver-butterley
February 1, 2024 08:42 25s main
main
February 1, 2024 08:42 25s
link repo Deploy site to server #76: Commit 4362764 pushed by oliver-butterley
February 1, 2024 08:10 24s main
main
February 1, 2024 08:10 24s
More info on codespaces info.md Deploy site to server #75: Commit c2e6f4e pushed by RafaelGreenblatt
January 24, 2024 13:21 25s main
main
January 24, 2024 13:21 25s
Link to Codespaces in info.md Deploy site to server #74: Commit 080f35f pushed by RafaelGreenblatt
January 24, 2024 13:16 28s main
main
January 24, 2024 13:16 28s
changed all rooms for colloquia Deploy site to server #73: Commit 33d6811 pushed by faenuccio
January 24, 2024 12:11 29s main
main
January 24, 2024 12:11 29s
changed colloquim room Deploy site to server #72: Commit f1d8692 pushed by faenuccio
January 24, 2024 11:59 32s main
main
January 24, 2024 11:59 32s
Update info.md Deploy site to server #71: Commit 66f16a6 pushed by marcolenci
January 23, 2024 15:19 29s main
main
January 23, 2024 15:19 29s
Update info.md Deploy site to server #70: Commit 21dd1e4 pushed by marcolenci
January 23, 2024 14:49 37s main
main
January 23, 2024 14:49 37s
Update info.md Deploy site to server #69: Commit 493ba46 pushed by marcolenci
January 23, 2024 10:39 27s main
main
January 23, 2024 10:39 27s
Update info.md Deploy site to server #68: Commit 13127fd pushed by marcolenci
January 23, 2024 10:30 23s main
main
January 23, 2024 10:30 23s
Update info.md Deploy site to server #67: Commit 87d171d pushed by marcolenci
January 23, 2024 10:26 28s main
main
January 23, 2024 10:26 28s
🎨 Deploy site to server #66: Commit 5163ea0 pushed by oliver-butterley
January 18, 2024 09:02 38s main
main
January 18, 2024 09:02 38s
updated supporters image Deploy site to server #65: Commit 9b27b50 pushed by oliver-butterley
January 17, 2024 19:20 35s main
main
January 17, 2024 19:20 35s
Supporters Deploy site to server #64: Commit 1b6dcca pushed by oliver-butterley
January 16, 2024 13:31 28s main
main
January 16, 2024 13:31 28s
🎨 Deploy site to server #63: Commit 3945ab1 pushed by oliver-butterley
January 11, 2024 20:09 24s main
main
January 11, 2024 20:09 24s
Merge pull request #4 from pitmonticone/main Deploy site to server #62: Commit 6954372 pushed by oliver-butterley
January 11, 2024 14:14 23s main
main
January 11, 2024 14:14 23s
highlight departmental colloquium Deploy site to server #61: Commit 9ed18a7 pushed by oliver-butterley
January 11, 2024 12:35 38s main
main
January 11, 2024 12:35 38s
Merge pull request #3 from oliver-butterley/marcolenci-patch-1 Deploy site to server #60: Commit e38c4c0 pushed by oliver-butterley
January 11, 2024 11:59 36s main
main
January 11, 2024 11:59 36s
Update info.md Deploy site to server #59: Commit 2e50903 pushed by marcolenci
January 11, 2024 10:04 36s main
main
January 11, 2024 10:04 36s
Update info.md Deploy site to server #58: Commit 93b91f3 pushed by marcolenci
January 11, 2024 10:01 37s main
main
January 11, 2024 10:01 37s
talk formatting 🎨 Deploy site to server #57: Commit 9a46614 pushed by oliver-butterley
January 9, 2024 21:51 34s main
main
January 9, 2024 21:51 34s
Add filippo's abstract Deploy site to server #56: Commit ab2683c pushed by oliver-butterley
January 9, 2024 18:07 34s main
main
January 9, 2024 18:07 34s
Added Kevin's abstract Deploy site to server #55: Commit 7c6276e pushed by oliver-butterley
January 9, 2024 14:07 25s main
main
January 9, 2024 14:07 25s
Merge commit 'a17fd58e9f122d12de7d8e9494339114d9456937' Deploy site to server #54: Commit 9b0a745 pushed by oliver-butterley
January 9, 2024 14:01 45s main
main
January 9, 2024 14:01 45s