Skip to content

Actions: idris-lang/Idris2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
202 workflow run results
202 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #300: by github-pages bot
July 27, 2023 07:48 53s
July 27, 2023 07:48 53s
Remove decideLTE (#3031) Lint the sources #5342: Commit 4fcb0fb pushed by gallais
July 27, 2023 07:04 16s main
main
July 27, 2023 07:04 16s
Remove decideLTE (#3031) Lint Code Base #5261: Commit 4fcb0fb pushed by gallais
July 27, 2023 07:04 2m 14s main
main
July 27, 2023 07:04 2m 14s
Remove decideLTE (#3031) Sphinx #3400: Commit 4fcb0fb pushed by gallais
July 27, 2023 07:04 37s main
main
July 27, 2023 07:04 37s
Remove decideLTE (#3031) Idris2 #3205: Commit 4fcb0fb pushed by gallais
July 27, 2023 07:04 1h 10m 34s main
main
July 27, 2023 07:04 1h 10m 34s
[ fix ] Don't include type of binder for let in addRefs Lint Code Base #5260: Pull request #3032 opened by dunhamsteve
July 27, 2023 03:34 2m 57s dunhamsteve:issue-3030
dunhamsteve:issue-3030
July 27, 2023 03:34 2m 57s
[ fix ] Don't include type of binder for let in addRefs Lint the sources #5341: Pull request #3032 opened by dunhamsteve
July 27, 2023 03:34 16s dunhamsteve:issue-3030
dunhamsteve:issue-3030
July 27, 2023 03:34 16s
[ fix ] Don't include type of binder for let in addRefs Sphinx #3399: Pull request #3032 opened by dunhamsteve
July 27, 2023 03:34 40s dunhamsteve:issue-3030
dunhamsteve:issue-3030
July 27, 2023 03:34 40s
[ fix ] Don't include type of binder for let in addRefs Idris2 #3204: Pull request #3032 opened by dunhamsteve
July 27, 2023 03:34 1h 11m 32s dunhamsteve:issue-3030
dunhamsteve:issue-3030
July 27, 2023 03:34 1h 11m 32s
Remove decideLTE Lint Code Base #5259: Pull request #3031 synchronize by Saransh-cpp
July 27, 2023 01:18 2m 52s Saransh-cpp:remove-decideLTE
Saransh-cpp:remove-decideLTE
July 27, 2023 01:18 2m 52s
Remove decideLTE Lint the sources #5340: Pull request #3031 synchronize by Saransh-cpp
July 27, 2023 01:18 20s Saransh-cpp:remove-decideLTE
Saransh-cpp:remove-decideLTE
July 27, 2023 01:18 20s
Remove decideLTE Sphinx #3398: Pull request #3031 synchronize by Saransh-cpp
July 27, 2023 01:18 47s Saransh-cpp:remove-decideLTE
Saransh-cpp:remove-decideLTE
July 27, 2023 01:18 47s
Remove decideLTE Idris2 #3203: Pull request #3031 synchronize by Saransh-cpp
July 27, 2023 01:18 1h 2m 37s Saransh-cpp:remove-decideLTE
Saransh-cpp:remove-decideLTE
July 27, 2023 01:18 1h 2m 37s
Remove decideLTE Idris2 #3202: Pull request #3031 opened by Saransh-cpp
July 26, 2023 21:43 10m 32s Saransh-cpp:remove-decideLTE
Saransh-cpp:remove-decideLTE
July 26, 2023 21:43 10m 32s
Remove decideLTE Sphinx #3397: Pull request #3031 opened by Saransh-cpp
July 26, 2023 21:43 43s Saransh-cpp:remove-decideLTE
Saransh-cpp:remove-decideLTE
July 26, 2023 21:43 43s
Remove decideLTE Lint the sources #5339: Pull request #3031 opened by Saransh-cpp
July 26, 2023 21:43 17s Saransh-cpp:remove-decideLTE
Saransh-cpp:remove-decideLTE
July 26, 2023 21:43 17s
Remove decideLTE Lint Code Base #5258: Pull request #3031 opened by Saransh-cpp
July 26, 2023 21:43 2m 36s Saransh-cpp:remove-decideLTE
Saransh-cpp:remove-decideLTE
July 26, 2023 21:43 2m 36s
Fixity access modifier Sphinx #3396: Pull request #3011 synchronize by andrevidela
July 26, 2023 11:36 33s andrevidela:fixity-access-modifier
andrevidela:fixity-access-modifier
July 26, 2023 11:36 33s
Fixity access modifier Idris2 #3201: Pull request #3011 synchronize by andrevidela
July 26, 2023 11:36 1h 0m 5s andrevidela:fixity-access-modifier
andrevidela:fixity-access-modifier
July 26, 2023 11:36 1h 0m 5s
Fixity access modifier Lint the sources #5338: Pull request #3011 synchronize by andrevidela
July 26, 2023 11:36 15s andrevidela:fixity-access-modifier
andrevidela:fixity-access-modifier
July 26, 2023 11:36 15s
Fixity access modifier Lint Code Base #5257: Pull request #3011 synchronize by andrevidela
July 26, 2023 11:36 2m 20s andrevidela:fixity-access-modifier
andrevidela:fixity-access-modifier
July 26, 2023 11:36 2m 20s
[ fix ] Fix pattern match issue with function application in Refl Sphinx #3395: Pull request #3027 synchronize by dunhamsteve
July 25, 2023 22:26 41s dunhamsteve:pattern-match-issue
dunhamsteve:pattern-match-issue
July 25, 2023 22:26 41s
[ fix ] Fix pattern match issue with function application in Refl Lint the sources #5337: Pull request #3027 synchronize by dunhamsteve
July 25, 2023 22:26 12s dunhamsteve:pattern-match-issue
dunhamsteve:pattern-match-issue
July 25, 2023 22:26 12s
[ fix ] Fix pattern match issue with function application in Refl Idris2 #3200: Pull request #3027 synchronize by dunhamsteve
July 25, 2023 22:26 1h 3m 1s dunhamsteve:pattern-match-issue
dunhamsteve:pattern-match-issue
July 25, 2023 22:26 1h 3m 1s
[ fix ] Fix pattern match issue with function application in Refl Lint Code Base #5256: Pull request #3027 synchronize by dunhamsteve
July 25, 2023 22:26 2m 23s dunhamsteve:pattern-match-issue
dunhamsteve:pattern-match-issue
July 25, 2023 22:26 2m 23s