Skip to content

Actions: idris-community/idris2-tutorial

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-lib.yml
208 workflow runs
208 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build Build #211: Scheduled
54s main
main
54s
Build Build #210: Scheduled
42s main
main
42s
Build Build #209: Scheduled
44s main
main
44s
Build Build #208: Scheduled
41s main
main
41s
Build Build #207: Scheduled
45s main
main
45s
Build Build #206: Scheduled
46s main
main
46s
Build Build #205: Scheduled
43s main
main
43s
Build Build #204: Scheduled
42s main
main
42s
Build Build #203: Scheduled
44s main
main
44s
Build Build #202: Scheduled
43s main
main
43s
Build Build #201: Scheduled
41s main
main
41s
Build Build #200: Scheduled
42s main
main
42s
Build Build #199: Scheduled
44s main
main
44s
Build Build #198: Scheduled
43s main
main
43s
Build Build #197: Scheduled
44s main
main
44s
Build Build #196: Scheduled
42s main
main
42s
Build Build #195: Scheduled
42s main
main
42s
Build Build #194: Scheduled
43s main
main
43s
Build Build #193: Scheduled
51s main
main
51s
Build Build #192: Scheduled
45s main
main
45s
Build Build #191: Scheduled
40s main
main
40s
Build Build #190: Scheduled
45s main
main
45s
Build Build #189: Scheduled
41s main
main
41s
Build Build #188: Scheduled
45s main
main
45s
Correct a few typos, and tweak word choice, in Ch. 3. Build #187: Pull request #10 opened by sp1ff
44s sp1ff:ch-3-tweaks
sp1ff:ch-3-tweaks
44s