Skip to content

Actions: stefan-hoeck/idris2-containers

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
44 workflow runs
44 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #9 from Matthew-Mosior/update-about-text Lint #47: Commit c04344b pushed by stefan-hoeck
November 2, 2024 06:08 21m 57s main
main
November 2, 2024 06:08 21m 57s
Merge pull request #9 from Matthew-Mosior/update-about-text Build #47: Commit c04344b pushed by stefan-hoeck
November 2, 2024 06:08 7m 56s main
main
November 2, 2024 06:08 7m 56s
Updating brief field of containers.ipkg to match README.md Build #46: Pull request #9 opened by Matthew-Mosior
October 25, 2024 17:49 36s Matthew-Mosior:update-about-text
Matthew-Mosior:update-about-text
October 25, 2024 17:49 36s
Updating brief field of containers.ipkg to match README.md Lint #46: Pull request #9 opened by Matthew-Mosior
October 25, 2024 17:49 1m 15s Matthew-Mosior:update-about-text
Matthew-Mosior:update-about-text
October 25, 2024 17:49 1m 15s
Merge pull request #7 from stefan-hoeck/fix_prepend Lint #45: Commit 1d4d462 pushed by stefan-hoeck
September 26, 2024 06:44 1m 15s main
main
September 26, 2024 06:44 1m 15s
Merge pull request #7 from stefan-hoeck/fix_prepend Build #45: Commit 1d4d462 pushed by stefan-hoeck
September 26, 2024 06:44 32s main
main
September 26, 2024 06:44 32s
[ fix ] prepend implementation Build #44: Pull request #7 opened by stefan-hoeck
September 26, 2024 06:31 31s fix_prepend
fix_prepend
September 26, 2024 06:31 31s
[ fix ] prepend implementation Lint #44: Pull request #7 opened by stefan-hoeck
September 26, 2024 06:31 1m 13s fix_prepend
fix_prepend
September 26, 2024 06:31 1m 13s
[ fix ] prepend implementation Build #43: Commit 24e1450 pushed by stefan-hoeck
September 26, 2024 06:29 35s fix_prepend
fix_prepend
September 26, 2024 06:29 35s
[ fix ] prepend implementation Lint #43: Commit 24e1450 pushed by stefan-hoeck
September 26, 2024 06:29 1m 13s fix_prepend
fix_prepend
September 26, 2024 06:29 1m 13s
Merge pull request #6 from stefan-hoeck/peek_oldest Build #42: Commit 365c071 pushed by stefan-hoeck
September 26, 2024 04:46 29s main
main
September 26, 2024 04:46 29s
Merge pull request #6 from stefan-hoeck/peek_oldest Lint #42: Commit 365c071 pushed by stefan-hoeck
September 26, 2024 04:46 1m 6s main
main
September 26, 2024 04:46 1m 6s
[ fix ] peekQueue efficiency Lint #41: Pull request #6 opened by stefan-hoeck
September 26, 2024 04:37 1m 19s peek_oldest
peek_oldest
September 26, 2024 04:37 1m 19s
[ fix ] peekQueue efficiency Build #41: Pull request #6 opened by stefan-hoeck
September 26, 2024 04:37 35s peek_oldest
peek_oldest
September 26, 2024 04:37 35s
[ fix ] peekQueue efficiency Build #40: Commit 59e42bf pushed by stefan-hoeck
September 26, 2024 04:37 35s peek_oldest
peek_oldest
September 26, 2024 04:37 35s
[ fix ] peekQueue efficiency Lint #40: Commit 59e42bf pushed by stefan-hoeck
September 26, 2024 04:37 1m 15s peek_oldest
peek_oldest
September 26, 2024 04:37 1m 15s
Merge pull request #5 from stefan-hoeck/fix_peek Build #39: Commit beb7f80 pushed by stefan-hoeck
September 26, 2024 04:34 33s main
main
September 26, 2024 04:34 33s
Merge pull request #5 from stefan-hoeck/fix_peek Lint #39: Commit beb7f80 pushed by stefan-hoeck
September 26, 2024 04:34 1m 16s main
main
September 26, 2024 04:34 1m 16s
[ fix ] bug in peekOldest Lint #38: Pull request #5 opened by stefan-hoeck
September 26, 2024 04:32 1m 10s fix_peek
fix_peek
September 26, 2024 04:32 1m 10s
[ fix ] bug in peekOldest Build #38: Pull request #5 opened by stefan-hoeck
September 26, 2024 04:32 30s fix_peek
fix_peek
September 26, 2024 04:32 30s
[ fix ] bug in peekOldest Build #37: Commit 84cf91e pushed by stefan-hoeck
September 26, 2024 04:31 34s fix_peek
fix_peek
September 26, 2024 04:31 34s
[ fix ] bug in peekOldest Lint #37: Commit 84cf91e pushed by stefan-hoeck
September 26, 2024 04:31 1m 9s fix_peek
fix_peek
September 26, 2024 04:31 1m 9s
Merge pull request #3 from Matthew-Mosior/map Build #36: Commit 3f303a1 pushed by stefan-hoeck
September 25, 2024 04:54 36s main
main
September 25, 2024 04:54 36s
Merge pull request #3 from Matthew-Mosior/map Lint #36: Commit 3f303a1 pushed by stefan-hoeck
September 25, 2024 04:54 1m 15s main
main
September 25, 2024 04:54 1m 15s
[ new ] Map and Set Lint #35: Pull request #3 synchronize by Matthew-Mosior
September 19, 2024 13:35 1m 28s Matthew-Mosior:map
Matthew-Mosior:map
September 19, 2024 13:35 1m 28s