Skip to content

Actions: firedrakeproject/fiat

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,534 workflow runs
1,534 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'master' into pbrubeck/onpoly-dmats FIAT CI #510: Commit 5628e7a pushed by pbrubeck
October 17, 2023 16:48 7m 5s pbrubeck/onpoly-dmats
pbrubeck/onpoly-dmats
October 17, 2023 16:48 7m 5s
GLL/GL on simplices with recursive points FIAT CI #509: Pull request #46 synchronize by pbrubeck
October 17, 2023 16:08 10m 38s pbrubeck/recursive-nodes
pbrubeck/recursive-nodes
October 17, 2023 16:08 10m 38s
Derivative tabulation by solving Vandermonde system with recursive GL… FIAT CI #508: Commit 58a10c6 pushed by pbrubeck
October 17, 2023 16:08 9m 39s pbrubeck/recursive-nodes
pbrubeck/recursive-nodes
October 17, 2023 16:08 9m 39s
GLL/GL on simplices with recursive points FIAT CI #507: Pull request #46 synchronize by pbrubeck
October 17, 2023 13:28 9m 15s pbrubeck/recursive-nodes
pbrubeck/recursive-nodes
October 17, 2023 13:28 9m 15s
Test GLL/GL edge dofs FIAT CI #506: Commit b52018f pushed by pbrubeck
October 17, 2023 13:28 9m 30s pbrubeck/recursive-nodes
pbrubeck/recursive-nodes
October 17, 2023 13:28 9m 30s
GLL/GL on simplices with recursive points FIAT CI #505: Pull request #46 synchronize by pbrubeck
October 17, 2023 09:21 9m 34s pbrubeck/recursive-nodes
pbrubeck/recursive-nodes
October 17, 2023 09:21 9m 34s
Fix GL permutations FIAT CI #504: Commit a04d20f pushed by pbrubeck
October 17, 2023 09:21 9m 20s pbrubeck/recursive-nodes
pbrubeck/recursive-nodes
October 17, 2023 09:21 9m 20s
GLL/GL on simplices with recursive points FIAT CI #503: Pull request #46 synchronize by pbrubeck
October 17, 2023 09:12 9m 30s pbrubeck/recursive-nodes
pbrubeck/recursive-nodes
October 17, 2023 09:12 9m 30s
refactoring FIAT CI #502: Commit c9f3021 pushed by pbrubeck
October 17, 2023 09:12 9m 44s pbrubeck/recursive-nodes
pbrubeck/recursive-nodes
October 17, 2023 09:12 9m 44s
ProTip! You can narrow down the results and go further in time using created:<2023-10-17 or the other filters available.