Skip to content

Actions: Pier-Two/lantern

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
469 workflow runs
469 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge pull request #118 from Pier-Two/devnet-5 CI #469: Commit 4d16a16 pushed by uink45
12m 19s main
main
12m 19s
Use x86-64 target CPU in c-leanvm config CI #468: Pull request #118 opened by uink45
13m 8s devnet-5
devnet-5
13m 8s
Merge pull request #117 from Pier-Two/devnet-5 CI #467: Commit 0538890 pushed by uink45
26m 0s main
main
26m 0s
Source attestation vote from the head state's latest justified (leanSpec #1166) CI #466: Pull request #117 opened by uink45
24m 46s devnet-5
devnet-5
24m 46s
CI CI #465: Manually run by uink45
13m 34s main
main
13m 34s
CI CI #464: Manually run by uink45
11m 22s main
main
11m 22s
CI CI #463: Manually run by uink45
7m 58s main
main
7m 58s
Merge pull request #116 from Pier-Two/devnet-5 CI #462: Commit 03e537d pushed by uink45
11m 41s main
main
11m 41s
Bump target-cpu to x86-64-v4 in Dockerfile CI #461: Pull request #116 opened by uink45
12m 53s devnet-5
devnet-5
12m 53s
CI CI #460: Manually run by uink45
12m 55s main
main
12m 55s
CI CI #459: Manually run by uink45
12m 55s main
main
12m 55s
CI CI #458: Manually run by uink45
13m 0s main
main
13m 0s
Merge pull request #115 from Pier-Two/devnet-5 CI #457: Commit 4079e47 pushed by uink45
13m 26s main
main
13m 26s
Use x86-64-v3 target-cpu in Docker build CI #456: Pull request #115 opened by uink45
13m 29s devnet-5
devnet-5
13m 29s
CI CI #455: Manually run by uink45
14m 0s main
main
14m 0s
CI CI #454: Manually run by uink45
13m 16s main
main
13m 16s
CI CI #453: Manually run by uink45
12m 9s main
main
12m 9s
CI CI #452: Manually run by uink45
11m 42s main
main
11m 42s
Merge pull request #114 from Pier-Two/devnet-5 CI #451: Commit cef57c2 pushed by uink45
13m 22s main
main
13m 22s
Configure Cargo network settings in Dockerfile CI #450: Pull request #114 opened by uink45
12m 20s devnet-5
devnet-5
12m 20s
CI CI #449: Manually run by uink45
13m 27s main
main
13m 27s
CI CI #448: Manually run by uink45
13m 8s main
main
13m 8s
CI CI #447: Manually run by uink45
13m 1s main
main
13m 1s
Merge pull request #113 from Pier-Two/devnet-5 CI #446: Commit f9a0927 pushed by uink45
11m 12s main
main
11m 12s
Set x86-64-v2 rustflags for non-profile builds CI #445: Pull request #113 opened by uink45
13m 36s devnet-5
devnet-5
13m 36s