Skip to content

Actions: imldresden/evonne

Actions

Deploy Evonne docs to Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
github-pages.yml
122 workflow runs
122 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

id bug Deploy Evonne docs to Pages #72: Commit 2a70a26 pushed by menocsk27
November 12, 2024 16:02 1m 6s dev
dev
November 12, 2024 16:02 1m 6s
update to draw multiple plots Deploy Evonne docs to Pages #71: Commit 6b72a38 pushed by menocsk27
November 12, 2024 15:59 1m 5s dev
dev
November 12, 2024 15:59 1m 5s
integrated linear domain expl Deploy Evonne docs to Pages #70: Commit b8903bd pushed by menocsk27
November 11, 2024 16:42 57s dev
dev
November 11, 2024 16:42 57s
resolved conflict in server.js Deploy Evonne docs to Pages #69: Commit 0bf50bc pushed by ChristianAlrabbaa
November 7, 2024 13:10 1m 0s dev
dev
November 7, 2024 13:10 1m 0s
sig.txt Deploy Evonne docs to Pages #68: Commit 720e174 pushed by menocsk27
November 6, 2024 13:36 59s dev
dev
November 6, 2024 13:36 59s
fix resizer Deploy Evonne docs to Pages #67: Commit c6d4d27 pushed by menocsk27
November 6, 2024 13:04 1m 1s dev
dev
November 6, 2024 13:04 1m 1s
Merge branch 'dev' of github.com:imldresden/evonne into dev Deploy Evonne docs to Pages #66: Commit bf40e14 pushed by ChristianAlrabbaa
November 5, 2024 18:08 1m 6s dev
dev
November 5, 2024 18:08 1m 6s
reduced more of the linear proj logic Deploy Evonne docs to Pages #65: Commit d68b2f4 pushed by menocsk27
November 4, 2024 14:18 56s dev
dev
November 4, 2024 14:18 56s
reduced linear proj import Deploy Evonne docs to Pages #64: Commit f89e4fa pushed by menocsk27
November 1, 2024 14:38 53s dev
dev
November 1, 2024 14:38 53s
small fix to ce settings Deploy Evonne docs to Pages #63: Commit 5bcb6ac pushed by menocsk27
November 1, 2024 10:34 1m 3s dev
dev
November 1, 2024 10:34 1m 3s
natural language only for proofs Deploy Evonne docs to Pages #62: Commit 624b5c4 pushed by menocsk27
November 1, 2024 10:26 1m 1s dev
dev
November 1, 2024 10:26 1m 1s
Merge branch 'dev' of github.com:imldresden/evonne into dev Deploy Evonne docs to Pages #61: Commit 73d0bfe pushed by ChristianAlrabbaa
October 30, 2024 16:48 56s dev
dev
October 30, 2024 16:48 56s
bring back colors Deploy Evonne docs to Pages #60: Commit 34ef07d pushed by menocsk27
October 30, 2024 14:02 54s dev
dev
October 30, 2024 14:02 54s
axiom modal changes Deploy Evonne docs to Pages #59: Commit a16e123 pushed by menocsk27
October 30, 2024 13:58 59s dev
dev
October 30, 2024 13:58 59s
uses .model.xml file for ce, adds categories in axiom dropdown Deploy Evonne docs to Pages #58: Commit 88ec4b0 pushed by menocsk27
October 30, 2024 11:44 55s dev
dev
October 30, 2024 11:44 55s
normalize css reset Deploy Evonne docs to Pages #57: Commit 4604a4a pushed by menocsk27
October 30, 2024 11:13 1m 8s dev
dev
October 30, 2024 11:13 1m 8s
remove duplicated keyframes animation Deploy Evonne docs to Pages #56: Commit 691bf51 pushed by menocsk27
October 30, 2024 11:02 58s dev
dev
October 30, 2024 11:02 58s
missing docs icons Deploy Evonne docs to Pages #55: Commit 0227f78 pushed by menocsk27
October 30, 2024 08:15 46m 4s dev
dev
October 30, 2024 08:15 46m 4s
merge -mod Deploy Evonne docs to Pages #54: Commit 62dad35 pushed by menocsk27
October 29, 2024 14:50 1m 2s dev
dev
October 29, 2024 14:50 1m 2s
Merge branch 'dev' of github.com:imldresden/evonne into dev Deploy Evonne docs to Pages #53: Commit 23f78a3 pushed by ChristianAlrabbaa
October 29, 2024 13:16 58s dev
dev
October 29, 2024 13:16 58s
sorting in server Deploy Evonne docs to Pages #52: Commit 5dfdf25 pushed by menocsk27
October 28, 2024 15:38 1m 6s dev
dev
October 28, 2024 15:38 1m 6s
further optimization Deploy Evonne docs to Pages #51: Commit a38da4a pushed by menocsk27
October 28, 2024 15:15 1m 2s dev
dev
October 28, 2024 15:15 1m 2s
optimize concept selection for proof vs counterexample Deploy Evonne docs to Pages #50: Commit 406260c pushed by menocsk27
October 28, 2024 12:15 1m 7s dev
dev
October 28, 2024 12:15 1m 7s
added back server changes Deploy Evonne docs to Pages #49: Commit e394a32 pushed by ChristianAlrabbaa
October 22, 2024 16:39 1m 0s dev
dev
October 22, 2024 16:39 1m 0s
remove log.txt Deploy Evonne docs to Pages #48: Commit b617f55 pushed by menocsk27
October 21, 2024 08:11 1m 49s dev
dev
October 21, 2024 08:11 1m 49s