Skip to content

Actions: msp-strath/MSPweb

Actions

generate-website

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
generate-website.yml
659 workflow runs
659 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

generate-website generate-website #265: Scheduled
October 20, 2023 14:24 24s master
master
October 20, 2023 14:24 24s
generate-website generate-website #264: Scheduled
October 19, 2023 14:25 38s master
master
October 19, 2023 14:25 38s
generate-website generate-website #263: Scheduled
October 18, 2023 14:25 25s master
master
October 18, 2023 14:25 25s
generate-website generate-website #262: Scheduled
October 17, 2023 14:24 36s master
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
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
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
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
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
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
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
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
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
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
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
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
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
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
rss-feed
October 16, 2023 19:59 3m 59s
Using the feed library for generating the RSS feed generate-website #247: Pull request #18 synchronize by fredrikNordvallForsberg
October 16, 2023 19:26 26m 1s rss-feed
rss-feed
October 16, 2023 19:26 26m 1s
Using the feed library for generating the RSS feed generate-website #246: Pull request #18 synchronize by fredrikNordvallForsberg
October 16, 2023 19:17 9m 49s rss-feed
rss-feed
October 16, 2023 19:17 9m 49s
Using the feed library for generating the RSS feed generate-website #245: Pull request #18 opened by fredrikNordvallForsberg
October 16, 2023 18:49 30m 14s rss-feed
rss-feed
October 16, 2023 18:49 30m 14s
generate-website generate-website #244: Scheduled
October 16, 2023 14:26 1m 3s master
master
October 16, 2023 14:26 1m 3s
[ ci ] build also for pull requests (but don't deploy) generate-website #243: Commit fd49dda pushed by fredrikNordvallForsberg
October 16, 2023 13:32 1m 47s master
master
October 16, 2023 13:32 1m 47s
[ 101 ] title & abstract for Ezra's talk generate-website #242: Commit 60bd081 pushed by gallais
October 16, 2023 10:47 59s master
master
October 16, 2023 10:47 59s
generate-website generate-website #241: Scheduled
October 15, 2023 14:22 1m 14s master
master
October 15, 2023 14:22 1m 14s
ProTip! You can narrow down the results and go further in time using created:<2023-10-15 or the other filters available.