Skip to content

Actions: stefan-hoeck/idris2-pack

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,633 workflow runs
1,633 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ fix ] ignore non-.idr files when generating katla docs Build #2001: Pull request #319 opened by stefan-hoeck
January 14, 2025 06:08 32m 11s katla_md
katla_md
January 14, 2025 06:08 32m 11s
[ fix ] ignore non-.idr files when generating katla docs Lint #1053: Pull request #319 opened by stefan-hoeck
January 14, 2025 06:08 1m 27s katla_md
katla_md
January 14, 2025 06:08 1m 27s
[ fix ] ignore non-.idr files when generating katla docs Docker Build #1292: Pull request #319 opened by stefan-hoeck
January 14, 2025 06:08 26m 35s katla_md
katla_md
January 14, 2025 06:08 26m 35s
[ fix ] ignore non-.idr files when generating katla docs Lint #1052: Commit c4c44e6 pushed by stefan-hoeck
January 14, 2025 06:06 1m 31s katla_md
katla_md
January 14, 2025 06:06 1m 31s
[ fix ] ignore non-.idr files when generating katla docs Build #2000: Commit c4c44e6 pushed by stefan-hoeck
January 14, 2025 06:06 32m 33s katla_md
katla_md
January 14, 2025 06:06 32m 33s
Docker Build Docker Build #1291: Scheduled
January 13, 2025 23:13 22m 22s main
main
January 13, 2025 23:13 22m 22s
Notify if build fails Notify if build fails #1209: completed by stefan-hoeck
January 13, 2025 21:48 2s
January 13, 2025 21:48 2s
Build Build #1999: Scheduled
January 13, 2025 21:15 33m 5s main
main
January 13, 2025 21:15 33m 5s
Docker Build Docker Build #1290: Scheduled
January 12, 2025 23:13 28m 51s main
main
January 12, 2025 23:13 28m 51s
Notify if build fails Notify if build fails #1208: completed by stefan-hoeck
January 12, 2025 21:47 2s
January 12, 2025 21:47 2s
Build Build #1998: Scheduled
January 12, 2025 21:15 31m 40s main
main
January 12, 2025 21:15 31m 40s
Docker Build Docker Build #1289: Scheduled
January 11, 2025 23:14 28m 50s main
main
January 11, 2025 23:14 28m 50s
Notify if build fails Notify if build fails #1207: completed by stefan-hoeck
January 11, 2025 21:47 3s
January 11, 2025 21:47 3s
Build Build #1997: Scheduled
January 11, 2025 21:14 32m 34s main
main
January 11, 2025 21:14 32m 34s
Notify if build fails Notify if build fails #1206: completed by stefan-hoeck
January 11, 2025 07:07 3s
January 11, 2025 07:07 3s
Build Docker images for Ubuntu 22.04 and 24.04 (#318) Lint #1051: Commit 494967f pushed by stefan-hoeck
January 11, 2025 06:34 1m 33s main
main
January 11, 2025 06:34 1m 33s
Build Docker images for Ubuntu 22.04 and 24.04 (#318) Build #1996: Commit 494967f pushed by stefan-hoeck
January 11, 2025 06:34 32m 37s main
main
January 11, 2025 06:34 32m 37s
Docker Build Docker Build #1288: Scheduled
January 10, 2025 23:14 16m 21s main
main
January 10, 2025 23:14 16m 21s
Notify if build fails Notify if build fails #1205: completed by stefan-hoeck
January 10, 2025 21:49 3s
January 10, 2025 21:49 3s
Build Build #1995: Scheduled
January 10, 2025 21:16 32m 53s main
main
January 10, 2025 21:16 32m 53s
Build Docker images for Ubuntu 22.04 and 24.04 Docker Build #1287: Pull request #318 synchronize by joelberkeley
January 10, 2025 11:35 28m 28s joelberkeley:docker-ubuntu-version
joelberkeley:docker-ubuntu-version
January 10, 2025 11:35 28m 28s
Build Docker images for Ubuntu 22.04 and 24.04 Lint #1050: Pull request #318 synchronize by joelberkeley
January 10, 2025 11:35 1m 30s joelberkeley:docker-ubuntu-version
joelberkeley:docker-ubuntu-version
January 10, 2025 11:35 1m 30s
Build Docker images for Ubuntu 22.04 and 24.04 Build #1994: Pull request #318 synchronize by joelberkeley
January 10, 2025 11:35 34m 35s joelberkeley:docker-ubuntu-version
joelberkeley:docker-ubuntu-version
January 10, 2025 11:35 34m 35s
Build Docker images for Ubuntu 22.04 and 24.04 Lint #1049: Pull request #318 synchronize by joelberkeley
January 10, 2025 11:34 1m 33s joelberkeley:docker-ubuntu-version
joelberkeley:docker-ubuntu-version
January 10, 2025 11:34 1m 33s
Build Docker images for Ubuntu 22.04 and 24.04 Build #1993: Pull request #318 synchronize by joelberkeley
January 10, 2025 11:34 32m 55s joelberkeley:docker-ubuntu-version
joelberkeley:docker-ubuntu-version
January 10, 2025 11:34 32m 55s