Skip to content

Actions: stefan-hoeck/idris2-elab-util

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
34 workflow runs
34 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ fix ] fix invalid forward declaration (#80) Lint #246: Commit ffbfe4f pushed by buzden
January 30, 2025 05:41 1m 9s main
main
January 30, 2025 05:41 1m 9s
[ fix ] fix invalid forward declaration (#80) Build #624: Commit ffbfe4f pushed by buzden
January 30, 2025 05:41 58s main
main
January 30, 2025 05:41 58s
[ fix ] fix invalid forward declaration Lint #245: Pull request #80 opened by dunhamsteve
January 30, 2025 05:00 1m 13s dunhamsteve:fix-forward-decl
dunhamsteve:fix-forward-decl
January 30, 2025 05:00 1m 13s
[ fix ] fix invalid forward declaration Build #623: Pull request #80 opened by dunhamsteve
January 30, 2025 05:00 59s dunhamsteve:fix-forward-decl
dunhamsteve:fix-forward-decl
January 30, 2025 05:00 59s
[ upstream ] Adapt to the changes in idris-lang/Idris2#3415 (#79) Lint #244: Commit dc875d4 pushed by buzden
December 18, 2024 11:46 1m 20s main
main
December 18, 2024 11:46 1m 20s
[ upstream ] Adapt to the changes in idris-lang/Idris2#3415 (#79) Build #622: Commit dc875d4 pushed by buzden
December 18, 2024 11:46 36s main
main
December 18, 2024 11:46 36s
[ upstream ] Adapt to the changes in idris-lang/Idris2#3415 Build #621: Pull request #79 opened by spcfox
December 4, 2024 11:35 5m 34s spcfox:with-proof-multiplicity
spcfox:with-proof-multiplicity
December 4, 2024 11:35 5m 34s
[ upstream ] Adapt to the changes in idris-lang/Idris2#3415 Lint #243: Pull request #79 opened by spcfox
December 4, 2024 11:35 1m 15s spcfox:with-proof-multiplicity
spcfox:with-proof-multiplicity
December 4, 2024 11:35 1m 15s
[ upstream ] Update elab for WithFC (#77) Build #620: Commit ddccca6 pushed by buzden
December 2, 2024 05:12 34s main
main
December 2, 2024 05:12 34s
[ upstream ] Update elab for WithFC (#77) Lint #242: Commit ddccca6 pushed by buzden
December 2, 2024 05:12 1m 26s main
main
December 2, 2024 05:12 1m 26s
[ upstream ] fix elab for WithFC Build #619: Pull request #77 synchronize by andrevidela
December 1, 2024 21:31 5m 41s andrevidela:withfc-elab
andrevidela:withfc-elab
December 1, 2024 21:31 5m 41s
[ upstream ] fix elab for WithFC Lint #241: Pull request #77 synchronize by andrevidela
December 1, 2024 21:31 1m 19s andrevidela:withfc-elab
andrevidela:withfc-elab
December 1, 2024 21:31 1m 19s
[ upstream ] fix elab for WithFC Build #618: Pull request #77 synchronize by andrevidela
November 25, 2024 18:37 6m 8s andrevidela:withfc-elab
andrevidela:withfc-elab
November 25, 2024 18:37 6m 8s
[ upstream ] fix elab for WithFC Lint #240: Pull request #77 synchronize by andrevidela
November 25, 2024 18:37 1m 15s andrevidela:withfc-elab
andrevidela:withfc-elab
November 25, 2024 18:37 1m 15s
[ upstream ] fix elab for WithFC Lint #239: Pull request #77 synchronize by buzden
November 25, 2024 16:51 1m 17s andrevidela:withfc-elab
andrevidela:withfc-elab
November 25, 2024 16:51 1m 17s
[ upstream ] fix elab for WithFC Build #617: Pull request #77 synchronize by buzden
November 25, 2024 16:51 6m 2s andrevidela:withfc-elab
andrevidela:withfc-elab
November 25, 2024 16:51 6m 2s
[ ci, fix ] Fix upstream fix repository expression getting (#78) Lint #238: Commit 61a57dd pushed by buzden
November 25, 2024 16:51 1m 19s main
main
November 25, 2024 16:51 1m 19s
[ ci, fix ] Fix upstream fix repository expression getting (#78) Build #616: Commit 61a57dd pushed by buzden
November 25, 2024 16:51 57s main
main
November 25, 2024 16:51 57s
[ ci, fix ] Fix upstream fix repository expression getting Lint #237: Pull request #78 opened by buzden
November 25, 2024 16:49 1m 23s buzden:fix-pr-ci
buzden:fix-pr-ci
November 25, 2024 16:49 1m 23s
[ ci, fix ] Fix upstream fix repository expression getting Build #615: Pull request #78 opened by buzden
November 25, 2024 16:49 58s buzden:fix-pr-ci
buzden:fix-pr-ci
November 25, 2024 16:49 58s
[ upstream ] fix elab for WithFC Build #614: Pull request #77 synchronize by buzden
November 25, 2024 16:23 41s andrevidela:withfc-elab
andrevidela:withfc-elab
November 25, 2024 16:23 41s
[ upstream ] fix elab for WithFC Lint #236: Pull request #77 synchronize by buzden
November 25, 2024 16:23 1m 16s andrevidela:withfc-elab
andrevidela:withfc-elab
November 25, 2024 16:23 1m 16s
[ upstream ] fix elab for WithFC Lint #235: Pull request #77 opened by andrevidela
November 25, 2024 13:44 1m 17s andrevidela:withfc-elab
andrevidela:withfc-elab
November 25, 2024 13:44 1m 17s
[ upstream ] fix elab for WithFC Build #613: Pull request #77 opened by andrevidela
November 25, 2024 13:44 4s andrevidela:withfc-elab
andrevidela:withfc-elab
November 25, 2024 13:44 4s
[ error ] Refine error message of lookupName in one particular case… Lint #234: Commit 4ee05e5 pushed by stefan-hoeck
April 11, 2024 10:50 1m 18s main
main
April 11, 2024 10:50 1m 18s