Skip to content

Actions: stefan-hoeck/idris2-tutorial

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
960 workflow runs
960 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Notify if build fails Notify if build fails #1123: completed by stefan-hoeck
January 11, 2025 02:16 2s
January 11, 2025 02:16 2s
Build Build #1441: Scheduled
January 11, 2025 02:15 41s main
main
January 11, 2025 02:15 41s
Notify if build fails Notify if build fails #1122: completed by stefan-hoeck
January 10, 2025 02:19 2s
January 10, 2025 02:19 2s
Build Build #1440: Scheduled
January 10, 2025 02:18 46s main
main
January 10, 2025 02:18 46s
Notify if build fails Notify if build fails #1121: completed by stefan-hoeck
January 9, 2025 02:48 2s
January 9, 2025 02:48 2s
Build Build #1439: Scheduled
January 9, 2025 02:47 42s main
main
January 9, 2025 02:47 42s
Notify if build fails Notify if build fails #1120: completed by stefan-hoeck
January 8, 2025 04:52 2s
January 8, 2025 04:52 2s
Fix a few minor typos (#70) Lint #362: Commit b3264e0 pushed by stefan-hoeck
January 8, 2025 04:51 1m 13s main
main
January 8, 2025 04:51 1m 13s
Fix a few minor typos (#70) Build #1438: Commit b3264e0 pushed by stefan-hoeck
January 8, 2025 04:51 40s main
main
January 8, 2025 04:51 40s
Notify if build fails Notify if build fails #1119: completed by stefan-hoeck
January 8, 2025 02:16 2s
January 8, 2025 02:16 2s
Build Build #1437: Scheduled
January 8, 2025 02:15 42s main
main
January 8, 2025 02:15 42s
Notify if build fails Notify if build fails #1118: completed by stefan-hoeck
January 7, 2025 02:17 2s
January 7, 2025 02:17 2s
Build Build #1436: Scheduled
January 7, 2025 02:16 44s main
main
January 7, 2025 02:16 44s
Notify if build fails Notify if build fails #1117: completed by stefan-hoeck
January 6, 2025 02:20 2s
January 6, 2025 02:20 2s
Build Build #1435: Scheduled
January 6, 2025 02:19 42s main
main
January 6, 2025 02:19 42s
Notify if build fails Notify if build fails #1116: completed by stefan-hoeck
January 5, 2025 02:22 2s
January 5, 2025 02:22 2s
Build Build #1434: Scheduled
January 5, 2025 02:21 46s main
main
January 5, 2025 02:21 46s
Notify if build fails Notify if build fails #1115: completed by stefan-hoeck
January 4, 2025 02:13 1s
January 4, 2025 02:13 1s
Build Build #1433: Scheduled
January 4, 2025 02:12 45s main
main
January 4, 2025 02:12 45s
Notify if build fails Notify if build fails #1114: completed by stefan-hoeck
January 3, 2025 02:16 3s
January 3, 2025 02:16 3s
Build Build #1432: Scheduled
January 3, 2025 02:15 41s main
main
January 3, 2025 02:15 41s
Fix a few minor typos in Intro.md Lint #361: Pull request #70 opened by sp1ff
January 2, 2025 19:48 1m 23s sp1ff:fix-first-typo
sp1ff:fix-first-typo
January 2, 2025 19:48 1m 23s
Fix a few minor typos in Intro.md Build #1431: Pull request #70 opened by sp1ff
January 2, 2025 19:48 44s sp1ff:fix-first-typo
sp1ff:fix-first-typo
January 2, 2025 19:48 44s
Notify if build fails Notify if build fails #1113: completed by stefan-hoeck
January 2, 2025 02:15 2s
January 2, 2025 02:15 2s
Build Build #1430: Scheduled
January 2, 2025 02:14 42s main
main
January 2, 2025 02:14 42s