Skip to content

Actions: aya-prover/aya-dev

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,070 workflow runs
1,070 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

dev: update flake.lock (#1163) nightly #147: Commit 5685691 pushed by ice1000
November 28, 2024 01:04 3m 2s main
main
November 28, 2024 01:04 3m 2s
dev: update flake.lock (#1163) test #492: Commit 5685691 pushed by ice1000
November 28, 2024 01:04 1m 27s main
main
November 28, 2024 01:04 1m 27s
merge: Use latest build-util (#1164) test #491: Commit dc19e89 pushed by ice1000
November 27, 2024 19:43 1m 52s main
main
November 27, 2024 19:43 1m 52s
merge: Use latest build-util (#1164) nightly #146: Commit dc19e89 pushed by ice1000
November 27, 2024 19:43 3m 17s main
main
November 27, 2024 19:43 3m 17s
Use latest build-util test #490: Pull request #1164 opened by ice1000
November 27, 2024 18:14 1m 49s ice1000
ice1000
November 27, 2024 18:14 1m 49s
Use latest build-util commit message #377: Pull request #1164 opened by ice1000
November 27, 2024 18:14 12s ice1000
ice1000
November 27, 2024 18:14 12s
dev: update flake.lock test #489: Pull request #1163 opened by definfo
November 27, 2024 16:26 1m 36s definfo:main
definfo:main
November 27, 2024 16:26 1m 36s
dev: update flake.lock commit message #376: Pull request #1163 opened by definfo
November 27, 2024 16:26 17s definfo:main
definfo:main
November 27, 2024 16:26 17s
Globular type theory test #488: Pull request #1160 opened by hgouni
November 26, 2024 07:43 1m 38s hgouni:main
hgouni:main
November 26, 2024 07:43 1m 38s
Globular type theory commit message #375: Pull request #1160 opened by hgouni
November 26, 2024 07:43 12s hgouni:main
hgouni:main
November 26, 2024 07:43 12s
merge: Usage analy in jit compiler (#1159) test #487: Commit d88c89a pushed by ice1000
November 25, 2024 23:36 1m 28s main
main
November 25, 2024 23:36 1m 28s
merge: Usage analy in jit compiler (#1159) nightly #145: Commit d88c89a pushed by ice1000
November 25, 2024 23:36 2m 45s main
main
November 25, 2024 23:36 2m 45s
Usage analy in jit compiler test #486: Pull request #1159 opened by ice1000
November 25, 2024 23:32 1m 35s ice1000
ice1000
November 25, 2024 23:32 1m 35s
Usage analy in jit compiler commit message #374: Pull request #1159 opened by ice1000
November 25, 2024 23:32 11s ice1000
ice1000
November 25, 2024 23:32 11s
merge: Simplify concrete (#1158) nightly #144: Commit c570c91 pushed by ice1000
November 25, 2024 22:58 2m 49s main
main
November 25, 2024 22:58 2m 49s
merge: Simplify concrete (#1158) test #485: Commit c570c91 pushed by ice1000
November 25, 2024 22:58 1m 30s main
main
November 25, 2024 22:58 1m 30s
Simplify concrete commit message #373: Pull request #1158 opened by ice1000
November 25, 2024 22:48 16s ice1000
ice1000
November 25, 2024 22:48 16s
Simplify concrete test #484: Pull request #1158 opened by ice1000
November 25, 2024 22:48 1m 37s ice1000
ice1000
November 25, 2024 22:48 1m 37s
merge: Binary tuple & combine pi and sigma into depType (#1156) nightly #143: Commit d7c04ad pushed by ice1000
November 25, 2024 21:18 3m 7s main
main
November 25, 2024 21:18 3m 7s
merge: Binary tuple & combine pi and sigma into depType (#1156) test #483: Commit d7c04ad pushed by ice1000
November 25, 2024 21:18 1m 33s main
main
November 25, 2024 21:18 1m 33s
Binary tuple & combine pi and sigma into depType test #482: Pull request #1156 synchronize by ice1000
November 25, 2024 21:10 1m 33s ice1000
ice1000
November 25, 2024 21:10 1m 33s
Binary tuple & combine pi and sigma into depType commit message #372: Pull request #1156 synchronize by ice1000
November 25, 2024 21:10 15s ice1000
ice1000
November 25, 2024 21:10 15s
Binary tuple & combine pi and sigma into depType test #481: Pull request #1156 synchronize by ice1000
November 25, 2024 21:02 1m 42s ice1000
ice1000
November 25, 2024 21:02 1m 42s
Binary tuple & combine pi and sigma into depType commit message #371: Pull request #1156 synchronize by ice1000
November 25, 2024 21:02 15s ice1000
ice1000
November 25, 2024 21:02 15s
Binary tuple & combine pi and sigma into depType test #480: Pull request #1156 synchronize by ice1000
November 25, 2024 20:51 1m 33s ice1000
ice1000
November 25, 2024 20:51 1m 33s