Skip to content

Actions: glassala/exercises

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
15 workflow runs
15 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
Culled to projects I was still fond of. Deploy Jekyll with GitHub Pages dependencies preinstalled #6: Commit c0ffeb6 pushed by glassala
35s main
main
35s
Culled to projects I was still fond of. Lean Action CI #9: Commit c0ffeb6 pushed by glassala
1m 37s main
main
1m 37s
Merge branch 'main' of https://github.com/glassala/exercises Deploy Jekyll with GitHub Pages dependencies preinstalled #5: Commit 013e319 pushed by glassala
52s main
main
52s
Merge branch 'main' of https://github.com/glassala/exercises Lean Action CI #8: Commit 013e319 pushed by glassala
1m 28s main
main
1m 28s
Update README.md Deploy Jekyll with GitHub Pages dependencies preinstalled #4: Commit 3feb848 pushed by glassala
37s main
main
37s
Update README.md Lean Action CI #7: Commit 3feb848 pushed by glassala
1m 32s main
main
1m 32s
Test commit. Deploy Jekyll with GitHub Pages dependencies preinstalled #3: Commit 11b853f pushed by glassala
34s main
main
34s
Test commit. Lean Action CI #6: Commit 11b853f pushed by glassala
1m 36s main
main
1m 36s
Merge branch 'main' of https://github.com/glassala/exercises Lean Action CI #5: Commit 15106b7 pushed by glassala
8m 18s main
main
8m 18s
Merge branch 'main' of https://github.com/glassala/exercises Deploy Jekyll with GitHub Pages dependencies preinstalled #2: Commit 15106b7 pushed by glassala
46s main
main
46s
Create jekyll-gh-pages.yml Lean Action CI #4: Commit c8ac0d0 pushed by glassala
8m 15s main
main
8m 15s
Create jekyll-gh-pages.yml Deploy Jekyll with GitHub Pages dependencies preinstalled #1: Commit c8ac0d0 pushed by glassala
36s main
main
36s
Rewording. Lean Action CI #3: Commit c6557f8 pushed by glassala
7m 41s main
main
7m 41s
Added natural number replica. Lean Action CI #2: Commit f5a9020 pushed by glassala
7m 42s main
main
7m 42s
Exercises in Lean. Lean Action CI #1: Commit 7844f9c pushed by glassala
8m 15s main
main
8m 15s