Skip to content

Actions: stp/stp

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Cache cleanup Cache cleanup #806: Scheduled
15s master
master
15s
PGO PGO #29: Scheduled
1h 4m 15s master
master
1h 4m 15s
Cache cleanup Cache cleanup #805: Scheduled
33s master
master
33s
PGO PGO #28: Scheduled
1h 8m 33s master
master
1h 8m 33s
Cache cleanup Cache cleanup #804: Scheduled
17s master
master
17s
Cache cleanup Cache cleanup #803: completed by TrevorHansen
18s
18s
Cache cleanup Cache cleanup #802: completed by TrevorHansen
53s
53s
CodeQL CodeQL #1125: Scheduled
50m 7s master
master
50m 7s
PGO PGO #27: Scheduled
1h 8m 52s master
master
1h 8m 52s
Blast fp.sqrt through its defining relation by default (#1138) CI #2402: Commit e7e6961 pushed by TrevorHansen
43m 6s master
master
43m 6s
Revert "Skip the rounder work a square root proves dead (#1135)" (#1139) CI #2401: Commit b81a436 pushed by TrevorHansen
22m 8s master
master
22m 8s
Cache cleanup Cache cleanup #801: completed by TrevorHansen
14s
14s
Revert "Skip the rounder work a square root proves dead" (#1135) CI #2400: Pull request #1139 opened by TrevorHansen
21m 37s fp-sqrt-revert-pack
fp-sqrt-revert-pack
21m 37s
Cache cleanup Cache cleanup #800: completed by TrevorHansen
14s
14s
Cache cleanup Cache cleanup #799: completed by TrevorHansen
15s
15s
Cache cleanup Cache cleanup #798: completed by TrevorHansen
2m 14s
2m 14s
Blast fp.sqrt through its defining relation by default CI #2399: Pull request #1138 opened by TrevorHansen
21m 26s fp-sqrt-default-on
fp-sqrt-default-on
21m 26s
Do not reuse a relational encoding under a later root (#1137) CI #2398: Commit 2a864f5 pushed by TrevorHansen
42m 8s master
master
42m 8s
Answer arithmetic NaN and sign questions without the datapath (#1136) CI #2397: Commit 406d69f pushed by TrevorHansen
21m 38s master
master
21m 38s
Cache cleanup Cache cleanup #797: completed by TrevorHansen
18s
18s
Cache cleanup Cache cleanup #796: completed by TrevorHansen
18s
18s
Do not reuse a relational encoding under a later root CI #2396: Pull request #1137 opened by TrevorHansen
21m 39s fp-native-memo-per-root
fp-native-memo-per-root
21m 39s
Answer arithmetic NaN and sign questions without the datapath CI #2395: Pull request #1136 opened by TrevorHansen
21m 43s fp-classification-arith
fp-classification-arith
21m 43s
Cache cleanup Cache cleanup #795: completed by TrevorHansen
15s
15s
Cache cleanup Cache cleanup #794: completed by TrevorHansen
11s
11s