Skip to content

Actions: stefan-hoeck/idris2-tutorial

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-lib.yml
This scheduled workflow is disabled because there hasn't been activity in this repository for at least 60 days. Enable this workflow to resume scheduled runs.
356 workflow runs
356 workflow runs

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
Build Build #1971: Scheduled
43s main
main
43s
Build Build #1970: Scheduled
46s main
main
46s
Build Build #1969: Scheduled
39s main
main
39s
Build Build #1968: Scheduled
49s main
main
49s
Build Build #1967: Scheduled
45s main
main
45s
Build Build #1966: Scheduled
43s main
main
43s
Build Build #1965: Scheduled
1m 2s main
main
1m 2s
Build Build #1964: Scheduled
41s main
main
41s
Build Build #1963: Scheduled
39s main
main
39s
Build Build #1962: Scheduled
41s main
main
41s
Build Build #1961: Scheduled
47s main
main
47s
Build Build #1960: Scheduled
46s main
main
46s
Build Build #1959: Scheduled
39s main
main
39s
Build Build #1958: Scheduled
45s main
main
45s
Build Build #1957: Scheduled
45s main
main
45s
Build Build #1956: Scheduled
41s main
main
41s
Build Build #1955: Scheduled
40s main
main
40s
Build Build #1954: Scheduled
41s main
main
41s
Build Build #1953: Scheduled
58s main
main
58s
Build Build #1952: Scheduled
45s main
main
45s
Build Build #1951: Scheduled
43s main
main
43s
Build Build #1950: Scheduled
38s main
main
38s
Build Build #1949: Scheduled
40s main
main
40s
Build Build #1948: Scheduled
39s main
main
39s