Skip to content

Actions: input-output-hk/peras-design

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #58: by github-pages bot
September 27, 2024 23:05 29s
September 27, 2024 23:05 29s
Merge pull request #230 from input-output-hk/bwbush/refactor-conformance CI #1516: Commit 9e35885 pushed by bwbush
September 27, 2024 22:59 7m 6s main
main
September 27, 2024 22:59 7m 6s
Added equivocated blocks to conformance tests CI #1515: Pull request #230 opened by bwbush
September 27, 2024 22:52 6m 20s bwbush/refactor-conformance
bwbush/refactor-conformance
September 27, 2024 22:52 6m 20s
pages build and deployment pages-build-deployment #57: by github-pages bot
September 27, 2024 16:18 32s
September 27, 2024 16:18 32s
Merge pull request #229 from input-output-hk/bwbush/refactor-conformance CI #1514: Commit a5ff462 pushed by bwbush
September 27, 2024 16:11 6m 51s main
main
September 27, 2024 16:11 6m 51s
Removed lint and redundant tests CI #1513: Pull request #229 opened by bwbush
September 27, 2024 15:34 22m 55s bwbush/refactor-conformance
bwbush/refactor-conformance
September 27, 2024 15:34 22m 55s
Guards for needCert CI #1512: Pull request #228 opened by yveshauser
September 27, 2024 13:25 6m 35s yveshauser/transition-needCert
yveshauser/transition-needCert
September 27, 2024 13:25 6m 35s
Use IsLawfulEq CI #1511: Pull request #227 opened by yveshauser
September 27, 2024 11:01 6m 26s yveshauser/IsLawfulEq-instances
yveshauser/IsLawfulEq-instances
September 27, 2024 11:01 6m 26s
pages build and deployment pages-build-deployment #56: by github-pages bot
September 27, 2024 09:10 32s
September 27, 2024 09:10 32s
Fix Extends in formal specification (#216) CI #1510: Commit 874b44a pushed by yveshauser
September 27, 2024 09:03 6m 42s main
main
September 27, 2024 09:03 6m 42s
Fix Extends in formal specification CI #1509: Pull request #216 synchronize by yveshauser
September 27, 2024 08:24 7m 9s yveshauser/fix-extends
yveshauser/fix-extends
September 27, 2024 08:24 7m 9s
Fix Extends in formal specification CI #1508: Pull request #216 synchronize by yveshauser
September 27, 2024 08:18 6m 47s yveshauser/fix-extends
yveshauser/fix-extends
September 27, 2024 08:18 6m 47s
pages build and deployment pages-build-deployment #55: by github-pages bot
September 26, 2024 21:35 29s
September 26, 2024 21:35 29s
Merge pull request #226 from input-output-hk/bwbush/refactor-conformance CI #1507: Commit 0967287 pushed by bwbush
September 26, 2024 21:28 7m 27s main
main
September 26, 2024 21:28 7m 27s
Refactored conformance tests for greater coverage CI #1506: Pull request #226 opened by bwbush
September 26, 2024 20:54 22m 41s bwbush/refactor-conformance
bwbush/refactor-conformance
September 26, 2024 20:54 22m 41s
Equivocations are not possible by construction CI #1505: Pull request #225 opened by yveshauser
September 23, 2024 06:52 6m 40s yveshauser/equivocations
yveshauser/equivocations
September 23, 2024 06:52 6m 40s
pages build and deployment pages-build-deployment #54: by github-pages bot
September 20, 2024 20:21 28s
September 20, 2024 20:21 28s
Merge pull request #224 from input-output-hk/bwbush/refactor-conformance CI #1504: Commit 281231a pushed by bwbush
September 20, 2024 20:14 7m 5s main
main
September 20, 2024 20:14 7m 5s
NetChain and NewVote from honest lagged node CI #1503: Pull request #224 opened by bwbush
September 20, 2024 20:07 6m 37s bwbush/refactor-conformance
bwbush/refactor-conformance
September 20, 2024 20:07 6m 37s
pages build and deployment pages-build-deployment #53: by github-pages bot
September 20, 2024 12:15 32s
September 20, 2024 12:15 32s
Guards for needCert in transition CI #1502: Pull request #222 synchronize by yveshauser
September 20, 2024 12:14 11m 52s yveshauser/soundness-needCert
yveshauser/soundness-needCert
September 20, 2024 12:14 11m 52s
Soundness property proof CI #1501: Pull request #221 synchronize by yveshauser
September 20, 2024 12:14 5m 22s yveshauser/soundness-wip
yveshauser/soundness-wip
September 20, 2024 12:14 5m 22s
Allow delayed messages (#223) CI #1500: Commit d1d2128 pushed by yveshauser
September 20, 2024 12:09 6m 15s main
main
September 20, 2024 12:09 6m 15s
Allow delayed messages CI #1499: Pull request #223 synchronize by yveshauser
September 20, 2024 12:01 7m 8s yveshauser/delays
yveshauser/delays
September 20, 2024 12:01 7m 8s
Allow delayed messages CI #1498: Pull request #223 synchronize by yveshauser
September 20, 2024 11:51 6m 10s yveshauser/delays
yveshauser/delays
September 20, 2024 11:51 6m 10s