Skip to content

Actions: ASSERT-KTH/SmartOracle

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
24 workflow runs
24 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
SmartOracle CI SmartOracle CI #25: Scheduled
4m 17s main
main
4m 17s
SmartOracle CI SmartOracle CI #24: Scheduled
4m 14s main
main
4m 14s
SmartOracle CI SmartOracle CI #23: Scheduled
4m 7s main
main
4m 7s
SmartOracle CI SmartOracle CI #22: Scheduled
5m 5s main
main
5m 5s
SmartOracle CI SmartOracle CI #21: Scheduled
1m 47s main
main
1m 47s
SmartOracle CI SmartOracle CI #20: Scheduled
4m 55s main
main
4m 55s
SmartOracle CI SmartOracle CI #19: Scheduled
4m 33s main
main
4m 33s
SmartOracle CI SmartOracle CI #18: Scheduled
4m 3s main
main
4m 3s
SmartOracle CI SmartOracle CI #17: Scheduled
5m 1s main
main
5m 1s
Modifying Dockerfile SmartOracle CI #16: Commit 10e8619 pushed by ange1506
5m 5s main
main
5m 5s
fix: track empty abi/ via .gitignore SmartOracle CI #15: Commit bb4db5c pushed by ange1506
4m 21s main
main
4m 21s
fix: adjust block range for local substate; add README SmartOracle CI #14: Commit d94632f pushed by ange1506
4m 42s main
main
4m 42s
SmartOracle CI SmartOracle CI #13: Scheduled
4m 11s main
main
4m 11s
Add invs directory to SmartOracle SmartOracle CI #12: Commit 0f8232e pushed by ange1506
4m 15s main
main
4m 15s
Add violation check to CI output validation SmartOracle CI #11: Commit 895e5e0 pushed by ange1506
4m 8s main
main
4m 8s
Change validation check SmartOracle CI #10: Commit d1c91c1 pushed by ange1506
4m 22s main
main
4m 22s
Refactor Dockerfile for improved build process SmartOracle CI #9: Commit 80c7935 pushed by ange1506
4m 10s main
main
4m 10s
Updating L3 SmartOracle CI #8: Commit 653bfce pushed by ange1506
4m 15s main
main
4m 15s
smoke test SmartOracle CI #7: Commit 49b627b pushed by ange1506
4m 19s main
main
4m 19s
Update download-artifact action version in CI workflow SmartOracle CI #6: Commit 2e01093 pushed by ange1506
5m 11s main
main
5m 11s
Update Dockerfile SmartOracle CI #5: Commit c096bb3 pushed by ange1506
4m 39s main
main
4m 39s
Update action versions in CI workflow SmartOracle CI #4: Commit ac19581 pushed by ange1506
4m 9s main
main
4m 9s
chore: add SmartOracle source directories SmartOracle CI #3: Commit b7ad856 pushed by ange1506
3m 52s main
main
3m 52s
SmartOracle CI SmartOracle CI #1: by ange1506
7s main
main
7s