Skip to content

Actions: moves-rwth/storm-website

Actions

Build and deploy website

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
jekyll.yml
9 workflow runs
9 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Checking valid links (#3) Build and deploy website #9: Commit d4125c9 pushed by volkm
September 4, 2024 13:54 51s main
main
September 4, 2024 13:54 51s
Merge pull request #7 from moves-rwth/sjunges-patch-1 Build and deploy website #8: Commit 48ea1d3 pushed by sjunges
September 3, 2024 15:40 1m 3s main
main
September 3, 2024 15:40 1m 3s
Post on version 1.9.0 (#6) Build and deploy website #7: Commit bb1d1b5 pushed by volkm
September 3, 2024 14:14 1m 0s main
main
September 3, 2024 14:14 1m 0s
Renaming after changes in storm-cli (#5) Build and deploy website #6: Commit 0e5e094 pushed by volkm
August 7, 2024 10:09 57s main
main
August 7, 2024 10:09 57s
Merge pull request #4 from tquatmann/main Build and deploy website #5: Commit 31580ed pushed by tquatmann
July 19, 2024 09:04 45s main
main
July 19, 2024 09:04 45s
Update jekyll requirement from ~> 4.2.0 to ~> 4.3.3 Build and deploy website #4: Commit 998f9f3 pushed by volkm
July 18, 2024 11:42 1m 3s main
main
July 18, 2024 11:42 1m 3s
Added dependabot Build and deploy website #3: Commit 704f8a0 pushed by volkm
July 18, 2024 11:31 47s main
main
July 18, 2024 11:31 47s
Updated README Build and deploy website #2: Commit def7441 pushed by volkm
July 18, 2024 09:22 44s main
main
July 18, 2024 09:22 44s
Created Jekyll workflow from Github template Build and deploy website #1: Commit f2a6ca1 pushed by volkm
July 18, 2024 09:10 1m 46s main
main
July 18, 2024 09:10 1m 46s