Skip to content

Actions: idris-lang/Idris2

Actions

Idris2 and External Libs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-idris2-and-libs.yml
662 workflow run results
662 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ contrib ] Support options parsing errors in getOpt Idris2 and External Libs #137: Pull request #3125 opened by buzden
October 27, 2023 17:29 1h 9m 0s buzden:nice-getopt-with-errors
buzden:nice-getopt-with-errors
October 27, 2023 17:29 1h 9m 0s
[ ci ] bash options to make katla.sh fail hard Idris2 and External Libs #136: Pull request #3124 synchronize by gallais
October 27, 2023 15:34 1h 19m 51s gallais:ci-katla
gallais:ci-katla
October 27, 2023 15:34 1h 19m 51s
[ ci ] bash options to make katla.sh fail hard Idris2 and External Libs #135: Pull request #3124 synchronize by gallais
October 27, 2023 14:48 46m 41s gallais:ci-katla
gallais:ci-katla
October 27, 2023 14:48 46m 41s
[ ci ] bash options to make katla.sh fail hard Idris2 and External Libs #134: Pull request #3124 synchronize by gallais
October 27, 2023 14:08 40m 1s gallais:ci-katla
gallais:ci-katla
October 27, 2023 14:08 40m 1s
[ ci ] bash options to make katla.sh fail hard Idris2 and External Libs #133: Pull request #3124 synchronize by gallais
October 27, 2023 12:45 21m 40s gallais:ci-katla
gallais:ci-katla
October 27, 2023 12:45 21m 40s
[ linear ] introduce mapFst, mapSnd (#3121) Idris2 and External Libs #132: Commit e2d2710 pushed by gallais
October 27, 2023 12:22 1h 20m 25s main
main
October 27, 2023 12:22 1h 20m 25s
[ ci ] bash options to make katla.sh fail hard Idris2 and External Libs #131: Pull request #3124 synchronize by gallais
October 27, 2023 12:21 11m 57s gallais:ci-katla
gallais:ci-katla
October 27, 2023 12:21 11m 57s
[ cleanup ] remove duplicate copy of header parsing (#3122) Idris2 and External Libs #130: Commit 73507a8 pushed by gallais
October 27, 2023 12:08 14m 15s main
main
October 27, 2023 12:08 14m 15s
[ ci ] bash options to make katla.sh fail hard Idris2 and External Libs #129: Pull request #3124 synchronize by gallais
October 27, 2023 10:40 11m 52s gallais:ci-katla
gallais:ci-katla
October 27, 2023 10:40 11m 52s
[ performance ] Implement weak memoisation of lazy values for chez and racket Idris2 and External Libs #128: Pull request #2791 synchronize by buzden
October 27, 2023 10:00 1h 19m 40s buzden:memo-lazy
buzden:memo-lazy
October 27, 2023 10:00 1h 19m 40s
[ cleanup ] remove duplicate copy of header parsing Idris2 and External Libs #127: Pull request #3122 synchronize by gallais
October 27, 2023 09:44 1h 24m 16s dunhamsteve:parser-progHdr-refactor
dunhamsteve:parser-progHdr-refactor
October 27, 2023 09:44 1h 24m 16s
[ ci ] bash options to make katla.sh fail hard Idris2 and External Libs #126: Pull request #3124 synchronize by gallais
October 27, 2023 09:42 59m 16s gallais:ci-katla
gallais:ci-katla
October 27, 2023 09:42 59m 16s
[ ci ] bash options to make katla.sh fail hard Idris2 and External Libs #125: Pull request #3124 opened by gallais
October 27, 2023 09:23 19m 22s gallais:ci-katla
gallais:ci-katla
October 27, 2023 09:23 19m 22s
[ ci ] Run a brew update during ci Idris2 and External Libs #124: Commit 58ec72e pushed by gallais
October 27, 2023 06:55 1h 18m 36s main
main
October 27, 2023 06:55 1h 18m 36s
[ ci ] Run a brew update during ci Idris2 and External Libs #123: Pull request #3123 opened by dunhamsteve
October 27, 2023 05:41 1h 13m 4s dunhamsteve:macos-build
dunhamsteve:macos-build
October 27, 2023 05:41 1h 13m 4s
[ cleanup ] remove duplicate copy of header parsing Idris2 and External Libs #122: Pull request #3122 opened by dunhamsteve
October 27, 2023 02:50 1h 10m 56s dunhamsteve:parser-progHdr-refactor
dunhamsteve:parser-progHdr-refactor
October 27, 2023 02:50 1h 10m 56s
[ elab ] Add an ability to inspect in which function we currently are Idris2 and External Libs #121: Commit 5f29b0b pushed by gallais
October 26, 2023 14:42 1h 13m 31s main
main
October 26, 2023 14:42 1h 13m 31s
[ elab ] Implement abilities for recursion check in elab scripts Idris2 and External Libs #120: Pull request #3118 synchronize by buzden
October 26, 2023 11:21 1h 18m 12s buzden:recursion-check-in-elab-scr
buzden:recursion-check-in-elab-scr
October 26, 2023 11:21 1h 18m 12s
[ linear ] introduce mapFst, mapSnd Idris2 and External Libs #119: Pull request #3121 synchronize by gallais
October 26, 2023 10:48 1h 22m 2s gallais:cleanup-linear
gallais:cleanup-linear
October 26, 2023 10:48 1h 22m 2s
[ linear ] introduce mapFst, mapSnd Idris2 and External Libs #118: Pull request #3121 opened by gallais
October 26, 2023 09:49 59m 48s gallais:cleanup-linear
gallais:cleanup-linear
October 26, 2023 09:49 59m 48s
[ feature ] Typebind & autobind using Pi-like syntax Idris2 and External Libs #117: Pull request #3120 opened by andrevidela
October 26, 2023 09:45 1h 11m 24s andrevidela:autobind
andrevidela:autobind
October 26, 2023 09:45 1h 11m 24s
[ doc ] Improve the landing page (#3119) Idris2 and External Libs #116: Commit 9f93d4c pushed by gallais
October 26, 2023 09:35 1h 21m 15s main
main
October 26, 2023 09:35 1h 21m 15s
[ doc ] Improve the landing page Idris2 and External Libs #115: Pull request #3119 synchronize by gallais
October 26, 2023 08:05 1h 26m 2s gallais:doc-page
gallais:doc-page
October 26, 2023 08:05 1h 26m 2s
[ doc ] Improve the landing page Idris2 and External Libs #114: Pull request #3119 opened by gallais
October 25, 2023 15:00 1h 12m 39s gallais:doc-page
gallais:doc-page
October 25, 2023 15:00 1h 12m 39s
[ warning ] for incompatible visibilities on forward decls and defini… Idris2 and External Libs #113: Commit ea093ff pushed by gallais
October 25, 2023 10:24 1h 16m 11s main
main
October 25, 2023 10:24 1h 16m 11s
ProTip! You can narrow down the results and go further in time using created:<2023-10-25 or the other filters available.