Skip to content

Actions: IntrepidShape/elm-web3

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
60 workflow runs
60 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
docs: UPGRADING covers 3.0.0 CI #31: Commit 58217a7 pushed by IntrepidShape
40s master
master
40s
docs: UPGRADING covers 3.0.0 Deploy proofs page to Pages #29: Commit 58217a7 pushed by IntrepidShape
32s master
master
32s
release: 3.0.0 -- error taxonomy, tx correlation ids, reverted-on-chain CI #30: Commit 46568c3 pushed by IntrepidShape
48s master
master
48s
release: 3.0.0 -- error taxonomy, tx correlation ids, reverted-on-chain Deploy proofs page to Pages #28: Commit 46568c3 pushed by IntrepidShape
35s master
master
35s
release: 2.1.0 -- boundary fixes Deploy proofs page to Pages #27: Commit f45a8ba pushed by IntrepidShape
11s master
master
11s
release: 2.1.0 -- boundary fixes CI #29: Commit f45a8ba pushed by IntrepidShape
45s master
master
45s
proofs: make the verification claims true again CI #28: Commit ef4da7b pushed by IntrepidShape
41s master
master
41s
proofs: make the verification claims true again Deploy proofs page to Pages #26: Commit ef4da7b pushed by IntrepidShape
17s master
master
17s
fix: the JS bridge could never report a failure, and ignored raw call… Deploy proofs page to Pages #25: Commit fa5d768 pushed by IntrepidShape
20s master
master
20s
fix: the JS bridge could never report a failure, and ignored raw call… CI #27: Commit fa5d768 pushed by IntrepidShape
39s master
master
39s
docs: unbreak the front door Deploy proofs page to Pages #24: Commit 3d08eee pushed by IntrepidShape
15s master
master
15s
docs: unbreak the front door CI #26: Commit 3d08eee pushed by IntrepidShape
43s master
master
43s
docs: changelog for the boundary fixes CI #25: Commit 7d7caa0 pushed by IntrepidShape
40s master
master
40s
docs: changelog for the boundary fixes Deploy proofs page to Pages #23: Commit 7d7caa0 pushed by IntrepidShape
21s master
master
21s
fix: four silent-money bugs at the encode/decode boundary Deploy proofs page to Pages #22: Commit db93193 pushed by IntrepidShape
16s master
master
16s
fix: four silent-money bugs at the encode/decode boundary CI #24: Commit db93193 pushed by IntrepidShape
46s master
master
46s
docs: ASCII-only doc comments + CI guard CI #23: Commit 5546420 pushed by IntrepidShape
41s master
master
41s
docs: ASCII-only doc comments + CI guard Deploy proofs page to Pages #21: Commit 5546420 pushed by IntrepidShape
18s master
master
18s
release: 2.0.0 — RequestId-tracked wallet connect (BREAKING) Deploy proofs page to Pages #20: Commit 625d2d1 pushed by IntrepidShape
21s master
master
21s
release: 2.0.0 — RequestId-tracked wallet connect (BREAKING) CI #22: Commit 625d2d1 pushed by IntrepidShape
38s master
master
38s
release: 1.4.4 — natCompare_spec proved; proof corpus sorry-free Deploy proofs page to Pages #19: Commit 7c0f128 pushed by IntrepidShape
17s master
master
17s
release: 1.4.4 — natCompare_spec proved; proof corpus sorry-free CI #21: Commit 7c0f128 pushed by IntrepidShape
44s master
master
44s
release: 1.4.3 — six obligations discharged; corpus down to one sorry CI #20: Commit 407c4e5 pushed by IntrepidShape
44s master
master
44s
release: 1.4.3 — six obligations discharged; corpus down to one sorry Deploy proofs page to Pages #18: Commit 407c4e5 pushed by IntrepidShape
17s master
master
17s
coverage: BigInt discharges recorded; obligations table made exactly … CI #19: Commit 6358b77 pushed by IntrepidShape
36s master
master
36s