Skip to content

Actions: for-all-dev/sites

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5 workflow runs
5 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Merge pull request #1 from for-all-dev/svg Lean Action CI #5: Commit 2180416 pushed by quinn-dougherty
54s master
master
54s
Add inline SVG and iframe to the typed HTML Lean Action CI #4: Pull request #1 opened by quinn-dougherty
56s svg
svg
56s
Add inline SVG and iframe to the typed HTML Lean Action CI #3: Commit fefc310 pushed by quinn-dougherty
1m 3s svg
svg
1m 3s
Add sites new: scaffold a site project that depends on the library Lean Action CI #2: Commit c08f29b pushed by quinn-dougherty
46s master
master
46s
Verified static site generator in Lean 4 Lean Action CI #1: Commit 851b428 pushed by quinn-dougherty
1m 7s master
master
1m 7s