https://github.com/jsliacan/flagmatic
Tip revision: a6d348f457965dfe5eb6b307771225874c9e595a authored by Jakub Sliacan on 20 September 2022, 15:04:42 UTC
Add GHA for basic checks
Add GHA for basic checks
Tip revision: a6d348f
| File | Mode | Size |
|---|---|---|
| 33.sage | -rw-r--r-- | 235 bytes |
| 34.sage | -rw-r--r-- | 237 bytes |
| 35.sage | -rw-r--r-- | 419 bytes |
| 36.sage | -rw-r--r-- | 341 bytes |
| 37.sage | -rw-r--r-- | 1.3 KB |
| 43.sage | -rw-r--r-- | 231 bytes |
| 53.sage | -rw-r--r-- | 249 bytes |
| 63.sage | -rw-r--r-- | 433 bytes |
| 73.sage | -rw-r--r-- | 495 bytes |
| 7cycles.sage | -rw-r--r-- | 342 bytes |
| 7cycles_induced.sage | -rw-r--r-- | 238 bytes |
| bt-cautionary.sage | -rw-r--r-- | 3.0 KB |
| bt-g1.sage | -rw-r--r-- | 497 bytes |
| bt-g2.sage | -rw-r--r-- | 318 bytes |
| bt-g3.sage | -rw-r--r-- | 341 bytes |
| bt-g4.sage | -rw-r--r-- | 360 bytes |
| bt-g5.sage | -rw-r--r-- | 343 bytes |
| bt-g6.sage | -rw-r--r-- | 505 bytes |
| bt-g7.sage | -rw-r--r-- | 534 bytes |
| bt-k4h1.sage | -rw-r--r-- | 481 bytes |
| erdos.sage | -rw-r--r-- | 3.0 KB |
| f32.sage | -rw-r--r-- | 212 bytes |
| f32j4.sage | -rw-r--r-- | 233 bytes |
| f32j5.sage | -rw-r--r-- | 245 bytes |
| ff83.sage | -rw-r--r-- | 194 bytes |
| ff84.sage | -rw-r--r-- | 235 bytes |
| grzesik.sage | -rw-r--r-- | 226 bytes |
| hirst.sage | -rw-r--r-- | 222 bytes |
| k4-f32.sage | -rw-r--r-- | 256 bytes |
| k4-lc5codegree.sage | -rw-r--r-- | 248 bytes |
| k4degree.sage | -rw-r--r-- | 315 bytes |
| k558.sage | -rw-r--r-- | 216 bytes |
| marchant.sage | -rw-r--r-- | 768 bytes |
| max42.sage | -rw-r--r-- | 175 bytes |
| max56.sage | -rw-r--r-- | 202 bytes |
| max57.sage | -rw-r--r-- | 205 bytes |
| max59.sage | -rw-r--r-- | 190 bytes |
| maxs3.sage | -rw-r--r-- | 351 bytes |
| maxs4.sage | -rw-r--r-- | 598 bytes |
| maxs5.sage | -rw-r--r-- | 3.1 KB |
| paw.sage | -rw-r--r-- | 695 bytes |
| razborov.sage | -rw-r--r-- | 223 bytes |
| sos.sage | -rw-r--r-- | 702 bytes |
