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

[ fix #72 ] remove the broken modules (#3319) Idris2 and External Libs #37: Commit 3f985bc pushed by CodingCellist
June 17, 2024 13:07 41m 43s main
main
June 17, 2024 13:07 41m 43s
[ fix #72 ] remove the broken modules (#3319) Sphinx #224: Commit 3f985bc pushed by CodingCellist
June 17, 2024 13:07 30s main
main
June 17, 2024 13:07 30s
[ fix #72 ] remove the broken modules (#3319) Lint Code Base #277: Commit 3f985bc pushed by CodingCellist
June 17, 2024 13:07 1m 51s main
main
June 17, 2024 13:07 1m 51s
[ fix #72 ] remove the broken modules (#3319) Lint the sources #277: Commit 3f985bc pushed by CodingCellist
June 17, 2024 13:07 14s main
main
June 17, 2024 13:07 14s
Update typedd.rst Bootstrap #16: Commit 866354f pushed by CodingCellist
June 17, 2024 10:43 7m 31s main
main
June 17, 2024 10:43 7m 31s
Update typedd.rst Idris2 and External Libs #36: Commit 866354f pushed by CodingCellist
June 17, 2024 10:43 47m 51s main
main
June 17, 2024 10:43 47m 51s
Update typedd.rst Sphinx #223: Commit 866354f pushed by CodingCellist
June 17, 2024 10:43 47s main
main
June 17, 2024 10:43 47s
Update typedd.rst Lint Code Base #276: Commit 866354f pushed by CodingCellist
June 17, 2024 10:43 1m 50s main
main
June 17, 2024 10:43 1m 50s
Update typedd.rst Lint the sources #276: Commit 866354f pushed by CodingCellist
June 17, 2024 10:43 14s main
main
June 17, 2024 10:43 14s
[ test ] Add issue#1988 to the test suite Idris2 and External Libs #35: Commit c7a4fbe pushed by CodingCellist
March 18, 2024 16:40 1h 7m 50s test-issue1988-fixed
test-issue1988-fixed
March 18, 2024 16:40 1h 7m 50s
[ test ] Add issue#1988 to the test suite Sphinx #222: Commit c7a4fbe pushed by CodingCellist
March 18, 2024 16:40 32s test-issue1988-fixed
test-issue1988-fixed
March 18, 2024 16:40 32s
[ test ] Add issue#1988 to the test suite Bootstrap #15: Commit c7a4fbe pushed by CodingCellist
March 18, 2024 16:40 7m 17s test-issue1988-fixed
test-issue1988-fixed
March 18, 2024 16:40 7m 17s
[ test ] Add issue#1988 to the test suite Lint the sources #275: Commit c7a4fbe pushed by CodingCellist
March 18, 2024 16:40 15s test-issue1988-fixed
test-issue1988-fixed
March 18, 2024 16:40 15s
[ test ] Add issue#1988 to the test suite Lint Code Base #275: Commit c7a4fbe pushed by CodingCellist
March 18, 2024 16:40 2m 7s test-issue1988-fixed
test-issue1988-fixed
March 18, 2024 16:40 2m 7s
Merge pull request #3187 from nukisman/patch-5 Lint Code Base #274: Commit 3c8fc8b pushed by CodingCellist
January 5, 2024 13:56 1m 51s main
main
January 5, 2024 13:56 1m 51s
Merge pull request #3187 from nukisman/patch-5 Idris2 and External Libs #34: Commit 3c8fc8b pushed by CodingCellist
January 5, 2024 13:56 58m 51s main
main
January 5, 2024 13:56 58m 51s
Merge pull request #3187 from nukisman/patch-5 Lint the sources #274: Commit 3c8fc8b pushed by CodingCellist
January 5, 2024 13:56 12s main
main
January 5, 2024 13:56 12s
Merge pull request #3187 from nukisman/patch-5 Sphinx #221: Commit 3c8fc8b pushed by CodingCellist
January 5, 2024 13:56 26s main
main
January 5, 2024 13:56 26s
[ doc:let ] Attempt to clarify w vs w/o type ann Lint the sources #273: Commit 4313e89 pushed by CodingCellist
January 5, 2024 12:51 15s let-doc-refactor
let-doc-refactor
January 5, 2024 12:51 15s
[ doc:let ] Attempt to clarify w vs w/o type ann Lint Code Base #273: Commit 4313e89 pushed by CodingCellist
January 5, 2024 12:51 1m 54s let-doc-refactor
let-doc-refactor
January 5, 2024 12:51 1m 54s
[ doc:let ] Attempt to clarify w vs w/o type ann Sphinx #220: Commit 4313e89 pushed by CodingCellist
January 5, 2024 12:51 29s let-doc-refactor
let-doc-refactor
January 5, 2024 12:51 29s
[ doc:let ] Attempt to clarify w vs w/o type ann Idris2 and External Libs #33: Commit 4313e89 pushed by CodingCellist
January 5, 2024 12:51 51m 41s let-doc-refactor
let-doc-refactor
January 5, 2024 12:51 51m 41s
[ doc ] Apply suggestions from gallais Lint Code Base #272: Commit 67f5210 pushed by CodingCellist
January 5, 2024 12:40 1m 51s let-doc-refactor
let-doc-refactor
January 5, 2024 12:40 1m 51s
[ doc ] Apply suggestions from gallais Idris2 and External Libs #32: Commit 67f5210 pushed by CodingCellist
January 5, 2024 12:40 11m 10s let-doc-refactor
let-doc-refactor
January 5, 2024 12:40 11m 10s
[ doc ] Apply suggestions from gallais Lint the sources #272: Commit 67f5210 pushed by CodingCellist
January 5, 2024 12:40 12s let-doc-refactor
let-doc-refactor
January 5, 2024 12:40 12s