Skip to content

Actions: Akuli/jou

Actions

.github/workflows/linux.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
linux.yml
402 workflow runs
402 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Read assertion from file with offsets .github/workflows/linux.yml #1272: Pull request #513 synchronize by Akuli
July 28, 2024 13:17 11m 24s offsets
offsets
July 28, 2024 13:17 11m 24s
Read assertion from file with offsets .github/workflows/linux.yml #1271: Pull request #513 opened by Akuli
July 28, 2024 13:04 9m 33s offsets
offsets
July 28, 2024 13:04 9m 33s
Improve Mathlib (#511) .github/workflows/linux.yml #1270: Commit 6171948 pushed by Akuli
July 21, 2024 18:11 1m 53s main
main
July 21, 2024 18:11 1m 53s
Get assertion improvement .github/workflows/linux.yml #1269: Pull request #512 synchronize by littlewhitecloud
July 21, 2024 13:30 51s littlewhitecloud:rassertimprove
littlewhitecloud:rassertimprove
July 21, 2024 13:30 51s
Get assertion improvement .github/workflows/linux.yml #1268: Pull request #512 opened by littlewhitecloud
July 21, 2024 13:03 9m 35s littlewhitecloud:rassertimprove
littlewhitecloud:rassertimprove
July 21, 2024 13:03 9m 35s
Improve Mathlib .github/workflows/linux.yml #1267: Pull request #511 synchronize by Akuli
July 21, 2024 10:50 11m 11s littlewhitecloud:mathimprove
littlewhitecloud:mathimprove
July 21, 2024 10:50 11m 11s
Improve Mathlib .github/workflows/linux.yml #1266: Pull request #511 synchronize by littlewhitecloud
July 21, 2024 06:01 21m 5s littlewhitecloud:mathimprove
littlewhitecloud:mathimprove
July 21, 2024 06:01 21m 5s
Improve Mathlib .github/workflows/linux.yml #1265: Pull request #511 synchronize by littlewhitecloud
July 21, 2024 05:59 14m 40s littlewhitecloud:mathimprove
littlewhitecloud:mathimprove
July 21, 2024 05:59 14m 40s
Improve Mathlib .github/workflows/linux.yml #1264: Pull request #511 synchronize by littlewhitecloud
July 21, 2024 05:52 11m 25s littlewhitecloud:mathimprove
littlewhitecloud:mathimprove
July 21, 2024 05:52 11m 25s
Improve Mathlib .github/workflows/linux.yml #1263: Pull request #511 synchronize by littlewhitecloud
July 21, 2024 05:46 1m 34s littlewhitecloud:mathimprove
littlewhitecloud:mathimprove
July 21, 2024 05:46 1m 34s
Improve Mathlib .github/workflows/linux.yml #1262: Pull request #511 opened by littlewhitecloud
July 18, 2024 13:12 1m 50s littlewhitecloud:mathimprove
littlewhitecloud:mathimprove
July 18, 2024 13:12 1m 50s
Improve Mathlib .github/workflows/linux.yml #1261: Pull request #510 opened by littlewhitecloud
July 18, 2024 12:58 1m 39s littlewhitecloud:mathimprove
littlewhitecloud:mathimprove
July 18, 2024 12:58 1m 39s
User-friendly error message for missing main function .github/workflows/linux.yml #1260: Pull request #509 synchronize by littlewhitecloud
July 13, 2024 14:27 24m 20s littlewhitecloud:main
littlewhitecloud:main
July 13, 2024 14:27 24m 20s
User-friendly error message for missing main function .github/workflows/linux.yml #1259: Pull request #509 synchronize by littlewhitecloud
July 13, 2024 14:27 21m 26s littlewhitecloud:main
littlewhitecloud:main
July 13, 2024 14:27 21m 26s
User-friendly error message for missing main function .github/workflows/linux.yml #1258: Pull request #509 synchronize by littlewhitecloud
July 13, 2024 14:27 11m 16s littlewhitecloud:main
littlewhitecloud:main
July 13, 2024 14:27 11m 16s
User-friendly error message for missing main function .github/workflows/linux.yml #1257: Pull request #509 synchronize by littlewhitecloud
July 13, 2024 07:47 1m 43s littlewhitecloud:main
littlewhitecloud:main
July 13, 2024 07:47 1m 43s
User-friendly error message for missing main function .github/workflows/linux.yml #1256: Pull request #509 synchronize by littlewhitecloud
July 13, 2024 07:46 1m 48s littlewhitecloud:main
littlewhitecloud:main
July 13, 2024 07:46 1m 48s
User-friendly error message for missing main function .github/workflows/linux.yml #1255: Pull request #509 synchronize by littlewhitecloud
July 13, 2024 05:05 2m 26s littlewhitecloud:main
littlewhitecloud:main
July 13, 2024 05:05 2m 26s
User-friendly error message for missing main function .github/workflows/linux.yml #1254: Pull request #509 synchronize by littlewhitecloud
July 13, 2024 05:04 2m 1s littlewhitecloud:main
littlewhitecloud:main
July 13, 2024 05:04 2m 1s
User-friendly error message for missing main function .github/workflows/linux.yml #1253: Pull request #509 synchronize by littlewhitecloud
July 13, 2024 05:04 59s littlewhitecloud:main
littlewhitecloud:main
July 13, 2024 05:04 59s
User-friendly error message for missing main function .github/workflows/linux.yml #1252: Pull request #509 synchronize by littlewhitecloud
July 13, 2024 04:05 11m 16s littlewhitecloud:main
littlewhitecloud:main
July 13, 2024 04:05 11m 16s
User-friendly error message for missing main function .github/workflows/linux.yml #1251: Pull request #509 synchronize by littlewhitecloud
July 12, 2024 15:05 1m 48s littlewhitecloud:main
littlewhitecloud:main
July 12, 2024 15:05 1m 48s
User-friendly error message for missing main function .github/workflows/linux.yml #1250: Pull request #509 synchronize by littlewhitecloud
July 12, 2024 15:02 1m 3s littlewhitecloud:main
littlewhitecloud:main
July 12, 2024 15:02 1m 3s
User-friendly error message for missing main function .github/workflows/linux.yml #1249: Pull request #509 synchronize by littlewhitecloud
July 12, 2024 14:17 1m 5s littlewhitecloud:main
littlewhitecloud:main
July 12, 2024 14:17 1m 5s
User-friendly error message for missing main function .github/workflows/linux.yml #1248: Pull request #509 synchronize by littlewhitecloud
July 12, 2024 14:05 1m 1s littlewhitecloud:main
littlewhitecloud:main
July 12, 2024 14:05 1m 1s