Skip to content

Actions: luckyframework/lucky

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
190 workflow runs
190 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment
pages-build-deployment #110: by github-pages bot
November 3, 2024 15:51 25s gh-pages
November 3, 2024 15:51 25s
Removing pretty_inspect since it doesn't seem to add any additional i…
Deploy docs #341: Commit 5607fe6 pushed by jwoertink
November 3, 2024 15:50 1m 9s main
November 3, 2024 15:50 1m 9s
Removing pretty_inspect since it doesn't seem to add any additional i…
Lucky CI #965: Commit 5607fe6 pushed by jwoertink
November 3, 2024 15:50 1m 26s main
November 3, 2024 15:50 1m 26s
Fixing compilation error on Windows
Lucky CI #964: Pull request #1929 opened by jwoertink
November 3, 2024 15:47 1m 40s issues/1928
November 3, 2024 15:47 1m 40s
pages build and deployment
pages-build-deployment #109: by github-pages bot
October 31, 2024 22:12 23s gh-pages
October 31, 2024 22:12 23s
Add abstract definition for debug_message (#1927)
Deploy docs #340: Commit 921436f pushed by jwoertink
October 31, 2024 22:11 1m 15s main
October 31, 2024 22:11 1m 15s
Add abstract definition for debug_message (#1927)
Lucky CI #963: Commit 921436f pushed by jwoertink
October 31, 2024 22:11 1m 37s main
October 31, 2024 22:11 1m 37s
pages build and deployment
pages-build-deployment #108: by github-pages bot
October 21, 2024 03:15 29s gh-pages
October 21, 2024 03:15 29s
v1.3.0 CHANGELOG and UPGRADE_NOTES (#1924)
Deploy docs #339: Commit 2c1433d pushed by jwoertink
October 21, 2024 03:14 1m 9s main
October 21, 2024 03:14 1m 9s
v1.3.0 CHANGELOG and UPGRADE_NOTES (#1924)
Lucky CI #960: Commit 2c1433d pushed by jwoertink
October 21, 2024 03:14 1m 35s main
October 21, 2024 03:14 1m 35s
v1.3.0 CHANGELOG and UPGRADE_NOTES
Lucky CI #959: Pull request #1924 synchronize by jwoertink
October 21, 2024 02:24 1m 33s releases/1.3.0_changelog_upgrade
October 21, 2024 02:24 1m 33s
pages build and deployment
pages-build-deployment #107: by github-pages bot
October 21, 2024 01:56 25s gh-pages
October 21, 2024 01:56 25s
bump versions for next release (#1925)
Lucky CI #958: Commit 99fb848 pushed by jwoertink
October 21, 2024 01:54 1m 36s main
October 21, 2024 01:54 1m 36s
bump versions for next release (#1925)
Deploy docs #338: Commit 99fb848 pushed by jwoertink
October 21, 2024 01:54 1m 10s main
October 21, 2024 01:54 1m 10s
Release v1.3.0
Lucky CI #957: Pull request #1925 opened by jwoertink
October 20, 2024 17:09 1m 24s releases/1.3.0
October 20, 2024 17:09 1m 24s
v1.3.0 CHANGELOG and UPGRADE_NOTES
Lucky CI #956: Pull request #1924 opened by jwoertink
October 20, 2024 17:02 1m 39s releases/1.3.0_changelog_upgrade
October 20, 2024 17:02 1m 39s
pages build and deployment
pages-build-deployment #106: by github-pages bot
October 14, 2024 15:59 32s gh-pages
October 14, 2024 15:59 32s
Remove mistakenly committed file (#1922)
Deploy docs #337: Commit fd966c0 pushed by jwoertink
October 14, 2024 15:57 1m 14s main
October 14, 2024 15:57 1m 14s
Remove mistakenly committed file (#1922)
Lucky CI #955: Commit fd966c0 pushed by jwoertink
October 14, 2024 15:57 1m 40s main
October 14, 2024 15:57 1m 40s
Remove mistakenly committed file
Lucky CI #954: Pull request #1922 opened by Sija
October 14, 2024 15:27 1m 28s Sija:patch-1
October 14, 2024 15:27 1m 28s
pages build and deployment
pages-build-deployment #105: by github-pages bot
October 14, 2024 00:00 29s gh-pages
October 14, 2024 00:00 29s
Windows support (#1919)
Lucky CI #953: Commit 382549a pushed by jwoertink
October 13, 2024 23:59 1m 27s main
October 13, 2024 23:59 1m 27s
Windows support (#1919)
Deploy docs #336: Commit 382549a pushed by jwoertink
October 13, 2024 23:59 1m 12s main
October 13, 2024 23:59 1m 12s