Ondrej Kurák
Data scientist & Python developer with a specialization in anomaly detection and time series analysis
Pull Requests
42
Code Reviews
31
Top Repositories
Activity Feed (latest 50)
deleted branch feat/v2-changelog at Certora/certora-run-action
Jul 1, 2025, 1:25 PM
pushed to main-v2 in Certora/certora-run-action
Jul 1, 2025, 1:25 PM
merged a pull request in Certora/certora-run-action
Jul 1, 2025, 1:25 PM
Description of `WatchEvent` isn't defined
Jul 1, 2025, 8:43 AM
commented on pull request Certora/certora-run-action#41
Jul 1, 2025, 8:04 AM
reviewed a pull request in Certora/certora-run-action
Jul 1, 2025, 8:04 AM
opened a pull request in Certora/certora-run-action
Jul 1, 2025, 7:44 AM
created a branch feat/v2-changelog in Certora/certora-run-action
Jul 1, 2025, 7:42 AM
commented on pull request Certora/certora-run-action#41
Jul 1, 2025, 7:14 AM
commented on pull request Certora/certora-run-action#41
Jul 1, 2025, 7:15 AM
reviewed a pull request in Certora/certora-run-action
Jul 1, 2025, 7:18 AM
reviewed a pull request in Certora/certora-run-action
Jul 1, 2025, 7:18 AM
deleted branch feat/cli-release-enum at Certora/certora-run-action
Jul 1, 2025, 7:10 AM
pushed to main-v2 in Certora/certora-run-action
Jul 1, 2025, 7:10 AM
merged a pull request in Certora/certora-run-action
Jul 1, 2025, 7:10 AM
commented on pull request Certora/certora-run-action#42
Jun 30, 2025, 2:06 PM
reviewed a pull request in Certora/certora-run-action
Jun 30, 2025, 2:06 PM
pushed to feat/cli-release-enum in Certora/certora-run-action
Jun 30, 2025, 2:06 PM
deleted branch feat/main-v2-ci at Certora/certora-run-action
Jun 30, 2025, 2:04 PM
pushed to main-v2 in Certora/certora-run-action
Jun 30, 2025, 2:04 PM
merged a pull request in Certora/certora-run-action
Jun 30, 2025, 2:04 PM
opened a pull request in Certora/certora-run-action
Jun 30, 2025, 1:57 PM
created a branch feat/main-v2-ci in Certora/certora-run-action
Jun 30, 2025, 1:57 PM
opened a pull request in Certora/certora-run-action
Jun 30, 2025, 12:09 PM
created a branch feat/cli-release-enum in Certora/certora-run-action
Jun 30, 2025, 12:06 PM
created a branch main-v2 in Certora/certora-run-action
Jun 30, 2025, 11:56 AM
pushed to feat/certora-run-action in Certora/certora-vault-tutorial
Jun 24, 2025, 3:22 PM
commented on issue Certora/certora-run-action#40
Jun 24, 2025, 3:21 PM
Description of `ReleaseEvent` isn't defined
Jun 24, 2025, 3:15 PM
created a tag v1.4.1 in Certora/certora-run-action
Jun 24, 2025, 3:15 PM
deleted branch fix/solana-rust-setup at Certora/certora-run-action
Jun 24, 2025, 3:14 PM
pushed to main in Certora/certora-run-action
Jun 24, 2025, 3:14 PM
merged a pull request in Certora/certora-run-action
Jun 24, 2025, 3:14 PM
pushed to feat/certora-run-action in Certora/certora-vault-tutorial
Jun 24, 2025, 2:23 PM
pushed to v1 in Certora/rust-setup-action
Jun 24, 2025, 2:22 PM
created a tag v1.0.1 in Certora/rust-setup-action
Jun 24, 2025, 2:22 PM
Description of `ReleaseEvent` isn't defined
Jun 24, 2025, 2:22 PM
pushed to main in Certora/rust-setup-action
Jun 24, 2025, 2:21 PM
pushed to feat/certora-run-action in Certora/certora-vault-tutorial
Jun 24, 2025, 2:12 PM
pushed to fix/solana-rust-setup in Certora/certora-run-action
Jun 24, 2025, 2:09 PM
commented on pull request Certora/certora-run-action#39
Jun 24, 2025, 2:01 PM
reviewed a pull request in Certora/certora-run-action
Jun 24, 2025, 2:01 PM
commented on pull request Certora/certora-run-action#39
Jun 24, 2025, 2:00 PM
reviewed a pull request in Certora/certora-run-action
Jun 24, 2025, 2:00 PM
pushed to feat/certora-run-action in Certora/certora-vault-tutorial
Jun 24, 2025, 1:59 PM
pushed to main in Certora/rust-setup-action
Jun 24, 2025, 1:50 PM
pushed to feat/certora-run-action in Certora/certora-vault-tutorial
Jun 24, 2025, 1:45 PM
pushed to main in Certora/rust-setup-action
Jun 24, 2025, 1:39 PM
pushed to main in Certora/rust-setup-action
Jun 24, 2025, 1:34 PM
pushed to fix/solana-rust-setup in Certora/certora-run-action
Jun 24, 2025, 1:28 PM