Workflow runs · stefan-hoeck/idris2-tutorial · GitHub

Actions

All workflows
Workflows
- Build Build
- Lint Lint
- Notify if build fails Notify if build fails
Management
- Caches

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

890 workflow runs

890 workflow runs

Notify if build fails Notify if build fails #1595: completed by stefan-hoeck

2s

2s

Build Build #1943: Scheduled

35s main

main

35s

Notify if build fails Notify if build fails #1594: completed by stefan-hoeck

2s

2s

Build Build #1942: Scheduled

40s main

main

40s

Notify if build fails Notify if build fails #1593: completed by stefan-hoeck

1s

1s

Build Build #1941: Scheduled

43s main

main

43s

Notify if build fails Notify if build fails #1592: completed by stefan-hoeck

1s

1s

Build Build #1940: Scheduled

42s main

main

42s

Notify if build fails Notify if build fails #1591: completed by stefan-hoeck

1s

1s

Build Build #1939: Scheduled

37s main

main

37s

Notify if build fails Notify if build fails #1590: completed by stefan-hoeck

Skipped

Skipped

Build Build #1938: Scheduled

47s main

main

47s

Notify if build fails Notify if build fails #1589: completed by stefan-hoeck

1s

1s

Build Build #1937: Scheduled

42s main

main

42s

Notify if build fails Notify if build fails #1588: completed by stefan-hoeck

Skipped

Skipped

Build Build #1936: Scheduled

38s main

main

38s

Notify if build fails Notify if build fails #1587: completed by stefan-hoeck

1s

1s

Build Build #1935: Scheduled

40s main

main

40s

Notify if build fails Notify if build fails #1586: completed by stefan-hoeck

1s

1s

Build Build #1934: Scheduled

42s main

main

42s

Notify if build fails Notify if build fails #1585: completed by stefan-hoeck

1s

1s

Build Build #1933: Scheduled

40s main

main

40s

Notify if build fails Notify if build fails #1584: completed by stefan-hoeck

1s

1s

Build Build #1932: Scheduled

40s main

main

40s

Notify if build fails Notify if build fails #1583: completed by stefan-hoeck

1s

1s