Skip to content

Actions: sybila/biodivine-sketchbook

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
346 workflow runs
346 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ESLint ESLint #91: Scheduled
April 4, 2024 15:29 57s main
main
April 4, 2024 15:29 57s
Function editor bugfixes Rust lint #26: Pull request #30 opened by ivicic-petr
March 29, 2024 13:56 4m 45s random-fixes
random-fixes
March 29, 2024 13:56 4m 45s
Function editor bugfixes ESLint #90: Pull request #30 opened by ivicic-petr
March 29, 2024 13:56 54s random-fixes
random-fixes
March 29, 2024 13:56 54s
ESLint ESLint #89: Scheduled
March 28, 2024 15:29 1m 7s main
main
March 28, 2024 15:29 1m 7s
ESLint ESLint #88: Scheduled
March 21, 2024 15:29 52s main
main
March 21, 2024 15:29 52s
Merge pull request #28 from sybila/dev-functions-backend Rust lint #25: Commit f31819c pushed by daemontus
March 15, 2024 13:25 4m 57s main
main
March 15, 2024 13:25 4m 57s
Merge pull request #28 from sybila/dev-functions-backend ESLint #87: Commit f31819c pushed by daemontus
March 15, 2024 13:25 48s main
main
March 15, 2024 13:25 48s
Backend support for update and uninterpreted functions Rust lint #24: Pull request #28 synchronize by daemontus
March 15, 2024 13:24 5m 12s dev-functions-backend
dev-functions-backend
March 15, 2024 13:24 5m 12s
Backend support for update and uninterpreted functions ESLint #86: Pull request #28 synchronize by daemontus
March 15, 2024 13:24 55s dev-functions-backend
dev-functions-backend
March 15, 2024 13:24 55s
Merge pull request #29 from sybila/feat/observations ESLint #85: Commit 1a645ba pushed by daemontus
March 15, 2024 13:08 50s main
main
March 15, 2024 13:08 50s
Merge pull request #29 from sybila/feat/observations Rust lint #23: Commit 1a645ba pushed by daemontus
March 15, 2024 13:08 4m 55s main
main
March 15, 2024 13:08 4m 55s
Feat/observations ESLint #84: Pull request #29 synchronize by daemontus
March 15, 2024 13:03 50s feat/observations
feat/observations
March 15, 2024 13:03 50s
Feat/observations Rust lint #22: Pull request #29 synchronize by daemontus
March 15, 2024 13:03 4m 39s feat/observations
feat/observations
March 15, 2024 13:03 4m 39s
Backend support for update and uninterpreted functions ESLint #83: Pull request #28 synchronize by ondrej33
March 14, 2024 17:39 47s dev-functions-backend
dev-functions-backend
March 14, 2024 17:39 47s
Backend support for update and uninterpreted functions Rust lint #21: Pull request #28 synchronize by ondrej33
March 14, 2024 17:39 5m 5s dev-functions-backend
dev-functions-backend
March 14, 2024 17:39 5m 5s
Backend support for update and uninterpreted functions ESLint #82: Pull request #28 synchronize by ondrej33
March 14, 2024 16:17 48s dev-functions-backend
dev-functions-backend
March 14, 2024 16:17 48s
Backend support for update and uninterpreted functions Rust lint #20: Pull request #28 synchronize by ondrej33
March 14, 2024 16:17 4m 42s dev-functions-backend
dev-functions-backend
March 14, 2024 16:17 4m 42s
ESLint ESLint #81: Scheduled
March 14, 2024 15:29 56s main
main
March 14, 2024 15:29 56s
Feat/observations Rust lint #19: Pull request #29 synchronize by ivicic-petr
March 13, 2024 20:58 2m 16s feat/observations
feat/observations
March 13, 2024 20:58 2m 16s
Feat/observations ESLint #80: Pull request #29 synchronize by ivicic-petr
March 13, 2024 20:58 53s feat/observations
feat/observations
March 13, 2024 20:58 53s
Feat/observations ESLint #79: Pull request #29 opened by ivicic-petr
March 13, 2024 20:40 44s feat/observations
feat/observations
March 13, 2024 20:40 44s
Feat/observations Rust lint #18: Pull request #29 opened by ivicic-petr
March 13, 2024 20:40 2m 12s feat/observations
feat/observations
March 13, 2024 20:40 2m 12s
Backend support for update and uninterpreted functions Rust lint #17: Pull request #28 synchronize by ondrej33
March 13, 2024 08:10 4m 47s dev-functions-backend
dev-functions-backend
March 13, 2024 08:10 4m 47s
Backend support for update and uninterpreted functions ESLint #78: Pull request #28 synchronize by ondrej33
March 13, 2024 08:10 51s dev-functions-backend
dev-functions-backend
March 13, 2024 08:10 51s
Backend support for update and uninterpreted functions ESLint #77: Pull request #28 synchronize by ondrej33
March 12, 2024 13:37 49s dev-functions-backend
dev-functions-backend
March 12, 2024 13:37 49s
ProTip! You can narrow down the results and go further in time using created:<2024-03-12 or the other filters available.