Skip to content

Actions: eyereasoner/eye

Actions

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
workflow.yml
2,305 workflow runs
2,305 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

refreshing ci #4406: Commit 16294e1 pushed by josd
December 12, 2024 15:26 47s master
master
December 12, 2024 15:26 47s
adding proof by contrapositive example ci #4405: Commit 36f8e78 pushed by josd
December 12, 2024 13:35 36s master
master
December 12, 2024 13:35 36s
refreshing ci #4404: Commit fb34515 pushed by josd
December 11, 2024 22:42 23s master
master
December 11, 2024 22:42 23s
refreshing ci #4403: Commit 04a50ba pushed by josd
December 11, 2024 22:29 27s master
master
December 11, 2024 22:29 27s
refreshing ci #4402: Commit 168b978 pushed by josd
December 11, 2024 22:22 27s master
master
December 11, 2024 22:22 27s
fixing log:satisfiable ci #4401: Commit 5338fa7 pushed by jeswr
December 11, 2024 21:38 24s v10.30.17
v10.30.17
December 11, 2024 21:38 24s
fixing log:satisfiable ci #4400: Commit 5338fa7 pushed by josd
December 11, 2024 21:38 29s v10.30.17
v10.30.17
December 11, 2024 21:38 29s
fixing log:satisfiable ci #4399: Commit 5338fa7 pushed by josd
December 11, 2024 21:38 28s master
master
December 11, 2024 21:38 28s
adding proof by cases example ci #4398: Commit 6c342d3 pushed by josd
December 11, 2024 20:58 35s master
master
December 11, 2024 20:58 35s
fixing string:substring ci #4397: Commit a772ec3 pushed by jeswr
December 9, 2024 13:15 35s v10.30.16
v10.30.16
December 9, 2024 13:15 35s
fixing string:substring ci #4396: Commit a772ec3 pushed by josd
December 9, 2024 13:15 27s v10.30.16
v10.30.16
December 9, 2024 13:15 27s
fixing string:substring ci #4395: Commit a772ec3 pushed by josd
December 9, 2024 13:15 25s master
master
December 9, 2024 13:15 25s
adding log:satisfiable built-in ci #4394: Commit d6b46cd pushed by jeswr
December 9, 2024 11:52 34s v10.30.15
v10.30.15
December 9, 2024 11:52 34s
adding log:satisfiable built-in ci #4393: Commit d6b46cd pushed by josd
December 9, 2024 11:52 28s v10.30.15
v10.30.15
December 9, 2024 11:52 28s
adding log:satisfiable built-in ci #4392: Commit d6b46cd pushed by josd
December 9, 2024 11:52 32s master
master
December 9, 2024 11:52 32s
fixing log:conclusion ci #4391: Commit fe29726 pushed by jeswr
December 8, 2024 23:29 23s v10.30.14
v10.30.14
December 8, 2024 23:29 23s
fixing log:conclusion ci #4390: Commit fe29726 pushed by josd
December 8, 2024 23:29 35s v10.30.14
v10.30.14
December 8, 2024 23:29 35s
fixing log:conclusion ci #4389: Commit fe29726 pushed by josd
December 8, 2024 23:29 24s master
master
December 8, 2024 23:29 24s
using lists for compound terms ci #4388: Commit 787f98e pushed by jeswr
December 7, 2024 15:06 24s v10.30.13
v10.30.13
December 7, 2024 15:06 24s
using lists for compound terms ci #4387: Commit 787f98e pushed by josd
December 7, 2024 15:05 35s v10.30.13
v10.30.13
December 7, 2024 15:05 35s
using lists for compound terms ci #4386: Commit 787f98e pushed by josd
December 7, 2024 15:05 26s master
master
December 7, 2024 15:05 26s
using free vars ci #4385: Commit bce3f49 pushed by josd
December 6, 2024 21:38 31s master
master
December 6, 2024 21:38 31s
refreshing ci #4384: Commit 583ae82 pushed by josd
December 6, 2024 18:06 24s master
master
December 6, 2024 18:06 24s
fixing log:call ci #4383: Commit 5128e1f pushed by jeswr
December 6, 2024 18:04 34s v10.30.12
v10.30.12
December 6, 2024 18:04 34s
fixing log:call ci #4382: Commit 5128e1f pushed by josd
December 6, 2024 18:04 23s v10.30.12
v10.30.12
December 6, 2024 18:04 23s