Skip to content

Actions: stefan-hoeck/idris2-pack

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build Build #2026: Scheduled
February 4, 2025 21:16 33m 45s main
main
February 4, 2025 21:16 33m 45s
Build Build #2025: Scheduled
February 3, 2025 21:16 31m 15s main
main
February 3, 2025 21:16 31m 15s
Build Build #2024: Scheduled
February 2, 2025 21:14 31m 39s main
main
February 2, 2025 21:14 31m 39s
Build Build #2023: Scheduled
February 1, 2025 21:15 33m 54s main
main
February 1, 2025 21:15 33m 54s
Build Build #2022: Scheduled
January 31, 2025 21:15 32m 39s main
main
January 31, 2025 21:15 32m 39s
Build Build #2021: Scheduled
January 30, 2025 21:16 32m 46s main
main
January 30, 2025 21:16 32m 46s
Build Build #2020: Scheduled
January 29, 2025 21:15 32m 20s main
main
January 29, 2025 21:15 32m 20s
Build Build #2019: Scheduled
January 28, 2025 21:15 35m 43s main
main
January 28, 2025 21:15 35m 43s
Build Build #2018: Scheduled
January 27, 2025 21:16 31m 58s main
main
January 27, 2025 21:16 31m 58s
Build Build #2017: Scheduled
January 26, 2025 21:14 33m 56s main
main
January 26, 2025 21:14 33m 56s
Build Build #2016: Scheduled
January 25, 2025 21:14 31m 6s main
main
January 25, 2025 21:14 31m 6s
Build Build #2015: Scheduled
January 24, 2025 21:15 31m 25s main
main
January 24, 2025 21:15 31m 25s
Build Build #2014: Scheduled
January 23, 2025 21:15 27m 6s main
main
January 23, 2025 21:15 27m 6s
Build Build #2013: Scheduled
January 22, 2025 21:13 33m 44s main
main
January 22, 2025 21:13 33m 44s
Build Build #2012: Scheduled
January 21, 2025 21:16 31m 54s main
main
January 21, 2025 21:16 31m 54s
Build Build #2011: Scheduled
January 20, 2025 21:15 33m 6s main
main
January 20, 2025 21:15 33m 6s
Build Build #2010: Scheduled
January 19, 2025 21:14 32m 0s main
main
January 19, 2025 21:14 32m 0s
Introduce package "notices" (#320) Build #2009: Commit 12f5a13 pushed by stefan-hoeck
January 19, 2025 04:43 31m 0s main
main
January 19, 2025 04:43 31m 0s
Build Build #2008: Scheduled
January 18, 2025 21:15 31m 9s main
main
January 18, 2025 21:15 31m 9s
Introduce package "notices" Build #2007: Pull request #320 opened by mattpolzin
January 18, 2025 17:49 33m 34s mattpolzin:introduce-notice-config
mattpolzin:introduce-notice-config
January 18, 2025 17:49 33m 34s
Build Build #2006: Scheduled
January 17, 2025 21:15 32m 39s main
main
January 17, 2025 21:15 32m 39s
Build Build #2005: Scheduled
January 16, 2025 21:15 33m 33s main
main
January 16, 2025 21:15 33m 33s
Build Build #2004: Scheduled
January 15, 2025 21:15 31m 8s main
main
January 15, 2025 21:15 31m 8s
Build Build #2003: Scheduled
January 14, 2025 21:16 32m 41s main
main
January 14, 2025 21:16 32m 41s
[ fix ] ignore non-.idr files when generating katla docs (#319) Build #2002: Commit dd32806 pushed by stefan-hoeck
January 14, 2025 06:47 33m 17s main
main
January 14, 2025 06:47 33m 17s