Skip to content

Actions: proof-ninja/iris-tutorial

Actions

Deploy static content to Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
static.yml
4 workflow runs
4 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Create mkdoc.sh Deploy static content to Pages #4: Commit bc94d88 pushed by yoshihiro503
2m 57s master
master
2m 57s
Change CI command to use mkdoc.sh script Deploy static content to Pages #3: Commit 8a19359 pushed by yoshihiro503
2m 31s master
master
2m 31s
Doc: make html Deploy static content to Pages #2: Commit 824ce76 pushed by yoshihiro503
2m 53s master
master
2m 53s
Merge pull request #1 from proof-ninja/yoshihiro503@deploy-html Deploy static content to Pages #1: Commit 41bce18 pushed by yoshihiro503
18s master
master
18s