Skip to content

Actions: seto77/Temari

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
91 workflow runs
91 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
Hand over what is left, and correct two things I had wrong about the … Deploy documentation to GitHub Pages #51: Commit 143e19d pushed by seto77
44s main
main
44s
Say the two things the contract was leaving to the reader's judgement CI #39: Commit 6d10f07 pushed by seto77
8m 15s main
main
8m 15s
Say the two things the contract was leaving to the reader's judgement Deploy documentation to GitHub Pages #50: Commit 6d10f07 pushed by seto77
32s main
main
32s
Mark B8 and B3 done, with the two traps each one turned up Deploy documentation to GitHub Pages #49: Commit 66e8bd9 pushed by seto77
34s main
main
34s
Measure what v3 to v5 actually moved, and show the known figure was o… Deploy documentation to GitHub Pages #48: Commit e5c1d25 pushed by seto77
32s main
main
32s
Measure what v3 to v5 actually moved, and show the known figure was o… CI #38: Commit e5c1d25 pushed by seto77
8m 34s main
main
8m 34s
Read the contract a second time, and find two places it does not say … CI #37: Commit e98a2fb pushed by seto77
5m 59s main
main
5m 59s
Read the contract a second time, and find two places it does not say … Deploy documentation to GitHub Pages #47: Commit e98a2fb pushed by seto77
30s main
main
30s
Give the Monte Carlo the CDF, and measure what the grid it asked for … CI #36: Commit d1804a9 pushed by seto77
8m 16s main
main
8m 16s
Give the Monte Carlo the CDF, and measure what the grid it asked for … Deploy documentation to GitHub Pages #46: Commit d1804a9 pushed by seto77
33s main
main
33s
Mark B9 and B10 done, with what changed between plan and execution Deploy documentation to GitHub Pages #45: Commit d77e682 pushed by seto77
44s main
main
44s
Publish the budget and the benchmark, since a target nobody can find … CI #35: Commit 8e113f8 pushed by seto77
8m 35s main
main
8m 35s
Publish the budget and the benchmark, since a target nobody can find … Deploy documentation to GitHub Pages #44: Commit 8e113f8 pushed by seto77
35s main
main
35s
Stop twenty-four pages from advertising the same sentence Deploy documentation to GitHub Pages #43: Commit 9553321 pushed by seto77
34s main
main
34s
Show the five lines that read the dataset, and say what they are not Deploy documentation to GitHub Pages #42: Commit ebc852b pushed by seto77
36s main
main
36s
Show the five lines that read the dataset, and say what they are not CI #34: Commit ebc852b pushed by seto77
8m 28s main
main
8m 28s
Fix five small things the audit found, and retract a vacuous check CI #33: Commit a978fba pushed by seto77
8m 29s main
main
8m 29s
Fix five small things the audit found, and retract a vacuous check Deploy documentation to GitHub Pages #41: Commit a978fba pushed by seto77
37s main
main
37s
Let a consumer check the interpolation against its own node values Deploy documentation to GitHub Pages #40: Commit 96409f7 pushed by seto77
4m 53s main
main
4m 53s
Let a consumer check the interpolation against its own node values CI #32: Commit 96409f7 pushed by seto77
8m 19s main
main
8m 19s
Set the direction for the next release, and correct a speedup estimat… Deploy documentation to GitHub Pages #39: Commit ff50269 pushed by seto77
35s main
main
35s
Bring the messages the program prints up to the same generation as it… Deploy documentation to GitHub Pages #38: Commit 83273ee pushed by seto77
39s main
main
39s
Bring the messages the program prints up to the same generation as it… CI #31: Commit 83273ee pushed by seto77
9m 41s main
main
9m 41s
Add the checker that proves a comment-only edit changed no code CI #30: Commit b1cfa75 pushed by seto77
8m 17s main
main
8m 17s
Refresh the source comments that had fallen a generation behind CI #29: Commit c2a7c86 pushed by seto77
8m 18s main
main
8m 18s