Skip to content
Build, test, release EUDSL

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

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) #1378

Run time

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