Skip to content

Actions: stefan-hoeck/idris2-pack

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ bump ] Update deprecated CI actions and use newer linter version Lint #958: Pull request #275 synchronize by buzden
February 6, 2024 18:45 1m 42s buzden:ci-and-lint-update
buzden:ci-and-lint-update
February 6, 2024 18:45 1m 42s
[ bump ] Update deprecated CI actions and use newer linter version Build #1564: Pull request #275 synchronize by buzden
February 6, 2024 18:45 29m 25s buzden:ci-and-lint-update
buzden:ci-and-lint-update
February 6, 2024 18:45 29m 25s
[ bump ] Update deprecated CI actions and use newer linter version Docker Build #893: Pull request #275 synchronize by buzden
February 6, 2024 18:45 13m 22s buzden:ci-and-lint-update
buzden:ci-and-lint-update
February 6, 2024 18:45 13m 22s
[ bump ] Update deprecated CI actions and use newer linter version Docker Build #892: Pull request #275 opened by buzden
February 6, 2024 18:37 13m 27s buzden:ci-and-lint-update
buzden:ci-and-lint-update
February 6, 2024 18:37 13m 27s
[ bump ] Update deprecated CI actions and use newer linter version Build #1563: Pull request #275 opened by buzden
February 6, 2024 18:37 49m 19s buzden:ci-and-lint-update
buzden:ci-and-lint-update
February 6, 2024 18:37 49m 19s
[ bump ] Update deprecated CI actions and use newer linter version Lint #957: Pull request #275 opened by buzden
February 6, 2024 18:37 1m 40s buzden:ci-and-lint-update
buzden:ci-and-lint-update
February 6, 2024 18:37 1m 40s
Docker Build Docker Build #891: Scheduled
February 5, 2024 23:12 13m 19s main
main
February 5, 2024 23:12 13m 19s
Notify if build fails Notify if build fails #847: completed by stefan-hoeck
February 5, 2024 21:39 11s
February 5, 2024 21:39 11s
Build Build #1562: Scheduled
February 5, 2024 21:12 27m 39s main
main
February 5, 2024 21:12 27m 39s
Docker Build Docker Build #890: Scheduled
February 4, 2024 23:11 14m 12s main
main
February 4, 2024 23:11 14m 12s
Notify if build fails Notify if build fails #846: completed by stefan-hoeck
February 4, 2024 21:38 12s
February 4, 2024 21:38 12s
Build Build #1561: Scheduled
February 4, 2024 21:10 27m 52s main
main
February 4, 2024 21:10 27m 52s
Docker Build Docker Build #889: Scheduled
February 3, 2024 23:11 14m 25s main
main
February 3, 2024 23:11 14m 25s
Notify if build fails Notify if build fails #845: completed by stefan-hoeck
February 3, 2024 21:39 11s
February 3, 2024 21:39 11s
Build Build #1560: Scheduled
February 3, 2024 21:10 28m 53s main
main
February 3, 2024 21:10 28m 53s
Docker Build Docker Build #888: Scheduled
February 2, 2024 23:11 14m 1s main
main
February 2, 2024 23:11 14m 1s
Notify if build fails Notify if build fails #844: completed by stefan-hoeck
February 2, 2024 21:39 12s
February 2, 2024 21:39 12s
Build Build #1559: Scheduled
February 2, 2024 21:11 27m 51s main
main
February 2, 2024 21:11 27m 51s
Docker Build Docker Build #887: Scheduled
February 1, 2024 23:11 13m 30s main
main
February 1, 2024 23:11 13m 30s
Notify if build fails Notify if build fails #843: completed by stefan-hoeck
February 1, 2024 21:42 11s
February 1, 2024 21:42 11s
Build Build #1558: Scheduled
February 1, 2024 21:11 30m 16s main
main
February 1, 2024 21:11 30m 16s
Docker Build Docker Build #886: Scheduled
January 31, 2024 23:12 14m 7s main
main
January 31, 2024 23:12 14m 7s
Notify if build fails Notify if build fails #842: completed by stefan-hoeck
January 31, 2024 21:41 10s
January 31, 2024 21:41 10s
Build Build #1557: Scheduled
January 31, 2024 21:13 28m 2s main
main
January 31, 2024 21:13 28m 2s
Docker Build Docker Build #885: Scheduled
January 30, 2024 23:12 14m 4s main
main
January 30, 2024 23:12 14m 4s
ProTip! You can narrow down the results and go further in time using created:<2024-01-30 or the other filters available.