Skip to content

Actions: GulinSS/Idris2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,174 workflow runs
1,174 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ fix ] Disable the requirement for type parameter to be a family Lint Code Base #295: Commit a4106ac pushed by GulinSS
4s fix-deriving
fix-deriving
4s
[ fix ] Disable the requirement for type parameter to be a family Sphinx #295: Commit a4106ac pushed by GulinSS
4s fix-deriving
fix-deriving
4s
[ fix ] Disable the requirement for type parameter to be a family Idris2 and External Libs #290: Commit a4106ac pushed by GulinSS
5s fix-deriving
fix-deriving
5s
[ fix ] Disable the requirement for type parameter to be a family Lint the sources #295: Commit a4106ac pushed by GulinSS
4s fix-deriving
fix-deriving
4s
[ base ] Add leftMost function to Data.SnocList Idris2 and External Libs #289: Commit aaafa6d pushed by GulinSS
5s fix-deriving
fix-deriving
5s
[ base ] Add leftMost function to Data.SnocList Sphinx #294: Commit aaafa6d pushed by GulinSS
5s fix-deriving
fix-deriving
5s
[ base ] Add leftMost function to Data.SnocList Lint Code Base #294: Commit aaafa6d pushed by GulinSS
5s fix-deriving
fix-deriving
5s
[ base ] Add leftMost function to Data.SnocList Lint the sources #294: Commit aaafa6d pushed by GulinSS
5s fix-deriving
fix-deriving
5s
LOG: CSE logging + aligning Lint the sources #293: Commit 5480608 pushed by GulinSS
5s log_huge
log_huge
5s
LOG: CSE logging + aligning Lint Code Base #293: Commit 5480608 pushed by GulinSS
5s log_huge
log_huge
5s
LOG: CSE logging + aligning Sphinx #293: Commit 5480608 pushed by GulinSS
5s log_huge
log_huge
5s
LOG: CSE logging + aligning Idris2 and External Libs #288: Commit 5480608 pushed by GulinSS
5s log_huge
log_huge
5s
[ refactor ] ScopedSnocList: Review-flavoured squashed refactor Lint the sources #292: Commit 27459a4 pushed by GulinSS
4s scoped-snoc-list-swap
scoped-snoc-list-swap
4s
[ refactor ] ScopedSnocList: Review-flavoured squashed refactor Lint Code Base #292: Commit 27459a4 pushed by GulinSS
4s scoped-snoc-list-swap
scoped-snoc-list-swap
4s
[ refactor ] ScopedSnocList: Review-flavoured squashed refactor Sphinx #292: Commit 27459a4 pushed by GulinSS
4s scoped-snoc-list-swap
scoped-snoc-list-swap
4s
[ refactor ] ScopedSnocList: Review-flavoured squashed refactor Idris2 and External Libs #287: Commit 27459a4 pushed by GulinSS
5s scoped-snoc-list-swap
scoped-snoc-list-swap
5s
[ fix ] Update warning006/expected Lint the sources #291: Commit 6837b47 pushed by GulinSS
4s main
main
4s
[ fix ] Update warning006/expected Idris2 and External Libs #286: Commit 6837b47 pushed by GulinSS
5s main
main
5s
[ fix ] Update warning006/expected Sphinx #291: Commit 6837b47 pushed by GulinSS
5s main
main
5s
[ fix ] Update warning006/expected Lint Code Base #291: Commit 6837b47 pushed by GulinSS
5s main
main
5s
Merge branch 'idris-lang:main' into scoped-snoc-list-swap Lint the sources #290: Commit e609e01 pushed by GulinSS
5s scoped-snoc-list-swap
scoped-snoc-list-swap
5s
Merge branch 'idris-lang:main' into scoped-snoc-list-swap Sphinx #290: Commit e609e01 pushed by GulinSS
4s scoped-snoc-list-swap
scoped-snoc-list-swap
4s
Merge branch 'idris-lang:main' into scoped-snoc-list-swap Idris2 and External Libs #285: Commit e609e01 pushed by GulinSS
6s scoped-snoc-list-swap
scoped-snoc-list-swap
6s
Merge branch 'idris-lang:main' into scoped-snoc-list-swap Lint Code Base #290: Commit e609e01 pushed by GulinSS
4s scoped-snoc-list-swap
scoped-snoc-list-swap
4s
[ base ] Add leftMost function to Data.SnocList Lint Code Base #289: Commit 5583d2d pushed by GulinSS
5s fix-deriving
fix-deriving
5s