Skip to content

Actions: morpho-org/bundler3

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,524 workflow runs
2,524 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Certora] Ensure that an Augustus can't call approve. Formatting #1034: Pull request #254 synchronize by colin-morpho
April 14, 2025 09:56 36s colin@verif/improve-invariant
colin@verif/improve-invariant
April 14, 2025 09:56 36s
[Certora] Ensure that an Augustus can't call approve. Foundry #1034: Pull request #254 synchronize by colin-morpho
April 14, 2025 09:56 2m 8s colin@verif/improve-invariant
colin@verif/improve-invariant
April 14, 2025 09:56 2m 8s
[Certora] Ensure that an Augustus can't call approve. Certora #303: Pull request #254 synchronize by colin-morpho
April 14, 2025 09:56 18m 44s colin@verif/improve-invariant
colin@verif/improve-invariant
April 14, 2025 09:56 18m 44s
[Certora] Ensure that an Augustus can't call approve. Foundry #1033: Pull request #254 opened by colin-morpho
April 13, 2025 13:53 5m 40s colin@verif/improve-invariant
colin@verif/improve-invariant
April 13, 2025 13:53 5m 40s
[Certora] Ensure that an Augustus can't call approve. Formatting #1033: Pull request #254 opened by colin-morpho
April 13, 2025 13:53 31s colin@verif/improve-invariant
colin@verif/improve-invariant
April 13, 2025 13:53 31s
[Certora] Ensure that an Augustus can't call approve. Certora #302: Pull request #254 opened by colin-morpho
April 13, 2025 13:53 18m 55s colin@verif/improve-invariant
colin@verif/improve-invariant
April 13, 2025 13:53 18m 55s
[Certora] Call resolution problem Formatting #1032: Pull request #253 synchronize by colin-morpho
March 19, 2025 11:38 33s colin@verif/forbiden-call-resolution
colin@verif/forbiden-call-resolution
March 19, 2025 11:38 33s
[Certora] Call resolution problem Foundry #1032: Pull request #253 synchronize by colin-morpho
March 19, 2025 11:38 5m 49s colin@verif/forbiden-call-resolution
colin@verif/forbiden-call-resolution
March 19, 2025 11:38 5m 49s
[Certora] Call resolution problem Certora #301: Pull request #253 synchronize by colin-morpho
March 19, 2025 11:38 19m 10s colin@verif/forbiden-call-resolution
colin@verif/forbiden-call-resolution
March 19, 2025 11:38 19m 10s
[Certora] Call resolution problem Certora #300: Pull request #253 synchronize by colin-morpho
March 7, 2025 16:35 13m 17s colin@verif/forbiden-call-resolution
colin@verif/forbiden-call-resolution
March 7, 2025 16:35 13m 17s
[Certora] Call resolution problem Formatting #1031: Pull request #253 synchronize by colin-morpho
March 7, 2025 16:35 34s colin@verif/forbiden-call-resolution
colin@verif/forbiden-call-resolution
March 7, 2025 16:35 34s
[Certora] Call resolution problem Foundry #1031: Pull request #253 synchronize by colin-morpho
March 7, 2025 16:35 1m 49s colin@verif/forbiden-call-resolution
colin@verif/forbiden-call-resolution
March 7, 2025 16:35 1m 49s
[Certora] Call resolution problem Certora #299: Pull request #253 opened by colin-morpho
March 7, 2025 16:32 8m 52s colin@verif/forbiden-call-resolution
colin@verif/forbiden-call-resolution
March 7, 2025 16:32 8m 52s
[Certora] Call resolution problem Formatting #1030: Pull request #253 opened by colin-morpho
March 7, 2025 16:32 40s colin@verif/forbiden-call-resolution
colin@verif/forbiden-call-resolution
March 7, 2025 16:32 40s
[Certora] Call resolution problem Foundry #1030: Pull request #253 opened by colin-morpho
March 7, 2025 16:32 1m 49s colin@verif/forbiden-call-resolution
colin@verif/forbiden-call-resolution
March 7, 2025 16:32 1m 49s
Merge pull request #251 from morpho-org/docs/audits Foundry #1029: Commit 4887f33 pushed by MathisGD
February 19, 2025 13:01 2m 42s main
main
February 19, 2025 13:01 2m 42s
Merge pull request #251 from morpho-org/docs/audits Formatting #1029: Commit 4887f33 pushed by MathisGD
February 19, 2025 13:01 58s main
main
February 19, 2025 13:01 58s
Merge pull request #251 from morpho-org/docs/audits Certora #298: Commit 4887f33 pushed by MathisGD
February 19, 2025 13:01 14m 2s main
main
February 19, 2025 13:01 14m 2s
Update audits Certora #297: Pull request #251 synchronize by adhusson
February 19, 2025 09:36 18m 59s docs/audits
docs/audits
February 19, 2025 09:36 18m 59s
Update audits Foundry #1028: Pull request #251 synchronize by adhusson
February 19, 2025 09:36 1m 33s docs/audits
docs/audits
February 19, 2025 09:36 1m 33s
Update audits Formatting #1028: Pull request #251 synchronize by adhusson
February 19, 2025 09:36 41s docs/audits
docs/audits
February 19, 2025 09:36 41s
Update audits Foundry #1027: Pull request #251 synchronize by adhusson
February 18, 2025 21:38 2m 50s docs/audits
docs/audits
February 18, 2025 21:38 2m 50s
Update audits Formatting #1027: Pull request #251 synchronize by adhusson
February 18, 2025 21:38 56s docs/audits
docs/audits
February 18, 2025 21:38 56s
Update audits Certora #296: Pull request #251 synchronize by adhusson
February 18, 2025 21:38 12m 56s docs/audits
docs/audits
February 18, 2025 21:38 12m 56s
Update audits Certora #295: Pull request #251 opened by adhusson
February 18, 2025 21:37 14m 0s docs/audits
docs/audits
February 18, 2025 21:37 14m 0s