Skip to content

Actions: msp-strath/MSPweb

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
655 workflow runs
655 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ 101 ] Bruno's talk
generate-website #272: Commit 66c39e9 pushed by gallais
October 24, 2023 13:43 31s master
October 24, 2023 13:43 31s
generate-website
generate-website #271: Scheduled
October 23, 2023 14:25 1m 6s master
October 23, 2023 14:25 1m 6s
generate-website
generate-website #270: Scheduled
October 22, 2023 14:22 57s master
October 22, 2023 14:22 57s
Publications from the PURE RSS, and news stored in a YAML file
generate-website #269: Pull request #21 opened by fredrikNordvallForsberg
October 21, 2023 20:15 2m 10s generate-news
October 21, 2023 20:15 2m 10s
generate-website
generate-website #268: Scheduled
October 21, 2023 14:21 54s master
October 21, 2023 14:21 54s
[ ci ] we have a master, not main, branch
generate-website #267: Commit 7d92e10 pushed by gallais
October 20, 2023 14:58 12m 52s master
October 20, 2023 14:58 12m 52s
[ 101 ] links to videos
generate-website #266: Commit 4abc4fb pushed by gallais
October 20, 2023 14:55 36s master
October 20, 2023 14:55 36s
generate-website
generate-website #265: Scheduled
October 20, 2023 14:24 24s master
October 20, 2023 14:24 24s
generate-website
generate-website #264: Scheduled
October 19, 2023 14:25 38s master
October 19, 2023 14:25 38s
generate-website
generate-website #263: Scheduled
October 18, 2023 14:25 25s master
October 18, 2023 14:25 25s
generate-website
generate-website #262: Scheduled
October 17, 2023 14:24 36s master
October 17, 2023 14:24 36s
[ ci ] use GHC version as a cache key (#20)
generate-website #261: Commit 6691f84 pushed by gallais
October 17, 2023 12:25 27m 31s master
October 17, 2023 12:25 27m 31s
[ ci ] use GHC version as a cache key
generate-website #260: Pull request #20 synchronize by gallais
October 17, 2023 12:22 2m 5s ghc-param
October 17, 2023 12:22 2m 5s
[ ci ] use GHC version as a cache key
generate-website #259: Pull request #20 synchronize by gallais
October 17, 2023 12:20 2m 39s ghc-param
October 17, 2023 12:20 2m 39s
[ ci ] use GHC version as a cache key
generate-website #258: Pull request #20 synchronize by gallais
October 17, 2023 11:51 23m 36s ghc-param
October 17, 2023 11:51 23m 36s
[ ci ] use GHC version as a cache key
generate-website #257: Pull request #20 opened by gallais
October 17, 2023 11:48 19s ghc-param
October 17, 2023 11:48 19s
[ ci ] bring back caching (#19)
generate-website #256: Commit 9886f4e pushed by gallais
October 17, 2023 09:46 24m 45s master
October 17, 2023 09:46 24m 45s
[ ci ] bring back caching
generate-website #255: Pull request #19 synchronize by gallais
October 17, 2023 09:44 1m 51s cache-fixing
October 17, 2023 09:44 1m 51s
[ ci ] bring back caching
generate-website #254: Pull request #19 synchronize by gallais
October 17, 2023 09:14 25m 50s cache-fixing
October 17, 2023 09:14 25m 50s
[ ci ] bring back caching
generate-website #253: Pull request #19 opened by gallais
October 17, 2023 09:07 39s cache-fixing
October 17, 2023 09:07 39s
Using the feed library for generating the RSS feed (#18)
generate-website #252: Commit a2d8b5a pushed by fredrikNordvallForsberg
October 17, 2023 08:38 23m 12s master
October 17, 2023 08:38 23m 12s
Using the feed library for generating the RSS feed
generate-website #251: Pull request #18 synchronize by fredrikNordvallForsberg
October 17, 2023 07:58 23m 33s rss-feed
October 17, 2023 07:58 23m 33s
Using the feed library for generating the RSS feed
generate-website #250: Pull request #18 synchronize by fredrikNordvallForsberg
October 16, 2023 22:26 27m 15s rss-feed
October 16, 2023 22:26 27m 15s
Using the feed library for generating the RSS feed
generate-website #249: Pull request #18 synchronize by fredrikNordvallForsberg
October 16, 2023 20:09 29m 28s rss-feed
October 16, 2023 20:09 29m 28s
Using the feed library for generating the RSS feed
generate-website #248: Pull request #18 synchronize by fredrikNordvallForsberg
October 16, 2023 19:59 3m 59s rss-feed
October 16, 2023 19:59 3m 59s
ProTip! You can narrow down the results and go further in time using created:<2023-10-16 or the other filters available.