Skip to content

Actions: leanprover-community/NNG4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
71 workflow runs
71 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
Build the game and save artifact Build #275: Commit 91dc0cf pushed by kbuzzard
4m 44s main
main
4m 44s
Build non-main branch Build non-main branch #285: Pull request #162 synchronize by TentativeConvert
4m 26s Ljon4ik4:German_translation_added
Ljon4ik4:German_translation_added
4m 26s
Build the game and save artifact Build #274: Commit d1ce090 pushed by kim-em
4m 32s main
main
4m 32s
Build non-main branch Build non-main branch #284: Pull request #174 opened by kim-em
3m 6s pin-actions-to-sha
pin-actions-to-sha
3m 6s
add German translation Build non-main branch #283: Pull request #162 synchronize by TentativeConvert
24d 3h 17m 24s Ljon4ik4:German_translation_added
Ljon4ik4:German_translation_added
24d 3h 17m 24s
Build non-main branch Build non-main branch #282: Pull request #172 opened by TentativeConvert
3m 40s TentativeConvert:update-translation-files
TentativeConvert:update-translation-files
3m 40s
Build the game and save artifact Build #273: Commit 913cd4b pushed by joneugster
4m 34s main
main
4m 34s
Build non-main branch Build non-main branch #281: Pull request #170 opened by TentativeConvert
3m 19s TentativeConvert:main
TentativeConvert:main
3m 19s
add German translation Build non-main branch #280: Pull request #162 synchronize by TentativeConvert
26d 0h 51m 47s Ljon4ik4:German_translation_added
Ljon4ik4:German_translation_added
26d 0h 51m 47s
add German translation Build non-main branch #279: Pull request #162 synchronize by TentativeConvert
26d 1h 18m 8s Ljon4ik4:German_translation_added
Ljon4ik4:German_translation_added
26d 1h 18m 8s
Add pt-BR translation Build non-main branch #278: Pull request #169 opened by felipponn
Action required felipponn:main
felipponn:main
Action required
Build non-main branch Build non-main branch #277: Pull request #137 synchronize by virusbb001
3m 49s virusbb001:add-ja_JP-translation
virusbb001:add-ja_JP-translation
3m 49s
Build the game and save artifact Build #272: Commit 360d797 pushed by joneugster
4m 15s main
main
4m 15s
Fix typos in L06intro.lean Build non-main branch #276: Pull request #168 opened by armgabrielyan
2d 21h 59m 46s armgabrielyan:patch-1
armgabrielyan:patch-1
2d 21h 59m 46s
Build non-main branch Build non-main branch #275: Pull request #166 opened by kim-em
3m 33s bump-toolchain-v4.31.0
bump-toolchain-v4.31.0
3m 33s
Added Korean translation Build non-main branch #274: Pull request #165 synchronize by wonseong-s1
30d 0h 1m 46s wonseong-s1:korean-translation
wonseong-s1:korean-translation
30d 0h 1m 46s
Added Korean translation Build non-main branch #273: Pull request #165 opened by wonseong-s1
30d 0h 1m 17s wonseong-s1:korean-translation
wonseong-s1:korean-translation
30d 0h 1m 17s
Simplify AdvMult L04 Build non-main branch #272: Pull request #164 opened by Xyndra
30d 0h 2m 13s Xyndra:patch-1
Xyndra:patch-1
30d 0h 2m 13s
add German translation Build non-main branch #271: Pull request #162 synchronize by Ljon4ik4
30d 0h 2m 13s Ljon4ik4:German_translation_added
Ljon4ik4:German_translation_added
30d 0h 2m 13s
add German translation Build non-main branch #269: Pull request #162 synchronize by Ljon4ik4
30d 0h 5m 7s Ljon4ik4:German_translation_added
Ljon4ik4:German_translation_added
30d 0h 5m 7s
add German translation Build non-main branch #268: Pull request #162 synchronize by Ljon4ik4
30d 0h 3m 42s Ljon4ik4:German_translation_added
Ljon4ik4:German_translation_added
30d 0h 3m 42s
add German translation Build non-main branch #267: Pull request #162 synchronize by Ljon4ik4
30d 0h 1m 37s Ljon4ik4:German_translation_added
Ljon4ik4:German_translation_added
30d 0h 1m 37s
add German translation Build non-main branch #266: Pull request #162 synchronize by Ljon4ik4
30d 0h 1m 23s Ljon4ik4:German_translation_added
Ljon4ik4:German_translation_added
30d 0h 1m 23s
add German translation Build non-main branch #265: Pull request #162 opened by Ljon4ik4
30d 0h 0m 51s Ljon4ik4:German_translation_added
Ljon4ik4:German_translation_added
30d 0h 0m 51s
Build non-main branch Build non-main branch #264: Pull request #137 synchronize by virusbb001
3m 38s virusbb001:add-ja_JP-translation
virusbb001:add-ja_JP-translation
3m 38s