Skip to content

Actions: sky-ecosystem/nfat

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
130 workflow runs
130 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

NFAT Facility test #123: Pull request #2 synchronize by telome
28s dev
dev
28s
NFAT Facility Certora #7: Pull request #2 synchronize by telome
10m 28s dev
dev
10m 28s
Address audit suggestions (#4) test #122: Commit 530a5e3 pushed by telome
23s dev
dev
23s
Address audit suggestions (#4) Certora #6: Commit 530a5e3 pushed by telome
10m 40s dev
dev
10m 40s
NFAT Facility Certora #5: Pull request #2 synchronize by telome
6m 17s dev
dev
6m 17s
NFAT Facility test #121: Pull request #2 synchronize by telome
19s dev
dev
19s
Add Certora specs (#3) Certora #4: Commit 4a085bf pushed by telome
5m 1s dev
dev
5m 1s
Add Certora specs (#3) test #120: Commit 4a085bf pushed by telome
22s dev
dev
22s
Address audit suggestions test #119: Pull request #4 synchronize by telome
34s audit-fix
audit-fix
34s
Address review comment test #118: Commit def927e pushed by telome
34s audit-fix
audit-fix
34s
Address audit suggestions test #117: Pull request #4 synchronize by telome
25s audit-fix
audit-fix
25s
Address audit suggestions test #116: Commit 0ce01f5 pushed by telome
23s audit-fix
audit-fix
23s
Address audit suggestions test #115: Pull request #4 synchronize by telome
34s audit-fix
audit-fix
34s
Address audit suggestions test #114: Commit 9902842 pushed by telome
39s audit-fix
audit-fix
39s
Address audit suggestions test #113: Pull request #4 opened by telome
31s audit-fix
audit-fix
31s
Address audit suggestions test #112: Commit ad77120 pushed by telome
36s audit-fix
audit-fix
36s
Add Certora specs test #111: Pull request #3 opened by sunbreak1211
34s certora
certora
34s
Add Certora specs Certora #3: Pull request #3 opened by sunbreak1211
5m 24s certora
certora
5m 24s
Add Certora specs Certora #2: Commit ef016bc pushed by sunbreak1211
26m 21s certora
certora
26m 21s
Add Certora specs test #110: Commit ef016bc pushed by sunbreak1211
35s certora
certora
35s
Add Certora specs Certora #1: Commit 88e3406 pushed by sunbreak1211
22s certora
certora
22s
Add Certora specs test #109: Commit 88e3406 pushed by sunbreak1211
21s certora
certora
21s
Add Certora specs test #108: Commit 59ebd98 pushed by sunbreak1211
35s certora
certora
35s
NFAT Facility test #107: Pull request #2 synchronize by telome
25s dev
dev
25s
Minor README tweak test #106: Commit b9eaaec pushed by telome
27s dev
dev
27s