Skip to content

Actions: input-output-hk/peras-design

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yaml
1,588 workflow runs
1,588 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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
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
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
Allow delayed messages CI #1497: Pull request #223 opened by yveshauser
September 20, 2024 11:48 13m 6s yveshauser/delays
yveshauser/delays
September 20, 2024 11:48 13m 6s
Guards for needCert in transition CI #1496: Pull request #222 synchronize by yveshauser
September 20, 2024 07:36 7m 8s yveshauser/soundness-needCert
yveshauser/soundness-needCert
September 20, 2024 07:36 7m 8s
Guards for needCert in transition CI #1495: Pull request #222 synchronize by yveshauser
September 20, 2024 06:38 6m 20s yveshauser/soundness-needCert
yveshauser/soundness-needCert
September 20, 2024 06:38 6m 20s
Guards for needCert in transition CI #1494: Pull request #222 synchronize by yveshauser
September 19, 2024 13:06 7m 52s yveshauser/soundness-needCert
yveshauser/soundness-needCert
September 19, 2024 13:06 7m 52s
Soundness property proof CI #1493: Pull request #221 synchronize by yveshauser
September 19, 2024 13:05 7m 52s yveshauser/soundness-wip
yveshauser/soundness-wip
September 19, 2024 13:05 7m 52s
Guards for needCert in transition CI #1492: Pull request #222 synchronize by yveshauser
September 19, 2024 13:02 5m 43s yveshauser/soundness-needCert
yveshauser/soundness-needCert
September 19, 2024 13:02 5m 43s
Soundness property proof CI #1491: Pull request #221 synchronize by yveshauser
September 19, 2024 12:49 7m 34s yveshauser/soundness-wip
yveshauser/soundness-wip
September 19, 2024 12:49 7m 34s
Soundness property proof CI #1490: Pull request #221 synchronize by yveshauser
September 19, 2024 12:48 8m 3s yveshauser/soundness-wip
yveshauser/soundness-wip
September 19, 2024 12:48 8m 3s
Soundness property proof CI #1489: Pull request #221 synchronize by yveshauser
September 19, 2024 09:16 6m 46s yveshauser/soundness-wip
yveshauser/soundness-wip
September 19, 2024 09:16 6m 46s