Skip to content
continuous integration

use lean4 pr instead of date in adaptation notes #141611

Sign in to view logs

use lean4 pr instead of date in adaptation notes

use lean4 pr instead of date in adaptation notes #141611

Triggered via push November 12, 2024 20:24
@kmillkmill
pushed ea2e06b
backports_6024
Status Success
Total duration 14m 26s
Artifacts –

build.yml

on: push
Lint style
1m 15s
Lint style
Build
14m 6s
Build
Cancel Previous Runs (CI)
4s
Cancel Previous Runs (CI)
Post-CI job
9s
Post-CI job
Fit to window
Zoom out
Zoom in