Skip to content

Actions: eyereasoner/eye

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
3,281 workflow runs
3,281 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
refreshing ci #3376: Commit 1486e8f pushed by josd
May 6, 2024 22:33 36s master
master
May 6, 2024 22:33 36s
pages build and deployment pages-build-deployment #1601: by josd
May 6, 2024 22:33 41s
May 6, 2024 22:33 41s
back to log:query and using premise log:clause set_of_possible_conclu… ci #3375: Commit fed8774 pushed by jeswr
May 6, 2024 20:54 30s v10.7.2
v10.7.2
May 6, 2024 20:54 30s
tagged-release tagged-release #591: by josd
May 6, 2024 20:54 12s
May 6, 2024 20:54 12s
back to log:query and using premise log:clause set_of_possible_conclu… ci #3374: Commit fed8774 pushed by josd
May 6, 2024 20:54 25s v10.7.2
v10.7.2
May 6, 2024 20:54 25s
back to log:query and using premise log:clause set_of_possible_conclu… ci #3373: Commit fed8774 pushed by josd
May 6, 2024 20:54 24s master
master
May 6, 2024 20:54 24s
pages build and deployment pages-build-deployment #1600: by josd
May 6, 2024 20:54 46s
May 6, 2024 20:54 46s
having =>> as syntactic sugar for log:query ci #3372: Commit 7354f4e pushed by jeswr
May 6, 2024 11:29 33s v10.7.1
v10.7.1
May 6, 2024 11:29 33s
tagged-release tagged-release #590: by josd
May 6, 2024 11:29 14s
May 6, 2024 11:29 14s
having =>> as syntactic sugar for log:query ci #3371: Commit 7354f4e pushed by josd
May 6, 2024 11:29 25s v10.7.1
v10.7.1
May 6, 2024 11:29 25s
having =>> as syntactic sugar for log:query ci #3370: Commit 7354f4e pushed by josd
May 6, 2024 11:29 28s master
master
May 6, 2024 11:29 28s
pages build and deployment pages-build-deployment #1599: by josd
May 6, 2024 11:29 43s
May 6, 2024 11:29 43s
refreshing ci #3369: Commit c61b277 pushed by josd
May 5, 2024 21:07 31s master
master
May 5, 2024 21:07 31s
pages build and deployment pages-build-deployment #1598: by josd
May 5, 2024 21:07 40s
May 5, 2024 21:07 40s
refreshing ci #3368: Commit 87c3e51 pushed by josd
May 5, 2024 21:02 33s master
master
May 5, 2024 21:02 33s
pages build and deployment pages-build-deployment #1597: by josd
May 5, 2024 21:02 43s
May 5, 2024 21:02 43s
refreshing ci #3367: Commit 5202876 pushed by josd
May 5, 2024 15:58 24s master
master
May 5, 2024 15:58 24s
pages build and deployment pages-build-deployment #1596: by josd
May 5, 2024 15:58 43s
May 5, 2024 15:58 43s
adding proof by contrapositive example ci #3366: Commit ee4d622 pushed by josd
May 5, 2024 10:27 28s master
master
May 5, 2024 10:27 28s
pages build and deployment pages-build-deployment #1595: by josd
May 5, 2024 10:27 40s
May 5, 2024 10:27 40s
refreshing ci #3365: Commit 31abf86 pushed by josd
May 4, 2024 21:58 29s master
master
May 4, 2024 21:58 29s
pages build and deployment pages-build-deployment #1594: by josd
May 4, 2024 21:58 40s
May 4, 2024 21:58 40s
adding Doerthe's beetle example ci #3364: Commit f2233b3 pushed by josd
May 4, 2024 21:42 32s master
master
May 4, 2024 21:42 32s
pages build and deployment pages-build-deployment #1593: by josd
May 4, 2024 21:42 41s
May 4, 2024 21:42 41s
testing risc ci #3363: Commit 10ddf2c pushed by josd
May 4, 2024 21:15 21s master
master
May 4, 2024 21:15 21s