Skip to content

Actions: firedrakeproject/fiat

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
934 workflow runs
934 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

COFFEE: split sum-factorisation into connected components FIAT CI #578: Pull request #224 opened by pbrubeck
3m 27s pbrubeck/fast-sum-factorization
pbrubeck/fast-sum-factorization
3m 27s
Reduced Johnson-Mercier FIAT CI #577: Pull request #222 synchronize by pbrubeck
2m 17s pbrubeck/reduced-jm
pbrubeck/reduced-jm
2m 17s
Optimise atomics for sum factorisation FIAT CI #576: Pull request #223 opened by connorjward
4m 39s connorjward/speedup
connorjward/speedup
4m 39s
Reduced Johnson-Mercier FIAT CI #575: Pull request #222 synchronize by pbrubeck
3m 35s pbrubeck/reduced-jm
pbrubeck/reduced-jm
3m 35s
Reduced Johnson-Mercier FIAT CI #574: Pull request #222 synchronize by pbrubeck
5m 43s pbrubeck/reduced-jm
pbrubeck/reduced-jm
5m 43s
MTW tetrahedron FIAT CI #573: Pull request #220 synchronize by pbrubeck
5m 22s pbrubeck/mtw
pbrubeck/mtw
5m 22s
Reduced Johnson-Mercier FIAT CI #572: Pull request #222 opened by pbrubeck
4m 12s pbrubeck/reduced-jm
pbrubeck/reduced-jm
4m 12s
MTW tetrahedron FIAT CI #571: Pull request #220 synchronize by pbrubeck
3m 31s pbrubeck/mtw
pbrubeck/mtw
3m 31s
MTW tetrahedron FIAT CI #570: Pull request #220 synchronize by pbrubeck
3m 23s pbrubeck/mtw
pbrubeck/mtw
3m 23s
Merge pull request #221 from firedrakeproject/pbrubeck/optimal-atomics github pages #72: Commit c09e1ed pushed by pbrubeck
38s main
main
38s
Merge pull request #221 from firedrakeproject/pbrubeck/optimal-atomics FIAT CI #569: Commit c09e1ed pushed by pbrubeck
3m 24s main
main
3m 24s
Optimise find_optimal_atomics FIAT CI #568: Pull request #221 synchronize by pbrubeck
3m 38s pbrubeck/optimal-atomics
pbrubeck/optimal-atomics
3m 38s
Optimise find_optimal_atomics FIAT CI #567: Pull request #221 opened by pbrubeck
21s pbrubeck/optimal-atomics
pbrubeck/optimal-atomics
21s
MTW tetrahedron FIAT CI #566: Pull request #220 synchronize by pbrubeck
3m 31s pbrubeck/mtw
pbrubeck/mtw
3m 31s
MTW tetrahedron FIAT CI #565: Pull request #220 synchronize by pbrubeck
3m 30s pbrubeck/mtw
pbrubeck/mtw
3m 30s
MTW tetrahedron FIAT CI #564: Pull request #220 synchronize by pbrubeck
3m 28s pbrubeck/mtw
pbrubeck/mtw
3m 28s
MTW tetrahedron FIAT CI #563: Pull request #220 synchronize by pbrubeck
3m 21s pbrubeck/mtw
pbrubeck/mtw
3m 21s
MTW tetrahedron FIAT CI #562: Pull request #220 synchronize by pbrubeck
3m 29s pbrubeck/mtw
pbrubeck/mtw
3m 29s
MTW tetrahedron FIAT CI #561: Pull request #220 synchronize by pbrubeck
1m 36s pbrubeck/mtw
pbrubeck/mtw
1m 36s
MTW tetrahedron FIAT CI #560: Pull request #220 opened by pbrubeck
2m 0s pbrubeck/mtw
pbrubeck/mtw
2m 0s
Gem tabulation FIAT CI #559: Pull request #172 synchronize by pbrubeck
3m 33s pbrubeck/gem-tabulation
pbrubeck/gem-tabulation
3m 33s
pages build and deployment pages-build-deployment #46: by github-pages bot
31s gh-pages
gh-pages
31s
Merge pull request #219 from firedrakeproject/pbrubeck/merge-release-… FIAT CI #558: Commit f7be49b pushed by pbrubeck
3m 27s main
main
3m 27s
Merge pull request #219 from firedrakeproject/pbrubeck/merge-release-… github pages #71: Commit f7be49b pushed by pbrubeck
58s main
main
58s
pages build and deployment pages-build-deployment #45: by github-pages bot
29s gh-pages
gh-pages
29s