Skip to content

Actions: stefan-hoeck/idris2-elab-util

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
30 workflow runs
30 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ upstream ] Support Name in IBindVar (#81) Build #627: Commit 6786ac7 pushed by buzden
29s main
main
29s
[ upstream ] Support Name in IBindVar (#81) Lint #249: Commit 6786ac7 pushed by buzden
1m 23s main
main
1m 23s
[ upstream ] Support Name in IBindVar Lint #248: Pull request #81 synchronize by buzden
1m 22s spcfox:bindvar-name
spcfox:bindvar-name
1m 22s
[ upstream ] Support Name in IBindVar Build #626: Pull request #81 synchronize by buzden
6m 41s spcfox:bindvar-name
spcfox:bindvar-name
6m 41s
[ upstream ] Support Name in IBindVar Build #625: Pull request #81 opened by spcfox
5m 26s spcfox:bindvar-name
spcfox:bindvar-name
5m 26s
[ upstream ] Support Name in IBindVar Lint #247: Pull request #81 opened by spcfox
1m 27s spcfox:bindvar-name
spcfox:bindvar-name
1m 27s
[ fix ] fix invalid forward declaration (#80) Lint #246: Commit ffbfe4f pushed by buzden
1m 9s main
main
1m 9s
[ fix ] fix invalid forward declaration (#80) Build #624: Commit ffbfe4f pushed by buzden
58s main
main
58s
[ fix ] fix invalid forward declaration Lint #245: Pull request #80 opened by dunhamsteve
1m 13s dunhamsteve:fix-forward-decl
dunhamsteve:fix-forward-decl
1m 13s
[ fix ] fix invalid forward declaration Build #623: Pull request #80 opened by dunhamsteve
59s dunhamsteve:fix-forward-decl
dunhamsteve:fix-forward-decl
59s
[ upstream ] Adapt to the changes in idris-lang/Idris2#3415 (#79) Lint #244: Commit dc875d4 pushed by buzden
1m 20s main
main
1m 20s
[ upstream ] Adapt to the changes in idris-lang/Idris2#3415 (#79) Build #622: Commit dc875d4 pushed by buzden
36s main
main
36s
[ upstream ] Adapt to the changes in idris-lang/Idris2#3415 Build #621: Pull request #79 opened by spcfox
5m 34s spcfox:with-proof-multiplicity
spcfox:with-proof-multiplicity
5m 34s
[ upstream ] Adapt to the changes in idris-lang/Idris2#3415 Lint #243: Pull request #79 opened by spcfox
1m 15s spcfox:with-proof-multiplicity
spcfox:with-proof-multiplicity
1m 15s
[ upstream ] Update elab for WithFC (#77) Build #620: Commit ddccca6 pushed by buzden
34s main
main
34s
[ upstream ] Update elab for WithFC (#77) Lint #242: Commit ddccca6 pushed by buzden
1m 26s main
main
1m 26s
[ upstream ] fix elab for WithFC Build #619: Pull request #77 synchronize by andrevidela
5m 41s andrevidela:withfc-elab
andrevidela:withfc-elab
5m 41s
[ upstream ] fix elab for WithFC Lint #241: Pull request #77 synchronize by andrevidela
1m 19s andrevidela:withfc-elab
andrevidela:withfc-elab
1m 19s
[ upstream ] fix elab for WithFC Build #618: Pull request #77 synchronize by andrevidela
6m 8s andrevidela:withfc-elab
andrevidela:withfc-elab
6m 8s
[ upstream ] fix elab for WithFC Lint #240: Pull request #77 synchronize by andrevidela
1m 15s andrevidela:withfc-elab
andrevidela:withfc-elab
1m 15s
[ upstream ] fix elab for WithFC Lint #239: Pull request #77 synchronize by buzden
1m 17s andrevidela:withfc-elab
andrevidela:withfc-elab
1m 17s
[ upstream ] fix elab for WithFC Build #617: Pull request #77 synchronize by buzden
6m 2s andrevidela:withfc-elab
andrevidela:withfc-elab
6m 2s
[ ci, fix ] Fix upstream fix repository expression getting (#78) Lint #238: Commit 61a57dd pushed by buzden
1m 19s main
main
1m 19s
[ ci, fix ] Fix upstream fix repository expression getting (#78) Build #616: Commit 61a57dd pushed by buzden
57s main
main
57s
[ ci, fix ] Fix upstream fix repository expression getting Lint #237: Pull request #78 opened by buzden
1m 23s buzden:fix-pr-ci
buzden:fix-pr-ci
1m 23s