Skip to content

Actions: cksystemsteaching/selfie

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
939 workflow runs
939 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Make Everything Selfie Make Everything Selfie #1746: Scheduled
January 3, 2025 01:03 2h 29m 31s main
main
January 3, 2025 01:03 2h 29m 31s
Replacing btormc with bitme Make Everything Selfie #1745: Commit b76d97f pushed by ckirsch
January 2, 2025 11:57 2h 31m 58s rotor
rotor
January 2, 2025 11:57 2h 31m 58s
Replacing btormc with bitme Autograde Selfie Assignment #1324: Commit b76d97f pushed by ckirsch
January 2, 2025 11:57 14s rotor
rotor
January 2, 2025 11:57 14s
Parsing beator files with bitme, not done Make Everything Selfie #1744: Commit d9f1e4c pushed by ckirsch
January 1, 2025 17:51 2h 28m 29s rotor
rotor
January 1, 2025 17:51 2h 28m 29s
Parsing beator files with bitme, not done Autograde Selfie Assignment #1323: Commit d9f1e4c pushed by ckirsch
January 1, 2025 17:51 14s rotor
rotor
January 1, 2025 17:51 14s
Replacing boolector with bitwuzla, introducing explicit Bool type in … Autograde Selfie Assignment #1322: Commit 149934a pushed by ckirsch
December 31, 2024 16:11 15s main
main
December 31, 2024 16:11 15s
Replacing boolector with bitwuzla, introducing explicit Bool type in … Make Everything Selfie #1743: Commit 149934a pushed by ckirsch
December 31, 2024 16:11 2h 31m 28s main
main
December 31, 2024 16:11 2h 31m 28s
pages build and deployment pages-build-deployment #139: by ckirsch
December 31, 2024 16:11 36s main
main
December 31, 2024 16:11 36s
Removing boolector from docker image for testing purposes Make Everything Selfie #1742: Commit 64e7456 pushed by ckirsch
December 31, 2024 15:16 2h 30m 29s main
main
December 31, 2024 15:16 2h 30m 29s
pages build and deployment pages-build-deployment #138: by ckirsch
December 31, 2024 15:16 41s main
main
December 31, 2024 15:16 41s
Removing OCD from docker image Make Everything Selfie #1741: Commit f921f9d pushed by ckirsch
December 31, 2024 14:52 21m 31s main
main
December 31, 2024 14:52 21m 31s
pages build and deployment pages-build-deployment #137: by ckirsch
December 31, 2024 14:52 43s main
main
December 31, 2024 14:52 43s
Fixing CMD syntax Make Everything Selfie #1740: Commit 72920e6 pushed by ckirsch
December 31, 2024 14:51 21m 31s main
main
December 31, 2024 14:51 21m 31s
pages build and deployment pages-build-deployment #136: by ckirsch
December 31, 2024 14:51 46s main
main
December 31, 2024 14:51 46s
Make Everything Selfie Make Everything Selfie #1739: Scheduled
December 27, 2024 01:03 21m 15s main
main
December 27, 2024 01:03 21m 15s
Make Everything Selfie Make Everything Selfie #1738: Scheduled
December 20, 2024 01:03 20m 51s main
main
December 20, 2024 01:03 20m 51s
Revert "Downgrading to Ubuntu 23.04 for boolector" Make Everything Selfie #1737: Commit a2a4f22 pushed by ckirsch
December 17, 2024 07:02 21m 57s main
main
December 17, 2024 07:02 21m 57s
pages build and deployment pages-build-deployment #135: by ckirsch
December 17, 2024 07:02 43s main
main
December 17, 2024 07:02 43s
Downgrading to Ubuntu 23.04 for boolector Make Everything Selfie #1736: Commit dfcfd57 pushed by ckirsch
December 16, 2024 14:40 21m 10s main
main
December 16, 2024 14:40 21m 10s
pages build and deployment pages-build-deployment #134: by ckirsch
December 16, 2024 14:40 41s main
main
December 16, 2024 14:40 41s
Moving docker build to Ubuntu 24.04 Make Everything Selfie #1735: Commit b71ec05 pushed by ckirsch
December 16, 2024 09:45 13m 1s main
main
December 16, 2024 09:45 13m 1s
pages build and deployment pages-build-deployment #133: by ckirsch
December 16, 2024 09:45 38s main
main
December 16, 2024 09:45 38s
Make Everything Selfie Make Everything Selfie #1734: Scheduled
December 13, 2024 01:10 21m 23s main
main
December 13, 2024 01:10 21m 23s
Term propagation framework done Make Everything Selfie #1733: Commit 23f6ce8 pushed by ckirsch
December 6, 2024 18:25 21m 26s rotor
rotor
December 6, 2024 18:25 21m 26s
Drafting term propagation, not done Make Everything Selfie #1732: Commit 67fb84c pushed by ckirsch
December 6, 2024 11:40 21m 51s rotor
rotor
December 6, 2024 11:40 21m 51s