Skip to content

Actions: stefan-hoeck/idris2-tutorial

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
858 workflow runs
858 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Build Build #1972: Scheduled
46s main
main
46s
Notify if build fails Notify if build fails #1623: completed by stefan-hoeck
1s
1s
Build Build #1971: Scheduled
43s main
main
43s
Notify if build fails Notify if build fails #1622: completed by stefan-hoeck
1s
1s
Build Build #1970: Scheduled
46s main
main
46s
Notify if build fails Notify if build fails #1621: completed by stefan-hoeck
1s
1s
Build Build #1969: Scheduled
39s main
main
39s
Notify if build fails Notify if build fails #1620: completed by stefan-hoeck
1s
1s
Build Build #1968: Scheduled
49s main
main
49s
Notify if build fails Notify if build fails #1619: completed by stefan-hoeck
1s
1s
Build Build #1967: Scheduled
45s main
main
45s
Notify if build fails Notify if build fails #1618: completed by stefan-hoeck
1s
1s
Build Build #1966: Scheduled
43s main
main
43s
Notify if build fails Notify if build fails #1617: completed by stefan-hoeck
2s
2s
Build Build #1965: Scheduled
1m 2s main
main
1m 2s
Notify if build fails Notify if build fails #1616: completed by stefan-hoeck
1s
1s
Build Build #1964: Scheduled
41s main
main
41s
Notify if build fails Notify if build fails #1615: completed by stefan-hoeck
1s
1s
Build Build #1963: Scheduled
39s main
main
39s
Notify if build fails Notify if build fails #1614: completed by stefan-hoeck
1s
1s
Build Build #1962: Scheduled
41s main
main
41s
Notify if build fails Notify if build fails #1613: completed by stefan-hoeck
1s
1s
Build Build #1961: Scheduled
47s main
main
47s
Notify if build fails Notify if build fails #1612: completed by stefan-hoeck
1s
1s
Build Build #1960: Scheduled
46s main
main
46s