Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Actions: mo271/pfr

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
9 workflow runs
9 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'master' into bump_v4.22.0 Build Lean project #6: Commit dafe983 pushed by YaelDillies
39m 27s master
master
39m 27s
fix build and rest of deprecation warnings Build Lean project #5: Commit 945986e pushed by mo271
38m 48s master
master
38m 48s
fix most of the deprecations Build Lean project #4: Commit a012b4f pushed by YaelDillies
7m 29s master
master
7m 29s
fix rest of build Build Lean project #3: Commit 444b7b5 pushed by mo271
38m 50s master
master
38m 50s
more fixes to MoreRuzsaDist Build Lean project #2: Commit 73a8e9b pushed by mo271
7m 37s master
master
7m 37s
fix offdiag_sum_sub .github/workflows/push_pr.yml #2: Commit 042fbdb pushed by mo271
6m 4s bump_to_v4.22.0
bump_to_v4.22.0
6m 4s
chore: bump toolchain to v4.22.0 .github/workflows/push_pr.yml #1: Commit 32012a3 pushed by mo271
6m 31s bump_to_v4.22.0
bump_to_v4.22.0
6m 31s
chore: bump toolchain to v4.22.0 Build Lean project #1: Commit 32012a3 pushed by mo271
6m 42s master
master
6m 42s
chore: bump toolchain to v4.22.0 .github/workflows/lean-release-tag.yml #1: Commit 32012a3 pushed by mo271
16s master
master
16s