Skip to content

Actions: aya-prover/aya-dev

Actions

nightly

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nightly-build.yaml
203 workflow runs
203 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

merge: Refactor CompiledModule/ResolveInfo (#1449) nightly #336: Commit 2f109a5 pushed by ice1000
4m 9s main
main
4m 9s
merge: New partial (#1447) nightly #335: Commit fb4dbf2 pushed by ice1000
3m 41s main
main
3m 41s
merge: Basic support for submodule re-export (#1446) nightly #334: Commit ffe0649 pushed by ice1000
4m 1s main
main
4m 1s
merge: rewrite free-term.md (#1444) nightly #333: Commit 98a627e pushed by ice1000
8m 11s main
main
8m 11s
merge: Redesign descent (#1443) nightly #332: Commit fb925ab pushed by ice1000
3m 27s main
main
3m 27s
merge: Get rid of DimTyTerm (#1442) nightly #331: Commit cd605aa pushed by ice1000
3m 42s main
main
3m 42s
merge: Type checking of partial elements -- tyck, conv, dblchk (#1441) nightly #330: Commit ed7c36f pushed by ice1000
3m 56s main
main
3m 56s
merge: Instance Filterrrrrrrrrrr (#1427) nightly #329: Commit 887a95a pushed by ice1000
3m 40s main
main
3m 40s
merge: Subtelescope (#1434) nightly #328: Commit 45d6358 pushed by ice1000
3m 35s main
main
3m 35s
merge: Fix put local (#1432) nightly #327: Commit 3cb1457 pushed by ice1000
3m 48s main
main
3m 48s
merge: Release 0.40 (#1431) nightly #326: Commit caba46d pushed by ice1000
4m 4s main
main
4m 4s
merge: Java 25 related updates (#1430) nightly #325: Commit 7d4561f pushed by ice1000
3m 30s main
main
3m 30s
merge: Un-paragraph the last item in a lit (#1429) nightly #324: Commit 926f8a5 pushed by ice1000
3m 43s main
main
3m 43s
merge: better position calculation (#1426) nightly #323: Commit 74aae1a pushed by ice1000
3m 58s main
main
3m 58s
merge: Reimplement type hover (#1425) nightly #322: Commit cdb1eb7 pushed by ice1000
4m 4s main
main
4m 4s
merge: Fix css (#1424) nightly #321: Commit ddf1c76 pushed by ice1000
4m 2s main
main
4m 2s
merge: Codegen improvements (#1423) nightly #320: Commit 40ba112 pushed by ice1000
3m 42s main
main
3m 42s
merge: Highlighter.visitConHead (#1422) nightly #319: Commit 25a5ef6 pushed by ice1000
3m 57s main
main
3m 57s
merge: apply IDE inspection (#1420) nightly #318: Commit 5faabfe pushed by ice1000
4m 10s main
main
4m 10s
merge: Disable macos-amd64 target because the jdk always fail to down… nightly #317: Commit ecb834d pushed by ice1000
3m 53s main
main
3m 53s
literate: code style nightly #316: Commit cdf1506 pushed by ice1000
4m 16s ci
ci
4m 16s
merge: Parse out-line link definitions (#1418) nightly #315: Commit 575099a pushed by ice1000
9m 7s main
main
9m 7s
merge: Show partially applied signatures (#1417) nightly #314: Commit 6274d7a pushed by ice1000
5m 0s main
main
5m 0s
merge: classifying field (#1415) nightly #313: Commit febdef6 pushed by ice1000
4m 12s main
main
4m 12s
merge: Dblity improvements (#1414) nightly #312: Commit dd82977 pushed by ice1000
5m 22s main
main
5m 22s