Skip to content

Actions: sybila/biodivine-aeon-sketchbook

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
226 workflow runs
226 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Backend support for update and uninterpreted functions Rust lint #16: Pull request #28 synchronize by ondrej33
March 12, 2024 13:37 4m 57s dev-functions-backend
dev-functions-backend
March 12, 2024 13:37 4m 57s
Backend support for update and uninterpreted functions Rust lint #15: Pull request #28 synchronize by ondrej33
March 10, 2024 18:11 5m 28s dev-functions-backend
dev-functions-backend
March 10, 2024 18:11 5m 28s
Backend support for update and uninterpreted functions ESLint #76: Pull request #28 synchronize by ondrej33
March 10, 2024 18:11 1m 5s dev-functions-backend
dev-functions-backend
March 10, 2024 18:11 1m 5s
ESLint ESLint #75: Scheduled
March 7, 2024 15:29 49s main
main
March 7, 2024 15:29 49s
Backend support for update and uninterpreted functions Rust lint #14: Pull request #28 opened by ondrej33
March 5, 2024 10:28 4m 53s dev-functions-backend
dev-functions-backend
March 5, 2024 10:28 4m 53s
Backend support for update and uninterpreted functions ESLint #74: Pull request #28 opened by ondrej33
March 5, 2024 10:28 51s dev-functions-backend
dev-functions-backend
March 5, 2024 10:28 51s
ESLint ESLint #73: Scheduled
February 29, 2024 15:29 52s main
main
February 29, 2024 15:29 52s
ESLint ESLint #72: Scheduled
February 22, 2024 15:29 50s main
main
February 22, 2024 15:29 50s
Merge pull request #27 from sybila/feat/functions_editor Rust lint #13: Commit 8f87ad2 pushed by daemontus
February 16, 2024 13:25 4m 50s main
main
February 16, 2024 13:25 4m 50s
Merge pull request #27 from sybila/feat/functions_editor ESLint #71: Commit 8f87ad2 pushed by daemontus
February 16, 2024 13:25 55s main
main
February 16, 2024 13:25 55s
ESLint ESLint #70: Scheduled
February 15, 2024 15:29 41s main
main
February 15, 2024 15:29 41s
WIP: Feat/functions editor ESLint #69: Pull request #27 synchronize by ivicic-petr
February 15, 2024 15:23 54s feat/functions_editor
feat/functions_editor
February 15, 2024 15:23 54s
WIP: Feat/functions editor Rust lint #12: Pull request #27 synchronize by ivicic-petr
February 15, 2024 15:23 5m 10s feat/functions_editor
feat/functions_editor
February 15, 2024 15:23 5m 10s
WIP: Feat/functions editor ESLint #68: Pull request #27 synchronize by ivicic-petr
February 12, 2024 16:41 52s feat/functions_editor
feat/functions_editor
February 12, 2024 16:41 52s
WIP: Feat/functions editor Rust lint #11: Pull request #27 synchronize by ivicic-petr
February 12, 2024 16:41 4m 43s feat/functions_editor
feat/functions_editor
February 12, 2024 16:41 4m 43s
WIP: Feat/functions editor ESLint #67: Pull request #27 synchronize by ivicic-petr
February 9, 2024 13:15 53s feat/functions_editor
feat/functions_editor
February 9, 2024 13:15 53s