Skip to content

Actions: cda-tum/fiction

Actions

☂️ • Coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
1,595 workflow runs
1,595 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

✨ Switch the default technology mapper from mockturtle::map to mockturtle::emap ☂️ • Coverage #5930: Pull request #866 synchronize by marcelwa
15m 15s emap
emap
15m 15s
✨ Switch the default technology mapper from mockturtle::map to mockturtle::emap ☂️ • Coverage #5929: Pull request #866 synchronize by marcelwa
22m 10s emap
emap
22m 10s
⬆️👨‍💻 Update patch versions (#906) ☂️ • Coverage #5928: Commit f5e924e pushed by marcelwa
12m 13s main
main
12m 13s
⬆️👨‍💻 Update codecov/codecov-action action to v5.5.2 (#912) ☂️ • Coverage #5927: Commit 6e78468 pushed by renovate bot
1h 39m 40s main
main
1h 39m 40s
⬆️👨‍💻 Update codecov/codecov-action action to v5.5.2 ☂️ • Coverage #5926: Pull request #912 synchronize by renovate bot
1h 55m 23s renovate/codecov-codecov-action-5.x
renovate/codecov-codecov-action-5.x
1h 55m 23s
⬆️👨‍💻 Update cda-tum/setup-z3 action to v1.7.1 (#911) ☂️ • Coverage #5925: Commit cab2227 pushed by renovate bot
4h 28m 15s main
main
4h 28m 15s
⬆️👨‍💻 Update codecov/codecov-action action to v5.5.2 ☂️ • Coverage #5924: Pull request #912 synchronize by renovate bot
1h 24m 24s renovate/codecov-codecov-action-5.x
renovate/codecov-codecov-action-5.x
1h 24m 24s
⬆️👨‍💻 Update cda-tum/setup-z3 action to v1.7.1 ☂️ • Coverage #5923: Pull request #911 synchronize by renovate bot
3h 1m 10s renovate/cda-tum-setup-z3-1.x
renovate/cda-tum-setup-z3-1.x
3h 1m 10s
⬆️👨‍💻 Update codecov/codecov-action action to v5.5.2 ☂️ • Coverage #5922: Pull request #912 synchronize by renovate bot
4h 37m 50s renovate/codecov-codecov-action-5.x
renovate/codecov-codecov-action-5.x
4h 37m 50s
⬆️👨‍💻 Update cda-tum/setup-z3 action to v1.7.1 ☂️ • Coverage #5921: Pull request #911 synchronize by renovate bot
5h 33m 38s renovate/cda-tum-setup-z3-1.x
renovate/cda-tum-setup-z3-1.x
5h 33m 38s
⬆️👨‍💻 Update EndBug/add-and-commit action to v9.1.4 ☂️ • Coverage #5920: Pull request #916 synchronize by renovate bot
3h 7m 38s renovate/endbug-add-and-commit-9.x
renovate/endbug-add-and-commit-9.x
3h 7m 38s
⬆️👨‍💻 Update codecov/codecov-action action to v5.5.2 ☂️ • Coverage #5919: Pull request #912 synchronize by renovate bot
1h 43m 49s renovate/codecov-codecov-action-5.x
renovate/codecov-codecov-action-5.x
1h 43m 49s
⬆️👨‍💻 Update cda-tum/setup-z3 action to v1.7.1 ☂️ • Coverage #5918: Pull request #911 synchronize by renovate bot
1h 43m 45s renovate/cda-tum-setup-z3-1.x
renovate/cda-tum-setup-z3-1.x
1h 43m 45s
⬆️👨‍💻 Update patch versions ☂️ • Coverage #5917: Pull request #906 synchronize by marcelwa
2h 39m 39s renovate/all-patch
renovate/all-patch
2h 39m 39s
⬆️👨‍💻 Update actions/setup-python action to v6.2.0 (#909) ☂️ • Coverage #5916: Commit 586c6d3 pushed by renovate bot
3h 29m 3s main
main
3h 29m 3s
⬆️👨‍💻 Update codecov/codecov-action action to v5.5.2 ☂️ • Coverage #5915: Pull request #912 synchronize by renovate bot
44m 3s renovate/codecov-codecov-action-5.x
renovate/codecov-codecov-action-5.x
44m 3s
⬆️👨‍💻 Update cda-tum/setup-z3 action to v1.7.1 ☂️ • Coverage #5914: Pull request #911 synchronize by renovate bot
45m 19s renovate/cda-tum-setup-z3-1.x
renovate/cda-tum-setup-z3-1.x
45m 19s
⬆️👨‍💻 Update actions/setup-python action to v6.2.0 ☂️ • Coverage #5913: Pull request #909 synchronize by renovate bot
1h 10m 17s renovate/actions-setup-python-6.x
renovate/actions-setup-python-6.x
1h 10m 17s
⬆️👨‍💻 Update patch versions ☂️ • Coverage #5912: Pull request #906 synchronize by marcelwa
30m 10s renovate/all-patch
renovate/all-patch
30m 10s
⬆️👨‍💻 Update patch versions ☂️ • Coverage #5911: Pull request #906 opened by renovate bot
11m 50s renovate/all-patch
renovate/all-patch
11m 50s
⬆️👨‍💻 Update codecov/codecov-action action to v5.5.2 ☂️ • Coverage #5910: Pull request #912 opened by renovate bot
18m 17s renovate/codecov-codecov-action-5.x
renovate/codecov-codecov-action-5.x
18m 17s
⬆️👨‍💻 Update cda-tum/setup-z3 action to v1.7.1 ☂️ • Coverage #5909: Pull request #911 opened by renovate bot
18m 34s renovate/cda-tum-setup-z3-1.x
renovate/cda-tum-setup-z3-1.x
18m 34s
⬆️👨‍💻 Update actions/setup-python action to v6.2.0 ☂️ • Coverage #5908: Pull request #909 opened by renovate bot
18m 31s renovate/actions-setup-python-6.x
renovate/actions-setup-python-6.x
18m 31s
⬆️👨‍💻 Pin dependencies (#905) ☂️ • Coverage #5907: Commit 37fa259 pushed by marcelwa
27m 38s main
main
27m 38s
⬆️👨‍💻 Pin dependencies ☂️ • Coverage #5906: Pull request #905 opened by renovate bot
27m 3s renovate/pin-dependencies
renovate/pin-dependencies
27m 3s