Skip to content
Build, test, release EUDSL

[eudsl-tblgen] add lots of stuff (support retrieving ArgumentInits from Record) #1381

Sign in to view logs

[eudsl-tblgen] add lots of stuff (support retrieving ArgumentInits from Record)

[eudsl-tblgen] add lots of stuff (support retrieving ArgumentInits from Record) #1381

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build eudsl windows_amd64
8m 9s
Build eudsl ubuntu_aarch64
8m 3s
Build eudsl macos_arm64
8m 14s
Build eudsl ubuntu_x86_64
8m 14s
Release eudsl ${{ matrix.name }}
1s
Test llvmpy ${{ matrix.name }} ${{ matrix.python-version }}
1s
call-deploy-pip-page
0s
Test tblgen ${{ matrix.name }} ${{ matrix.python-version }}
1s
32m 43s