Skip to content

Actions: rems-project/cn

Actions

Style

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
style.yml
1,479 workflow runs
1,479 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Clarify Fulminate API Style #1413: Pull request #469 opened by ZippeyKeys12
1m 56s ZippeyKeys12:clarify-fulminate-api
ZippeyKeys12:clarify-fulminate-api
1m 56s
document the (tentative) cc version constraints Style #1412: Commit 51de466 pushed by pqwy
1m 58s main
main
1m 58s
[Darcy] Add solver option (#468) Style #1411: Commit c4e0045 pushed by ZippeyKeys12
2m 16s main
main
2m 16s
[Darcy] Add solver option Style #1410: Pull request #468 opened by ZippeyKeys12
1m 58s ZippeyKeys12:solver-option
ZippeyKeys12:solver-option
1m 58s
[CI] Add CVC5 to SMT-testing Style #1409: Pull request #467 synchronize by ZippeyKeys12
2m 13s ZippeyKeys12:darcy-cvc5
ZippeyKeys12:darcy-cvc5
2m 13s
[CI] Add CVC5 to SMT-testing Style #1408: Pull request #467 synchronize by ZippeyKeys12
1m 54s ZippeyKeys12:darcy-cvc5
ZippeyKeys12:darcy-cvc5
1m 54s
[Fulminate] Fix match default case for Unit (#466) Style #1407: Commit 6032ac7 pushed by ZippeyKeys12
2m 2s main
main
2m 2s
[CI] Add CVC5 to SMT-testing Style #1406: Pull request #467 synchronize by ZippeyKeys12
2m 14s ZippeyKeys12:darcy-cvc5
ZippeyKeys12:darcy-cvc5
2m 14s
[CI] Add CVC5 to SMT-testing Style #1405: Pull request #467 synchronize by ZippeyKeys12
1m 48s ZippeyKeys12:darcy-cvc5
ZippeyKeys12:darcy-cvc5
1m 48s
[CI] Add CVC5 to SMT-testing Style #1404: Pull request #467 synchronize by ZippeyKeys12
1m 54s ZippeyKeys12:darcy-cvc5
ZippeyKeys12:darcy-cvc5
1m 54s
[CI] Add CVC5 to SMT-testing Style #1403: Pull request #467 opened by ZippeyKeys12
1m 59s ZippeyKeys12:darcy-cvc5
ZippeyKeys12:darcy-cvc5
1m 59s
[Fulminate] Fix match default case for Unit Style #1402: Pull request #466 synchronize by ZippeyKeys12
2m 12s ZippeyKeys12:fix-replicate
ZippeyKeys12:fix-replicate
2m 12s
[Fulminate] Fix match default case for Unit Style #1401: Pull request #466 synchronize by ZippeyKeys12
2m 7s ZippeyKeys12:fix-replicate
ZippeyKeys12:fix-replicate
2m 7s
[Fulminate] Fix match default case for Unit Style #1400: Pull request #466 synchronize by ZippeyKeys12
2m 0s ZippeyKeys12:fix-replicate
ZippeyKeys12:fix-replicate
2m 0s
[Fulminate] Fix match default case for Unit Style #1399: Pull request #466 opened by ZippeyKeys12
1m 56s ZippeyKeys12:fix-replicate
ZippeyKeys12:fix-replicate
1m 56s
[Bennet] Re-impl old specialization (#465) Style #1398: Commit 13e2c8f pushed by ZippeyKeys12
1m 52s main
main
1m 52s
[Bennet] Re-impl old specialization Style #1397: Pull request #465 synchronize by ZippeyKeys12
2m 17s ZippeyKeys12:reimpl-old-specialization
ZippeyKeys12:reimpl-old-specialization
2m 17s
Build cleanups Style #1396: Pull request #464 synchronize by pqwy
2m 8s pqwy:build-cleanups
pqwy:build-cleanups
2m 8s
Build cleanups Style #1395: Pull request #464 synchronize by pqwy
1m 50s pqwy:build-cleanups
pqwy:build-cleanups
1m 50s
[Bennet] Re-impl old specialization Style #1394: Pull request #465 synchronize by ZippeyKeys12
2m 1s ZippeyKeys12:reimpl-old-specialization
ZippeyKeys12:reimpl-old-specialization
2m 1s
[Bennet] Re-impl old specialization Style #1393: Pull request #465 synchronize by ZippeyKeys12
2m 21s ZippeyKeys12:reimpl-old-specialization
ZippeyKeys12:reimpl-old-specialization
2m 21s
Build cleanups Style #1392: Pull request #464 synchronize by pqwy
2m 0s pqwy:build-cleanups
pqwy:build-cleanups
2m 0s
Build cleanups Style #1391: Pull request #464 synchronize by pqwy
2m 1s pqwy:build-cleanups
pqwy:build-cleanups
2m 1s
Build cleanups Style #1390: Pull request #464 synchronize by pqwy
2m 4s pqwy:build-cleanups
pqwy:build-cleanups
2m 4s
Build cleanups Style #1389: Pull request #464 synchronize by pqwy
1m 56s pqwy:build-cleanups
pqwy:build-cleanups
1m 56s