Skip to content

Actions: input-output-hk/Lean-blaster

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13 workflow runs
13 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Rename project from Lean-clever to Lean-blaster
Deploy Jekyll with GitHub Pages dependencies preinstalled #5: Commit c90a6e4 pushed by RSoulatIOHK
35s main
Push on main
CodeQL #6: by RSoulatIOHK
47s main
47s
Push on main
CodeQL #5: by RSoulatIOHK
44s main
44s
Fix typo in project name from 'Lean-celver' to 'Lean-clever'
Deploy Jekyll with GitHub Pages dependencies preinstalled #4: Commit e156afb pushed by RSoulatIOHK
1m 32s main
Rename project from Clever Lean to Lean-celver
Deploy Jekyll with GitHub Pages dependencies preinstalled #3: Commit 46b3b29 pushed by RSoulatIOHK
1m 0s main
Push on main
CodeQL #4: by RSoulatIOHK
44s main
44s
44s
41s
Add .gitignore for virtual and build directories
Deploy Jekyll with GitHub Pages dependencies preinstalled #2: Commit 72e7331 pushed by RSoulatIOHK
45s main
Add GitHub Actions workflow for Jekyll deployment
Deploy Jekyll with GitHub Pages dependencies preinstalled #1: Commit e8f9211 pushed by RSoulatIOHK
51s main
chore: Readme init
ci-linux #2: Commit b80fc1e pushed by RSoulatIOHK
1d 0h 0m 3s staging