Skip to content

Actions: edwinb/Yaffle

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12 workflow runs
12 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ fix ] handling of VCase in Core.Case.Builder.sameType Yaffle #124: Pull request #35 opened by AlgebraicWolf
November 27, 2023 20:26 16m 27s AlgebraicWolf:headeq-for-vcase
AlgebraicWolf:headeq-for-vcase
November 27, 2023 20:26 16m 27s
[ port idris-lang/Idris2#2863 ] Make some higher-order functions in prelude tc-inlined Yaffle #123: Pull request #34 opened by mjustus
November 3, 2023 16:13 16m 5s mjustus:port-pr2863
mjustus:port-pr2863
November 3, 2023 16:13 16m 5s
[ port ] faithful implementation of size-change graph termination ana… Yaffle #122: Commit d178374 pushed by edwinb
October 30, 2023 16:45 20m 45s main
main
October 30, 2023 16:45 20m 45s
Test update Yaffle #121: Commit b402583 pushed by edwinb
October 30, 2023 16:44 26m 58s main
main
October 30, 2023 16:44 26m 58s
[ port ] faithful implementation of size-change graph termination analysis Yaffle #120: Pull request #29 synchronize by mjustus
October 20, 2023 15:56 24m 31s mjustus:pr2877
mjustus:pr2877
October 20, 2023 15:56 24m 31s
[ port ] faithful implementation of size-change graph termination analysis Yaffle #119: Pull request #29 synchronize by mjustus
October 20, 2023 10:15 24m 5s mjustus:pr2877
mjustus:pr2877
October 20, 2023 10:15 24m 5s
[ port ] faithful implementation of size-change graph termination analysis Yaffle #118: Pull request #29 synchronize by mjustus
October 18, 2023 12:15 18m 54s mjustus:pr2877
mjustus:pr2877
October 18, 2023 12:15 18m 54s
Merge branch 'main' of github.com:edwinb/Yaffle Yaffle #117: Commit 1934232 pushed by edwinb
October 9, 2023 08:41 21m 27s main
main
October 9, 2023 08:41 21m 27s
make cond's default argument lazy (#30) Yaffle #115: Commit af8d0d7 pushed by edwinb
September 25, 2023 14:12 25m 10s main
main
September 25, 2023 14:12 25m 10s
[ port ] Ignore UseSide annotation in non-linear as-patterns (#32) Yaffle #114: Commit bf279ba pushed by edwinb
September 25, 2023 14:09 22m 32s main
main
September 25, 2023 14:09 22m 32s
Merge branch 'main' of github.com:edwinb/Yaffle Yaffle #113: Commit b485b68 pushed by edwinb
September 25, 2023 12:34 22m 15s main
main
September 25, 2023 12:34 22m 15s
[ compat ] base now has quantity 0 for cong's argument (#33) Yaffle #112: Commit 5d0d081 pushed by edwinb
September 25, 2023 12:12 22m 4s main
main
September 25, 2023 12:12 22m 4s