Skip to content

Actions: stefan-hoeck/idris2-cyby-draw

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-lib.yml
21 workflow runs
21 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #8 from stefan-hoeck/authors Build #21: Commit 0df06cf pushed by stefan-hoeck
August 26, 2024 05:51 4m 48s main
main
August 26, 2024 05:51 4m 48s
[ ipkg ] add Salome to authors list Build #20: Pull request #8 opened by stefan-hoeck
August 26, 2024 05:46 4m 37s authors
authors
August 26, 2024 05:46 4m 37s
[ ipkg ] add Salome to authors list Build #19: Commit 8a53ab8 pushed by stefan-hoeck
August 26, 2024 05:45 4m 35s authors
authors
August 26, 2024 05:45 4m 35s
Merge pull request #7 from stefan-hoeck/fix_resize Build #18: Commit 69c828a pushed by stefan-hoeck
August 23, 2024 09:47 4m 45s main
main
August 23, 2024 09:47 4m 45s
[ fix ] create a safety zone around resize corner Build #17: Pull request #7 opened by stefan-hoeck
August 23, 2024 09:47 4m 37s fix_resize
fix_resize
August 23, 2024 09:47 4m 37s
[ fix ] create a safety zone around resize corner Build #16: Commit 4c7eca5 pushed by stefan-hoeck
August 23, 2024 09:41 4m 43s fix_resize
fix_resize
August 23, 2024 09:41 4m 43s
Merge pull request #5 from stefan-hoeck/fix_colors Build #15: Commit 4f494e6 pushed by stefan-hoeck
August 23, 2024 04:18 4m 38s main
main
August 23, 2024 04:18 4m 38s
[ fix ] get rid of unreachable line in group color scheme Build #14: Pull request #5 opened by stefan-hoeck
August 23, 2024 04:07 4m 43s fix_colors
fix_colors
August 23, 2024 04:07 4m 43s
[ fix ] get rid of unreachable line in group color scheme Build #13: Commit 60dbd40 pushed by stefan-hoeck
August 23, 2024 04:07 4m 33s fix_colors
fix_colors
August 23, 2024 04:07 4m 33s
Merge pull request #4 from stefan-hoeck/typo Build #12: Commit 37e328c pushed by stefan-hoeck
August 23, 2024 04:05 4m 42s main
main
August 23, 2024 04:05 4m 42s
[ fix ] typo Build #11: Pull request #4 opened by stefan-hoeck
August 23, 2024 04:00 4m 34s typo
typo
August 23, 2024 04:00 4m 34s
[ fix ] typo Build #10: Commit 7a2e914 pushed by stefan-hoeck
August 23, 2024 04:00 4m 37s typo
typo
August 23, 2024 04:00 4m 37s
Merge pull request #3 from stefan-hoeck/docs Build #9: Commit 17468aa pushed by stefan-hoeck
August 23, 2024 03:59 4m 49s main
main
August 23, 2024 03:59 4m 49s
[ doc ] installation instructions Build #8: Pull request #3 opened by stefan-hoeck
August 23, 2024 03:53 4m 50s docs
docs
August 23, 2024 03:53 4m 50s
[ doc ] installation instructions Build #7: Commit c786d94 pushed by stefan-hoeck
August 23, 2024 03:52 4m 35s docs
docs
August 23, 2024 03:52 4m 35s
Merge pull request #2 from stefan-hoeck/brief Build #6: Commit bb5293b pushed by stefan-hoeck
August 22, 2024 13:09 4m 54s main
main
August 22, 2024 13:09 4m 54s
[ ipkg ] add brief description Build #5: Pull request #2 opened by stefan-hoeck
August 22, 2024 12:53 4m 39s brief
brief
August 22, 2024 12:53 4m 39s
[ ipkg ] add brief description Build #4: Commit 35af005 pushed by stefan-hoeck
August 22, 2024 12:51 5m 3s brief
brief
August 22, 2024 12:51 5m 3s
Merge pull request #1 from stefan-hoeck/go_public Build #3: Commit 7675e09 pushed by stefan-hoeck
August 22, 2024 12:49 4m 46s main
main
August 22, 2024 12:49 4m 46s
[ new ] move stuff from private repo Build #2: Pull request #1 synchronize by stefan-hoeck
August 22, 2024 12:44 4m 50s go_public
go_public
August 22, 2024 12:44 4m 50s
[ CI ] enable CI Build #1: Commit 887870f pushed by stefan-hoeck
August 22, 2024 12:44 4m 43s go_public
go_public
August 22, 2024 12:44 4m 43s