Skip to content

Actions: CodingCellist/Idris2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
265 workflow runs
265 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ base ] "Fix" flonum const issue with racket Idris2 and External Libs #16: Commit 19531fd pushed by CodingCellist
November 2, 2023 17:14 1h 13m 46s ieee-fl-consts
ieee-fl-consts
November 2, 2023 17:14 1h 13m 46s
[ base ] "Fix" flonum const issue with racket Lint the sources #254: Commit 19531fd pushed by CodingCellist
November 2, 2023 17:14 15s ieee-fl-consts
ieee-fl-consts
November 2, 2023 17:14 15s
[ base ] "Fix" flonum const issue with racket Sphinx #201: Commit 19531fd pushed by CodingCellist
November 2, 2023 17:14 32s ieee-fl-consts
ieee-fl-consts
November 2, 2023 17:14 32s
[ doc ] Headings for envvars based on use-time Lint the sources #253: Commit db87cef pushed by CodingCellist
November 1, 2023 10:05 16s main
main
November 1, 2023 10:05 16s
[ doc ] Headings for envvars based on use-time Lint Code Base #253: Commit db87cef pushed by CodingCellist
November 1, 2023 10:05 3m 7s main
main
November 1, 2023 10:05 3m 7s
[ doc ] Headings for envvars based on use-time Sphinx #200: Commit db87cef pushed by CodingCellist
November 1, 2023 10:05 33s main
main
November 1, 2023 10:05 33s
Merge branch 'main' into ieee-fl-consts Idris2 and External Libs #15: Commit b15f965 pushed by CodingCellist
November 1, 2023 10:03 1h 16m 36s ieee-fl-consts
ieee-fl-consts
November 1, 2023 10:03 1h 16m 36s
Merge branch 'main' into ieee-fl-consts Lint Code Base #252: Commit b15f965 pushed by CodingCellist
November 1, 2023 10:03 2m 55s ieee-fl-consts
ieee-fl-consts
November 1, 2023 10:03 2m 55s
Merge branch 'main' into ieee-fl-consts Sphinx #199: Commit b15f965 pushed by CodingCellist
November 1, 2023 10:03 37s ieee-fl-consts
ieee-fl-consts
November 1, 2023 10:03 37s
Merge branch 'main' into ieee-fl-consts Lint the sources #252: Commit b15f965 pushed by CodingCellist
November 1, 2023 10:03 13s ieee-fl-consts
ieee-fl-consts
November 1, 2023 10:03 13s
[ doc ] Headings for envvars based on use-time Lint the sources #251: Commit db58572 pushed by CodingCellist
November 1, 2023 08:49 13s doc-envvars-use
doc-envvars-use
November 1, 2023 08:49 13s
[ doc ] Headings for envvars based on use-time Sphinx #198: Commit db58572 pushed by CodingCellist
November 1, 2023 08:49 36s doc-envvars-use
doc-envvars-use
November 1, 2023 08:49 36s
[ doc ] Headings for envvars based on use-time Lint Code Base #251: Commit db58572 pushed by CodingCellist
November 1, 2023 08:49 2m 37s doc-envvars-use
doc-envvars-use
November 1, 2023 08:49 2m 37s
Update ffi.rst Sphinx #197: Commit 7b0a1b4 pushed by CodingCellist
November 1, 2023 08:13 40s main
main
November 1, 2023 08:13 40s
Update ffi.rst Lint Code Base #250: Commit 7b0a1b4 pushed by CodingCellist
November 1, 2023 08:13 2m 14s main
main
November 1, 2023 08:13 2m 14s
Update ffi.rst Lint the sources #250: Commit 7b0a1b4 pushed by CodingCellist
November 1, 2023 08:13 19s main
main
November 1, 2023 08:13 19s
Update ffi.rst Idris2 and External Libs #14: Commit 7b0a1b4 pushed by CodingCellist
November 1, 2023 08:13 1h 16m 45s main
main
November 1, 2023 08:13 1h 16m 45s
[ ci ] Run a brew update during ci Sphinx #196: Commit 58ec72e pushed by CodingCellist
October 27, 2023 08:44 47s main
main
October 27, 2023 08:44 47s
[ ci ] Run a brew update during ci Lint the sources #249: Commit 58ec72e pushed by CodingCellist
October 27, 2023 08:44 16s main
main
October 27, 2023 08:44 16s
[ ci ] Run a brew update during ci Idris2 and External Libs #13: Commit 58ec72e pushed by CodingCellist
October 27, 2023 08:44 1h 23m 0s main
main
October 27, 2023 08:44 1h 23m 0s
[ ci ] Run a brew update during ci Lint Code Base #249: Commit 58ec72e pushed by CodingCellist
October 27, 2023 08:44 2m 57s main
main
October 27, 2023 08:44 2m 57s
[ fix ] Can we not document %foreign things? Lint Code Base #248: Commit 4047c5c pushed by CodingCellist
October 23, 2023 12:20 2m 53s ieee-fl-consts
ieee-fl-consts
October 23, 2023 12:20 2m 53s
[ fix ] Can we not document %foreign things? Idris2 and External Libs #12: Commit 4047c5c pushed by CodingCellist
October 23, 2023 12:20 1h 23m 43s ieee-fl-consts
ieee-fl-consts
October 23, 2023 12:20 1h 23m 43s
[ fix ] Can we not document %foreign things? Lint the sources #248: Commit 4047c5c pushed by CodingCellist
October 23, 2023 12:20 17s ieee-fl-consts
ieee-fl-consts
October 23, 2023 12:20 17s
[ fix ] Can we not document %foreign things? Sphinx #195: Commit 4047c5c pushed by CodingCellist
October 23, 2023 12:20 44s ieee-fl-consts
ieee-fl-consts
October 23, 2023 12:20 44s