Skip to content

Actions: Akuli/jou

.github/workflows/windows.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
422 workflow run results
422 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Read assertion from file with offsets
.github/workflows/windows.yml #1278: Pull request #513 opened by Akuli
July 28, 2024 13:04 2m 52s offsets
July 28, 2024 13:04 2m 52s
Improve Mathlib (#511)
.github/workflows/windows.yml #1277: Commit 6171948 pushed by Akuli
July 21, 2024 18:11 2m 59s main
July 21, 2024 18:11 2m 59s
Get assertion improvement
.github/workflows/windows.yml #1276: Pull request #512 synchronize by littlewhitecloud
July 21, 2024 13:30 2m 55s littlewhitecloud:rassertimprove
July 21, 2024 13:30 2m 55s
Get assertion improvement
.github/workflows/windows.yml #1275: Pull request #512 opened by littlewhitecloud
July 21, 2024 13:03 2m 55s littlewhitecloud:rassertimprove
July 21, 2024 13:03 2m 55s
Improve Mathlib
.github/workflows/windows.yml #1274: Pull request #511 synchronize by Akuli
July 21, 2024 10:50 2m 56s littlewhitecloud:mathimprove
July 21, 2024 10:50 2m 56s
Improve Mathlib
.github/workflows/windows.yml #1273: Pull request #511 synchronize by littlewhitecloud
July 21, 2024 06:01 13m 58s littlewhitecloud:mathimprove
July 21, 2024 06:01 13m 58s
Improve Mathlib
.github/workflows/windows.yml #1272: Pull request #511 synchronize by littlewhitecloud
July 21, 2024 05:59 3m 52s littlewhitecloud:mathimprove
July 21, 2024 05:59 3m 52s
Improve Mathlib
.github/workflows/windows.yml #1271: Pull request #511 synchronize by littlewhitecloud
July 21, 2024 05:52 3m 12s littlewhitecloud:mathimprove
July 21, 2024 05:52 3m 12s
Improve Mathlib
.github/workflows/windows.yml #1270: Pull request #511 synchronize by littlewhitecloud
July 21, 2024 05:46 2m 55s littlewhitecloud:mathimprove
July 21, 2024 05:46 2m 55s
Improve Mathlib
.github/workflows/windows.yml #1269: Pull request #511 opened by littlewhitecloud
July 18, 2024 13:12 2m 58s littlewhitecloud:mathimprove
July 18, 2024 13:12 2m 58s
Improve Mathlib
.github/workflows/windows.yml #1268: Pull request #510 opened by littlewhitecloud
July 18, 2024 12:58 3m 1s littlewhitecloud:mathimprove
July 18, 2024 12:58 3m 1s
User-friendly error message for missing main function
.github/workflows/windows.yml #1267: Pull request #509 synchronize by littlewhitecloud
July 13, 2024 14:27 16m 25s littlewhitecloud:main
July 13, 2024 14:27 16m 25s
User-friendly error message for missing main function
.github/workflows/windows.yml #1266: Pull request #509 synchronize by littlewhitecloud
July 13, 2024 14:27 16m 1s littlewhitecloud:main
July 13, 2024 14:27 16m 1s
User-friendly error message for missing main function
.github/workflows/windows.yml #1265: Pull request #509 synchronize by littlewhitecloud
July 13, 2024 14:27 16m 8s littlewhitecloud:main
July 13, 2024 14:27 16m 8s
User-friendly error message for missing main function
.github/workflows/windows.yml #1264: Pull request #509 synchronize by littlewhitecloud
July 13, 2024 07:47 2m 53s littlewhitecloud:main
July 13, 2024 07:47 2m 53s
User-friendly error message for missing main function
.github/workflows/windows.yml #1263: Pull request #509 synchronize by littlewhitecloud
July 13, 2024 07:46 3m 14s littlewhitecloud:main
July 13, 2024 07:46 3m 14s
User-friendly error message for missing main function
.github/workflows/windows.yml #1262: Pull request #509 synchronize by littlewhitecloud
July 13, 2024 05:05 4m 0s littlewhitecloud:main
July 13, 2024 05:05 4m 0s
User-friendly error message for missing main function
.github/workflows/windows.yml #1261: Pull request #509 synchronize by littlewhitecloud
July 13, 2024 05:04 3m 30s littlewhitecloud:main
July 13, 2024 05:04 3m 30s
User-friendly error message for missing main function
.github/workflows/windows.yml #1260: Pull request #509 synchronize by littlewhitecloud
July 13, 2024 05:04 3m 53s littlewhitecloud:main
July 13, 2024 05:04 3m 53s
User-friendly error message for missing main function
.github/workflows/windows.yml #1259: Pull request #509 synchronize by littlewhitecloud
July 13, 2024 04:05 2m 57s littlewhitecloud:main
July 13, 2024 04:05 2m 57s
User-friendly error message for missing main function
.github/workflows/windows.yml #1258: Pull request #509 synchronize by littlewhitecloud
July 12, 2024 15:05 3m 6s littlewhitecloud:main
July 12, 2024 15:05 3m 6s
User-friendly error message for missing main function
.github/workflows/windows.yml #1257: Pull request #509 synchronize by littlewhitecloud
July 12, 2024 15:02 2m 58s littlewhitecloud:main
July 12, 2024 15:02 2m 58s
User-friendly error message for missing main function
.github/workflows/windows.yml #1256: Pull request #509 synchronize by littlewhitecloud
July 12, 2024 14:17 3m 1s littlewhitecloud:main
July 12, 2024 14:17 3m 1s
User-friendly error message for missing main function
.github/workflows/windows.yml #1255: Pull request #509 synchronize by littlewhitecloud
July 12, 2024 14:05 3m 5s littlewhitecloud:main
July 12, 2024 14:05 3m 5s
User-friendly error message for missing main function
.github/workflows/windows.yml #1254: Pull request #509 synchronize by littlewhitecloud
July 9, 2024 12:06 3m 15s littlewhitecloud:main
July 9, 2024 12:06 3m 15s