Skip to content

Actions: saona-raimundo/formalisms_every_computer_scientist_should_know

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
29 workflow runs
29 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #10 from smml1996/main Build LaTex Document #29: Commit c6dbc36 pushed by smml1996
August 20, 2024 13:27 25s main
main
August 20, 2024 13:27 25s
Merge pull request #9 from smml1996/main Build LaTex Document #28: Commit 8817875 pushed by saona-raimundo
August 5, 2024 09:39 20s main
main
August 5, 2024 09:39 20s
Merge pull request #8 from smml1996/main Build LaTex Document #27: Commit 032fe81 pushed by saona-raimundo
July 24, 2024 16:35 23s main
main
July 24, 2024 16:35 23s
Merge pull request #7 from madvorak/main Build LaTex Document #26: Commit 595f61f pushed by saona-raimundo
June 25, 2024 06:45 27s main
main
June 25, 2024 06:45 27s
Update class_22.tex Build LaTex Document #25: Commit 6e68dd0 pushed by saona-raimundo
February 16, 2024 07:39 38s main
main
February 16, 2024 07:39 38s
Class 22 Build LaTex Document #24: Commit c287c59 pushed by saona-raimundo
February 14, 2024 12:51 22s main
main
February 14, 2024 12:51 22s
Merge pull request #6 from madvorak/main Build LaTex Document #23: Commit 690d56f pushed by saona-raimundo
December 30, 2023 20:01 18s main
main
December 30, 2023 20:01 18s
typo \Gamma Build LaTex Document #22: Commit 1a6e6a9 pushed by madvorak
November 28, 2023 20:01 21s main
main
November 28, 2023 20:01 21s
added lecture 9 Build LaTex Document #21: Commit 9f0dc60 pushed by ekgma
November 25, 2023 10:30 44s main
main
November 25, 2023 10:30 44s
Merge pull request #5 from madvorak/main Build LaTex Document #20: Commit 614ef3c pushed by saona-raimundo
November 23, 2023 12:10 53s main
main
November 23, 2023 12:10 53s
compile pdf Build LaTex Document #19: Commit bf85a90 pushed by saona-raimundo
November 22, 2023 14:18 25s main
main
November 22, 2023 14:18 25s
Merge pull request #4 from mahykari/main Build LaTex Document #18: Commit 98e5d2a pushed by mahykari
November 22, 2023 12:06 19s main
main
November 22, 2023 12:06 19s
Merge pull request #3 from madvorak/main Build LaTex Document #17: Commit 94bd0ec pushed by saona-raimundo
November 18, 2023 10:55 19s main
main
November 18, 2023 10:55 19s
Merge pull request #2 from madvorak/main Build LaTex Document #16: Commit df03433 pushed by saona-raimundo
November 13, 2023 16:35 25s main
main
November 13, 2023 16:35 25s
Update class_3.tex Build LaTex Document #15: Commit b81d6b4 pushed by saona-raimundo
October 24, 2023 12:38 45s main
main
October 24, 2023 12:38 45s
Update class_3.tex Build LaTex Document #14: Commit 3676304 pushed by saona-raimundo
October 23, 2023 16:06 23s main
main
October 23, 2023 16:06 23s
Update README.md Build LaTex Document #13: Commit bc9e476 pushed by saona-raimundo
October 23, 2023 07:03 34s main
main
October 23, 2023 07:03 34s
Localize definitions Build LaTex Document #12: Commit 4ef4b65 pushed by saona-raimundo
October 19, 2023 15:21 25s main
main
October 19, 2023 15:21 25s
Merge pull request #1 from mahykari/add-class-1 Build LaTex Document #11: Commit aed36ec pushed by saona-raimundo
October 19, 2023 15:13 52s main
main
October 19, 2023 15:13 52s
Update justfile Build LaTex Document #10: Commit dfa80a1 pushed by saona-raimundo
October 19, 2023 08:53 1m 24s main
main
October 19, 2023 08:53 1m 24s
Update README.md Build LaTex Document #9: Commit a136463 pushed by saona-raimundo
October 19, 2023 08:52 1m 3s main
main
October 19, 2023 08:52 1m 3s
delete image Build LaTex Document #8: Commit 48c60e4 pushed by saona-raimundo
October 19, 2023 08:38 22s main
main
October 19, 2023 08:38 22s
Class 3 Build LaTex Document #7: Commit dc008a2 pushed by saona-raimundo
October 19, 2023 08:36 2m 36s main
main
October 19, 2023 08:36 2m 36s
task runner Build LaTex Document #6: Commit 85ee41f pushed by saona-raimundo
October 19, 2023 07:15 26s main
main
October 19, 2023 07:15 26s
Fixing compilation Build LaTex Document #5: Commit e677aea pushed by saona-raimundo
October 17, 2023 18:00 52s main
main
October 17, 2023 18:00 52s