Skip to content

Actions: toby-bro/VeriFuse

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
186 workflow runs
186 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

lint: fp prevention + golangci new checks CI #227: Commit 54186da pushed by toby-bro
55s master
master
55s
new bugs CI #223: Commit 678fb5d pushed by toby-bro
1m 25s master
master
1m 25s
update gitignore CI #222: Commit 5e7f769 pushed by toby-bro
3m 9s master
master
3m 9s
update gitignore CI #221: Commit 3b6a991 pushed by toby-bro
2m 37s master
master
2m 37s
update gitignore CI #220: Commit 5e7f769 pushed by toby-bro
2m 42s master
master
2m 42s
update gitattributes CI #219: Commit fa667fb pushed by toby-bro
3m 42s master
master
3m 42s
update gitattributes CI #218: Commit e8010a0 pushed by toby-bro
3m 58s master
master
3m 58s
update gitattributes CI #217: Commit 9636f44 pushed by toby-bro
3m 39s master
master
3m 39s
update gitattributes CI #216: Commit a1fd619 pushed by toby-bro
2m 33s master
master
2m 33s
recategorize bug CI #215: Commit a71ceed pushed by toby-bro
3m 40s master
master
3m 40s
update precommit CI #214: Commit ab3d518 pushed by toby-bro
2m 24s master
master
2m 24s
update CI #213: Commit 932fae5 pushed by toby-bro
2m 18s master
master
2m 18s
confirmed CI #212: Commit 013d862 pushed by toby-bro
1m 23s master
master
1m 23s
bug: all CI #211: Commit 762f62d pushed by toby-bro
1m 5s master
master
1m 5s
typo CI #210: Commit e308b57 pushed by toby-bro
1m 33s master
master
1m 33s
typo CI #209: Commit cac8fbc pushed by toby-bro
1m 41s master
master
1m 41s
feat: yosys optimisations CI #208: Commit 0869d4b pushed by toby-bro
1m 37s master
master
1m 37s
chore: add context to cmd command CI #207: Commit 334e417 pushed by toby-bro
1m 6s master
master
1m 6s
feat: optimise simulators CI #206: Commit 1a48d41 pushed by toby-bro
1m 10s master
master
1m 10s
feat: prettier minoration CI #205: Commit 4c9bd3c pushed by toby-bro
1m 6s master
master
1m 6s
feat: prettier minoration CI #204: Commit 3a29e99 pushed by toby-bro
1m 5s master
master
1m 5s
Merge remote-tracking branch 'refs/remotes/origin/master' CI #203: Commit 2846c73 pushed by toby-bro
58s master
master
58s
feat: specify top CI #202: Commit 71d5c1a pushed by toby-bro
1m 10s master
master
1m 10s
fix: g in generate CI #201: Commit 0249918 pushed by toby-bro
59s master
master
59s
typo CI #200: Commit 28e9670 pushed by toby-bro
1m 48s master
master
1m 48s